PMATH 432: First Order Logic and Computability.
A fourth year course in computability based mostly on the book Mathematical Logic by Ebbinghaus, Flum, and Thomas with an audience of approximately 25 students.
Notes for computability theory part and incompleteness theorems:
pmath432_notes.pdf
Syllabus: syllabus_432.pdf
Fall 2019
PMATH 330: Introduction to mathematical logic.
A third year introduction to logic course.
Course notes: pmath330_notes.pdf
Syllabus: syllabus_330.pdf
Teaching Praedoc
Exercise sessions for first year courses in mathematics for computer scientists at TU Wien and theoretical computer science at University of Vienna.
Taught an introductory mathematics course to prepare students for their first year classes.