醉雪风随心动 数理逻辑 第一章 命题演算基础 第二章 命题演算的推理理论 第三章 谓词演算基础 第四章 谓词演算的推理理论 第五章 递归函数论 数理逻辑 集 合 论 图 论 代 数 24学时 17学时 19学时 12学时醉雪风随心动 逻辑学研究推理的科学 早期创始人 亚里士多德(公元前384322) 柏拉图(公元前429348), 首先把逻辑学的思 想方法引入几何学 苏格拉底（前470前399年）醉雪风随心动 数理逻辑数学化的逻辑学 德国G.W. Leibniz (1626-1716)把数学引入形式逻辑， 明确提出用数学方法研究推理。 英国G. Boole (1815-1864)等创立了逻辑代数，1847年 Boole实现了命题演算。 德国G. Frege (1848-1925)在1879年建立了第一个谓词 演算系统。 英国B. Russell (1872-1970)等从逻辑学的基本法则建 立了自然数理论、实数理论及解析几何学等。 奥地利K. Godel (1906-1978)在1931年提出Godel不完 全性定理。 英国Alan M. Turing (1912-1954)在1936
