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.
Instructional Modes
Each week typically starts with three hours of plenary lectures, one hour of a plenary response lecture, and two hours of parallel tutorial sessions.
|
|
|
|
The course is finalized with a written exam. |
|
This course intends to experiment with the online mathematics platform sowiso.nl. At the time of writing this course information, it is not completely clear in what way this will be implemented, but it could very well be that it includes obligatory, short, weekly tests that will influence your final grade.
|
|