After this course participants are able to:
- Use the mathematical style often applied in statements and proofs in the field of computing science.
- Reproduce basic mathematical definitions.
- Prove theorems by applying the appropriate definitions.
- Prove theorems by induction.
- Reason about validity of formulas both in propositional and predicate logic.
- Choose appropriate mathematical concepts to solve problems.
The course Mathematical Structures introduces many mathematical concepts that will be used frequently within the field of computing science.
Each week typically has three hours of plenary lectures, one hour of a plenary response lecture, and two hours of parallel tutorial sessions. Every week there will be an individual homework assignment, which is not obligatory, but can lead to a small bonus.
Students must have basic knowledge of mathematics at secondary school level (Dutch VWO or equivalent).
The course is finalized with a digital Cirrus exam.|
By doing the weekly homework assignments properly, a small bonus can be earned. The homework consists of a part that has to be handed in as a PDF in Brightspace and of a part that has to be completed on the online mathematics platform sowiso.nl. Note that enforced by the rules and regulations, the bonus can only be used to pass the course if the grade for the final exam is at least 5.0.