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

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

考核方式:平时作业(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

第3周. 10月6日:Holiday

第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

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

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

第16周. 2010年1月5日:期末考试 (Final Exam)
回到首页
Website Copyright 2009 刘奋荣 Fenrong Liu