数理逻辑概貌
2025-02-17 18:38:01
文学小说
8
【🔥扫码右侧二维码】
【📱扫码极速下载】浏览器自动唤起 💎独家资源·限时共享作者简介：
莫绍揆（1917－ 2011），教授。广西桂平人。1939年毕业于中央大学教学系。曾在中央大学、中山大学任教。1947年起，先后在瑞士苏黎世高级工业大学和法国巴黎大学等校学习。建国后，历任南京大学副教授、教授，中国逻辑学会副理事长。从事数理逻辑研究。在逻辑演算、多值逻加、悖论、递归论、集合论等方面有所建树，提出若干新的见解。编著有《数理逻辑导论》、《递归数论》、《递归论》、《算法论》。
内容简介：
数理逻辑是采用数学方法来研究推理的一门科学,本书通俗地介绍数理逻辑的基本内容、主要结构、最新的发展,以及研究工作的前沿课题。
目录：
一、逻辑演算 二、集合论 三、递归论 四、证明论 五、模型论
评论