图书标签: 数学 数理逻辑 逻辑学 逻辑与数学 數學 哲学 CS
发表于2024-11-07
数理逻辑概貌 pdf epub mobi txt 电子书 下载 2024
数理逻辑是采用数学方法来研究推理的一门科学,本书通俗地介绍数理逻辑的基本内容、主要结构、最新的发展,以及研究工作的前沿课题。
莫绍揆(1917- 2011),教授。广西桂平人。1939年毕业于中央大学教学系。曾在中央大学、中山大学任教。1947年起,先后在瑞士苏黎世高级工业大学和法国巴黎大学等校学习。建国后,历任南京大学副教授、教授,中国逻辑学会副理事长。从事数理逻辑研究。在逻辑演算、多值逻加、悖论、递归论、集合论等方面有所建树,提出若干新的见解。编著有《数理逻辑导论》、《递归数论》、《递归论》、《算法论》。
典型的中国老教授写的那种不让人看懂的文风。不过,就我学过看得懂的部分而言,作者水平的确高,言简意赅,讲出一堆新东西,澄清了我当时(及前几天)好多困惑。
评分因为要修 Descrete Mathematicas 的关系草草的翻了一遍, 书中好些内容讲述有些简略, 如 ZF 公理系统, 几乎不加说明的直接给出了若干条规则. BTW, 据说应明生的离散讲的很好, 从历史到现实, 不知道数理逻辑方面有什么较为好的入门书
评分因为要修 Descrete Mathematicas 的关系草草的翻了一遍, 书中好些内容讲述有些简略, 如 ZF 公理系统, 几乎不加说明的直接给出了若干条规则. BTW, 据说应明生的离散讲的很好, 从历史到现实, 不知道数理逻辑方面有什么较为好的入门书
评分典型的中国老教授写的那种不让人看懂的文风。不过,就我学过看得懂的部分而言,作者水平的确高,言简意赅,讲出一堆新东西,澄清了我当时(及前几天)好多困惑。
评分因为要修 Descrete Mathematicas 的关系草草的翻了一遍, 书中好些内容讲述有些简略, 如 ZF 公理系统, 几乎不加说明的直接给出了若干条规则. BTW, 据说应明生的离散讲的很好, 从历史到现实, 不知道数理逻辑方面有什么较为好的入门书
评分
评分
评分
评分
数理逻辑概貌 pdf epub mobi txt 电子书 下载 2024