| COURSE NAME | INSTRUCTOR(S) | LEVEL | WHEN & WHERE | |
|---|---|---|---|---|
| 2022 Fall | 逻辑、计算和博弈(Logic, computation and game) | Johan van Benthem | Undergrad. | Mon 19:20-21:45+Wed 19:20-21:45 四教4205(前八周) |
| 数理逻辑(Mathematical Logic) | Qi Feng | Undergrad. | Tue 13:30-16:55 一教203 | |
| 逻辑，语言与哲学 (Logic, language and philosophy) | Fenrong Liu and Martin Stokhof | Undergrad. | Mon 15:20-16:55 + Wed 15:20 – 16:55 四教4402 | |
| 逻辑与思维 （Logic and thinking） | Fenrong Liu and Chenwei Shi | Undergrad. | Wed 9:50 – 12:15 旧水利馆303 |
|
| 逻辑与知识论(Logic and Epistemology) | Chenwei Shi | Undergrad. | Fri 9:50 – 12:15 建华楼A423 | |
| 模型论 (Model Theory) | Qi Feng | Graduate | Fri 13:30-16:05 六教6B308 | |
| 一阶逻辑 (First-order logic) | Junhua Yu | Graduate | Tue 13:30-16:05 新水利馆323 |
|
| 推理，计算与学习理论 (Reasoning, Computing and Learning) | Fenrong Liu, Thomas Bolander and Ramaswamy Ramanujam | Graduate | Tue 9:50-12:15 三教3313 |
