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

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

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

第3周. 10月1日:国庆放假(Holiday)

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

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

:完全性定理的证明.

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

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

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

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

第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日:系统的可靠性和完全性: 证明补充

第16周. 12月31日: 期末考试 (Final Exam)
回到首页
Website Copyright 2008 刘奋荣 Fenrong Liu