Teaching Archives - A Place Nearby

Computability Theory 2024

by Ruizhi YangFebruary 28, 2024June 11, 2024 on

Slides 01 Slides 02 Slides 03 Slides 04 Slides 05 Slides 06 Slides 07 Slides 08 Slides 09 Slides 10 Slides 11 Slides 12 Slides 13 Slides 14

Mathematical Logic 2021

by Ruizhi YangSeptember 12, 2021November 7, 2021 on

Lecture: HGX308, M 9:55-11:35
Section: HGX310, R 18:30-20:10

Lecture01 (handout) Lecture02 (handout) Lecture03 (handout) Lecture04 (handout) Lecture05 (handout) Lecture06 (handout) Lecture07 (handout) Lecture08 (handout) Lecture09 (handout) Lecture10 (handout)

Modal Logic 2021

by ganganrayFebruary 25, 2021July 12, 2021 on

HGX401, M 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)

Textbook: https://doi.org/10.1017/CBO9781107050884

Computability Theory 2021

by Ruizhi YangFebruary 25, 2021April 27, 2021 on

HGX401, T 18:30-21:05

Slides 01 (handout) Slides 02 (handout) Slides 03 (handout, notes) Slides 04 (handout, notes) Slides 05 (handout, notes) Slides 06 (handout) Slides 07 (handout) Slides 08 (handout) Slides 09 (handout)

Mathematical Logic 2020

by Ruizhi YangSeptember 14, 2020December 28, 2020 on

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)

Computability Theory 2019

by Ruizhi YangFebruary 26, 2019April 28, 2019 on

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.