大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 计算机、逻辑和集合论
名称 计算机、逻辑和集合论
索引号 609344
分类号
(| 08 环境公报)
作者 徐书润、胡国定、
出版社 北京 : 科学出版社, 1998
ISBN 7-03-006268-X
页数 189页 ; 20cm
价格 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通用函数和递归