逻辑、计算和博弈(Logic, computation and game) |
Johan van Benthem |
Undergrad |
Mon 19:20-21:45 + Wed 17:05 – 18:40六教6A307 |
一阶逻辑 (First-order logic) |
Junhua Yu |
Graduate |
Tue 13:30-16:55 六教6B410 |
逻辑,语言与哲学 (Logic, language and philosophy) |
Fenrong Liu
Martin Stokhof
|
Undergrad. |
Mon 17:05-18:40 + Wed 17:05 – 18:40六教6A207 |
西方哲学思想经典 (Classics of western philosophy) |
Yunpen Asher Jiang |
Undergrad. |
Tue 19:20 – 21:45 六教6A118 |
语言学概论 (Introduction to Linguistics) |
Dun Deng |
Undergrad. |
Wed 14:20 – 16:55 六教6A301 |
语义学 (Semantics ) |
Mingming Liu |
Graduate |
Wed 15:20 – 16:55 6教6B310 |
形式语义学导论 (Introduction to Formal Semantics) |
Mingming Liu |
Undergrad. |
Thur 9:50 – 12:15 6教6B208 |