大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 可计算性理论
名称 可计算性理论
索引号 094558
分类号
(| 08 环境公报)
作者 莫绍揆、王元元、
出版社 北京 : 科学出版社, 1987.12
ISBN 7-03-000061-7
页数 335页 ; 20cm
价格 CNY3.05
标签 计算机、数学、逻辑、
简介
注解 包括数理逻辑的递归论和形式语言论两部分・研究初等函数、原始递归函数、递归函数及各类算子、Turing机与Turing可计算性概念, 各种形式语言及相应的语言识别器・
书籍简介

本书包括数理逻辑的递归论和形式语言论两部分内容. 一至八章为递归论部分，详尽地研究了初等函数、原始递归函数、递归函数及给类算子，充分地讨论了Turing机与Turing可计算性概念. 九、十两章为形式语言论部分，系统地介绍了各种形式语言及相应的语言识别器——各类自动机. 作为递归论内容的深入，本书还概要地介绍了递归集、递归枚举集及递归度的概念；作为上述两部分内容的应用，第十一章还讨论了判定问题.