数理逻辑
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.

考核方式:考试

时间地点:星期二 上午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

回到首页
Website Copyright 2008 刘奋荣 Fenrong Liu