Some slides

• Slides 1 %2020-09-07
• Slides 2 %2020-09-14
• Slides 3 %2020-09-21
• Slides 4 %2020-09-28
• Slides 5 %2020-10-05
• Slides 6 %2020-10-12
• Slides on Non-Standard Analysis %2020-12-21

Some lecture notes

• Real quantifier elimination
• Gödel's incompleteness theorems %updated 14-12-2020

• Here is a brief summary of the course.
• Here is a description of some axiomatic theories involved.
• Here is the definition of a Turing machine we employ.

• Schedule
• Examination rules
• Examples of questions
• Exercises %updated 30-11-2020