COURSE NAME | INSTRUCTOR(S) | LEVEL | WHEN & WHERE | |
---|---|---|---|---|
2022 Fall | 逻辑、计算和博弈(Logic, computation and game) | Johan van Benthem | Undergrad. | Mon 19:20-20:55 + Wed 19:20 – 20:55四教4103(前八周) |
数理逻辑(Mathematical Logic) | Qi Feng | Undergrad. | Tue 16:10-18:40 六教6B306 | |
逻辑,语言与哲学 (Logic, language and philosophy) | Fenrong Liu and Martin Stokhof | Undergrad. | Mon 17:05-18:40 + Wed 17:05 – 18:40四教4102 | |
逻辑与思维 (Logic and thinking) | Fenrong Liu and Chenwei Shi | Undergrad. | Wed 9:50 – 12:15 新水300 |
|
形式语义学导论 (Introduction to Formal Semantics) | Mingming Liu | Undergrad. | Thur 9:50 – 12:15 六教6B306 | |
现代汉语语法 (Mandarin morphology) | Dun Deng | Undergrad. | Wed 14:20-16:55 六教6A407 | |
逻辑哲学(Philosophy of Logic) | Qi Feng | Graduate | Fri 13:30-16:05 六教6B407 | |
一阶逻辑 (First-order logic) | Junhua Yu | Graduate | Tue 13:30-16:55 清华学堂101 |
|
逻辑学经典研读(A guide to classical works of logic) | Chenwei Shi | Graduate | Fri 9:50 – 12:15 清华学堂201 |
|
汉语词法句法专题研讨 | Dun Deng | Graduate | Tue 14:20-16:55 三教3313 |