计算机、逻辑和集合论

出版时间：1998-03-01  出版社：科学出版社  作者：徐书润  
Tag标签：无  

内容概要

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

书籍目录

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