课程简介

课程名称  数理逻辑

课程编号  00130730

英文名称  Mathematical Logic

开课学期  秋季

周/总学时  3/51

课类        任选/必修

先修课程  高等数学

授课对象  本科生 + 研究生

教学方式  课堂

考试方式  笔试

任课老师  林作铨 教授

辅导时间地点   周一下午 1:30-2:30，办公室

教室/上课时间/助教 教务      

讲义  

     林作铨

     数理逻辑

     1998- 北京大学

参考书

      A.G.Hamilton

      Logic for Mathematicians (Revised ed)

       Cambridge University Press, 1988 

        数理逻辑（修订版）

        清华大学出版社（影印版），2003

        【中译本：  数理逻辑，朱水林译，华东师范大学出版社，1986

                            数学家的逻辑，骆如枫等译，商务印书馆，1989】

       E. Mendelson 

       Introduction to Mathematical Logic (6th ed)

       CRC Press, 2015 

课程介绍

数理逻辑是一个基础学科，一门本科生（研究生可选）专业基础课程，旨在讲授数理逻辑的基础。本课程主要内容是一阶逻辑演算，包括命题逻辑，谓词逻辑和基本数学系统，涉及证明论、模型论、公理化集论和递归论，证明哥德尔不完全性定理，并介绍数学基础、自动定理证明和理论计算机科学。适用于数学、信息科学、计算机科学和哲学等专业的学生。本课程内容参见讲义。参考书选自国际优秀教材。