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

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

时间地点：星期二 13:30－16:05； 四教4303

TA: 俞珺华 E-mail：df7g5036 AT hotmail.com；孙鑫 E-mail：shinksun AT gmail.com

本课程将使用阿姆斯特丹大学正在编写的英文教材。同样的课程本学期也在阿姆斯特丹大学开设, 今后还会在美国的斯坦福大学和西班牙的大学开设。若大家在学习过程中对教材有什么建议和意见，请email。

讲义和作业 可以从下面的网站下载：http://staff.science.uva.nl/~jaspars/AUC/。

此外，根据学习内容，网站还会适时提供一些软件帮助大家掌握逻辑技巧。

第1周. 9月22日：引论 (Introduction)

第2周. 9月29日：命题逻辑 (Propositional logic): I

第4周. 10月13日：命题逻辑(Propositional logic): II

第5周. 10月20日：认知逻辑 (Epistemic logic) : I

第6周. 10月27日：认知逻辑 (Epistemic logic): II

第7周. 11月3日：动态逻辑 (Dynamic logic)

第8周. 11月10日：谓词逻辑(Predicate logic): I

第10周. 11月24日：谓词逻辑 (Predicate logic): II

第11周. 12月1日：谓词逻辑(Predicate logic): III

第12周. 12月8日：逻辑的计算方面 (Computational Aspects of Logic)

第13周. 12月15日： 逻辑与博弈 (Logic and Games): I

第14周. 12月22日：逻辑与博弈 (Logic and Games): II

第15周. 12月29日：可靠性和完全性 (Soundness, Completeness, etc.)