数理逻辑
Mathematical Logic
课程一般信息

预备知识:了解逻辑的一般概念。

教材:Ian Chiswell and Wilfrid Hodges,Mathematical Logic,Oxford University Press,2007

附:教材作者的写作准则:
(1) the mathematics should be clean, direct, and correct.
(2) As each motion is introduced, the students should be given something relevant they can do with it, preferably at least a calculation.
(3) appropriate links should be made to other areas.
(4) we try to take into account the needs of students and teachers who prefer a formal treatment, as well as those who prefer an intuitive one.

考核方式:考试

时间地点:星期一 2:30-17:00; 六教6A002

初步计划

第1周. 9月21日:Introduction+ Informal natural deduction

第2周. 9月28日:Informal natural deduction

第3周. 10月5日:Holiday

第4周. 10月12日:Propositional logic:language, parsing trees

第5周. 10月19日:Propositional natural deduction

第6周. 10月26日:Truth table, logical equivalence

第7周. 11月2日:Substitution, disjunctive and conjunctive normal form

第8周. 11月9日:Soundness and completeness

第9周. 11月17日:Quantifier-free logic: terms, relations and functions. The language of FOL

第10周. 11月23日:Interpretation

第11周. 11月30日:Soundness and completeness

第12周. 12月7日:First order logic: quantifiers

第13周. 12月14日:Semantics

第14周. 12月21日:Natural deduction

第15周. 12月28日:Soundness and completeness

第16周. 2010年1月4日:Things that FOL cannot do

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