Course Code : | 1002WETLOG |

Study domain: | Mathematics |

Academic year: | 2019-2020 |

Semester: | 1st semester |

Contact hours: | 60 |

Credits: | 6 |

Study load (hours): | 168 |

Contract restrictions: | No contract restriction |

Language of instruction: | Dutch |

Exam period: | exam in the 1st semester |

Lecturer(s) | Stijn Symens |

At the start of this course the student should have acquired the following competences:

an active knowledge of

- competences corresponding the final attainment level of secondary school

an active knowledge of

- Dutch

- The student understands and can explain mathematical concepts such as definition, axiom and proof.
- The student can reason logically and formulate mathematics soundly.
- The student can work with notions of axiomatic theories in logic, elementary number theory and set theory

In this course an introduction will be given in set theory, number set and elementary number theory. Then you will learn proposition logic (truth tables) before looking at more interesting theories using predicates and quantors. You learn to work with the Peano axioms for which the natural numbers are a model. Then you'll work with sets naievely and learn that there are different levels of infinity. Then we turn to Zermelo-Fraenkel axiomatic set theory, supplementen by the axiom of choice and the continuum hypothesis.

Class contact teachingLectures Practice sessions

Personal workExercises Assignments Individually

Personal work

ExaminationWritten examination without oral presentation Oral with written preparation Closed book Open-question

Continuous assessmentAssignments

Continuous assessment

Course notes (in Dutch) available via blackboard.

stijn.symens@uantwerpen.be