大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 算法理论 » 计算机、逻辑和集合论
名称 计算机、逻辑和集合论
索引号 TP301.6-43/1
分类号 TP301.6-43
TP301.6(算法理论)
TP301(理论、方法)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 徐书润、胡国定、
出版社 北京：科学出版社，1998
ISBN 7-03-006268-X
页数 189页
价格 CNY12.00
标签 电子计算机、电子计算机数理逻辑教材、计算机、逻辑、
简介 高等院校选用教材系列
注解 本书重点介绍了计算机科学与技术的数学基础——可计算理论、数理逻辑与集合论、以及三者之间的关系。
书籍简介

本书是为大学三、四年级学生而写，并且曾在南开大学计算机系、数学系作为教材讲授多年。重点介绍了计算机科学与技术的数学基础――可计算理论、数理逻辑与集合论，以及三者之间的关系，主要内容包括：理想计算机与有穷性原则、有穷性逻辑和有穷性数学、一般逻辑与一般数学、集合论等。书末还附有一定的习题。
本书读者对象：高校计算机系、数学系、哲学系师生，计算机工作者。

书籍目录

第一章引言
第二章理想计算机与有穷性原则
第一节递归函数
1.1原始递归函数集
1.2原始递归算子
1.3原始递归函数集的分层
1.4Arckermann函数
1.5递归函数
1.6递归函数集的分层
第二节理想计算机
2.1几个计算实例
2.2计算的分析和理想计算机
第三节Turing机器
3.1Turing机定义
3.2Turing机和递归函数
3.3通用函数和递归