预备知识：了解逻辑的基本概念。

考核方式：平时作业(30％)＋期中测试(30％)+期末考试(40％)

时间地点：星期三 9:50－12:15； 六教6B202

TA: 俞珺华 E-mail：df7g5036 AT hotmail.com

Office hour：周四下午 2：30-3：30

第1周. 9月17日：引论、命题的真假 (Introduction; Truth table)

第2周. 9月24日：建模和命题推理 (Modeling; Inference)

Homework. Please hand it in at the beginning of the class on the 8th of October.

第4周. 10月8日：命题逻辑公理化系统，内定理证明

第5周. 10月15日：系统的可靠性和完全性

补：完全性定理的证明.

第6周. 10月22日：关于"可能"和"必然"， 可能世界语义学 (Modal logic)

第7周. 10月29日：关于"知道"和"相信" (Epistemic logic)

第8周. 11月5日：关于信念的逻辑

第10周. 11月19日：动态逻辑, 公共宣告、信息更新 (Dynamic Logic, Public announcement logic, information update)

第11周. 11月26日：谓词逻辑：谓词和量词，形式语言 (Predicate logic)

第12周. 12月3日：谓词逻辑：自由和约束变元，语义

第13周. 12月10日：谓词逻辑：系统及定理证明

第14周. 12月17日：系统的可靠性和完全性

第15周. 12月24日：系统的可靠性和完全性: 证明补充