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

教材：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.

考核方式：考试

时间地点：星期二 上午9:50-12:15 6教6A003

第1周. 9月13日：Introduction+ Informal natural deduction

第2周. 9月20日：Informal natural deduction

第3周. 9月27日：Propositional logic：language, parsing trees

第4周. 10月4日：Holiday

第5周. 10月11日：Propositional natural deduction

第6周. 10月28日：Truth table, logical equivalence

第7周. 10月25日：Substitution, disjunctive and conjunctive normal form

第8周. 11月1日：Soundness and completeness

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

第10周. 11月15日：Interpretation

第11周. 11月22日：Soundness and completeness

第12周. 11月29日：First order logic: quantifiers

第13周. 12月6日：Semantics

第14周. 12月13日：Natural deduction

第15周. 12月20日：Soundness and completeness

第16周. 12年27日：Final exam