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

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

时间地点：星期二 13:30－16:55 四教4304

TA: 孙鑫 E-mail：shinksun AT gmail.com; 王辉 Email: wanghui198605 AT 163.com

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

讲义和作业 可以从下面的网站下载：http://www.logicinaction.org/。

此外，该网站还适时提供一些在线软件帮助大家掌握逻辑技巧, 欢迎使用。

第1周. 引论(Introduction)

第2周. 命题逻辑 (Propositional Logic):I

第3周.命题逻辑(Propositional Logic):II

第4周. 放假

第5周. 模态逻辑 (Modal Logic)

第6周. 认知逻辑 (Epistemic Logic):I

第7周. 认知逻辑 (Epistemic Logic):II

第9周. 谓词逻辑 (Predicate Logic):I

第10周. 谓词逻辑 (Predicate Logic):II

第11周. 谓词逻辑 (Predicate Logic):III

第12周. 谓词逻辑 (Predicate Logic):IV

第13周. 逻辑与博弈 (Logic and Games):I

第14周. 逻辑与博弈 (Logic and Games):II

第15周. 其他课题 (Other topics)