数理逻辑经典教材,有兴趣的同学可以看一下,这里的版本是中文版的。
2021-06-25 14:41:43 8.19MB 数理逻辑
1
图灵1936年论文解读(1):可计算性
2021-04-21 13:06:19 218KB 图灵 1936 论文 可计算性
1
本书是学习计算理论的教材和参考书,内容包括三部分:可计算性、形式语言与自动机、计算复杂性.主要 介绍几种计算模型及它们的等价性,函数、谓词和语言的可计算性等基本概念,形式语言及其对应的自动机模 型,时间和空间复杂性,NP完全性等. 本书可作为计算机专业本科生和研究生的教材,也可作为从事计算机科学技术的研究和开发人员的参 考书,还可作为对计算理论感兴趣的读者的入门读物.
2020-02-25 03:16:39 9.69MB 计算
1
一篇论文,讲述的计算理论中的递归及其可计算性
2020-02-25 03:11:57 81KB 递归函数 可计算 计算理论
1
吉林大学研究生《可计算性与计算复杂性》课程教材
2020-02-25 03:07:03 1.19MB 可计算性
1
{王元元}可计算性引论,比较简单的一本计算理论入门书
2020-02-25 03:06:30 4.03MB 计算理论
1
可计算性与计算复杂性(吉林大学教材-李占山)
2020-02-25 03:05:20 899KB 李占山
1
可计算性与不可解性
2020-02-25 03:04:04 6.42MB 可计算性 中文版
1
可计算性理论》张鸣华,内容丰富。书价1.50元,扫描价32.0元。因为是比较基础的理论所以不过时。惜其绝版。并不知道其内容与现存的莫绍揆的递归论相比如何,欢迎评论区评论。
1
张立昂的精品书籍,《可计算性与计算复杂性导引(第3版)》,第三版。
2019-12-21 19:29:53 9.69MB 计算复杂性
1