课程概况

 

 

课程名称  数理逻辑

课程编号  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

课程先容

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

XML 地图 | Sitemap 地图