Lecture: HGX507, M 13:30-15:10
Section: HGX504, HGX503, HGX410, M 15:25-17:05
Slides 01 Slides 02 Slides 03 Slides 04 Slides 05 Slides 06 Slides 07 Slides 08 Slides 09 Slides 10 Slides 11
Teach
Mathematical Logic 2021
Modal Logic 2021
Computability Theory 2021
Mathematical Logic 2020
Lecture: HGX308, M 9:55-11:35
Section: HGX307, R 18:30-20:10
Slides 01 (handout) Slides 02 (handout) Slides 03 (handout) Slides 04 (handout) Slides 05 (handout) Slides 06 (handout) Slides 07 (handout) Slides 08 (handout) Slides 09 (handout) Slides 10 (handout) Slides 11 (handout) Slides 12 (handout) Slides 13 (handout) Slides 14 (handout) Slides 15 (handout) Slides 16 (handout) Slides 17 (handout)
Set Theory II 2020
Online Lecture: Lecture 01 Slides
Mathematical Logic 2019
Modal Logic 2019
Lecture: H5116, F 8:00-9:40
Section: HGW2403, F(e) 18:30-20:10
Textbook: https://doi.org/10.1017/CBO9781107050884
Computability Theory 2019
Lecture: H5312, W 18:30-20:10
Section: H5312, W 20:20-21:05
This course is based on Shore‘s lecture note. Here is some solutions for the exercises.