逻辑发展史和补充资料2010 [兼容模式].pdfVIP

课程时间和地点安排 离散数学 周次 星期 地点 时间 1-17周 周一 J3-310 10：30-12 ：15 培培养养 学学 生生 的的 抽抽 象象 思思 维维 和和 严严 格格 逻逻逻逻 辑辑辑辑 推推推推 理理理理 能能能能 力力力力 数数 学学 深深 色色 的的,,可可数数 学学 带带 给给 人人 的的 1-17周 周四 J3-310 8 ：30-10 ：15 生生活活 是是 七七 彩彩 的的!! 北航软件学院 贾经冬 Email：Jiajingdong@buaa.edu.cn Tel Syllabus 教材 离散数学（修订版）， 尹宝林、何自强、许光汉、 “离散数学(Discrete mathematics)” 檀凤琴等， 高等教育出版社高等教育出版社年， 25元 课程内容 发展简史部分的参考书 第一篇 数理逻辑 王宪钧：数理逻辑引论，北京大学出版社,1998。 第一章 命题逻辑； 第二章 谓词逻辑 张家龙：数理逻辑发展史——从莱布尼茨到哥德尔 第三章 公理系统； 第四章 归结法原理 第二篇 集合论 第五章 集合 第六章 关系 第七章 函数 第八章自然数和基数 1 什么是逻辑学和数理逻辑 1.数理逻辑的前史时期 逻辑学是研究推理的科学，数理逻辑是数学化 （持续到17世纪后期，2000余年） 的逻辑学，是用数学方法研究推理的科学。 亚里士多德是古典形式逻辑德创始人。 其在逻辑学方面的成就主要是“三段论”学说。一个三段 论就是一个包括有大前提、小前提和结论三个部分的 数理逻辑发展史 论证。 例例： 1.数理逻辑的前史时期（古典形式逻辑时期） 凡人都有死（大前提）。 2.数理逻辑初创时期（逻辑代数时期） 苏格拉底是人（小前提）。 3.数理逻辑奠基时期（弗雷格、罗素） 所以：苏格拉底有死（结论）。