Online Library TheLib.net » 可计算性理论: 计算机科学丛书
cover of the book 可计算性理论: 计算机科学丛书

Ebook: 可计算性理论: 计算机科学丛书

Author: 莫绍揆, 王元元

00
15.02.2024
0
0

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

Download the book 可计算性理论: 计算机科学丛书 for free or read online
Read Download
Continue reading on any device:
QR code
Last viewed books
Related books
Comments (0)
reload, if the code cannot be seen