大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑) » 数理逻辑概貌
名称 数理逻辑概貌
索引号 O141/811(4)
分类号 O141
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 莫绍揆、
出版社 北京 : 科学技术文献出版社, 1989.3
ISBN 7-5023-0661-7
页数 55页 ; 20cm
价格 CNY0.96
标签 数学、cs、数理逻辑、數學、逻辑与数学、
简介
注解 内容包括: 逻辑演算、集合论、递归论、证明论、模型论・
作者简介

莫绍揆（1917－ 2011），教授。广西桂平人。1939年毕业于中央大学教学系。曾在中央大学、中山大学任教。1947年起，先后在瑞士苏黎世高级工业大学和法国巴黎大学等校学习。建国后，历任南京大学副教授、教授，中国逻辑学会副理事长。从事数理逻辑研究。在逻辑演算、多值逻加、悖论、递归论、集合论等方面有所建树，提出若干新的见解。编著有《数理逻辑导论》、《递归数论》、《递归论》、《算法论》。

书籍简介

数理逻辑是采用数学方法来研究推理的一门科学,本书通俗地介绍数理逻辑的基本内容、主要结构、最新的发展,以及研究工作的前沿课题。

书籍目录

一、逻辑演算
二、集合论
三、递归论
四、证明论
五、模型论