一阶逻辑
First Order Logic
课程预备知识和考核方式

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

考核方式:平时作业(30%)+期中测试(30%)+期末考试(40%)

时间地点:星期二 14:20-16:55三教3302

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

通告

本课程将使用阿姆斯特丹大学正在编写的英文教材,今年有新的版本,我们在网络课堂里按章节分发。 同样的课程本学期也在阿姆斯特丹大学开设, 今后还会在美国的斯坦福大学和西班牙的大学开设。若大家在学习过程中对教材有什么建议和意见,请email。

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

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

初步计划

第1周. 引论(Introduction)

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

第3周. 放假

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

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

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

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

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

第9周. 11月17日:期中测试(mid-term test)

第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)

第16周. 期末考试 (Final Exam)
回到首页
Website Copyright 2010 刘奋荣 Fenrong Liu