"递归论导论"的详细介绍……
现代逻辑内容丰富，特别是符号逻辑或称数理逻辑，包括几个分支，如：逻辑演算，集合论，模型论，递归论，证明证等。在古典逻辑演算以外，近年来模态逻辑有了很大的发展，它又被称作哲学逻辑。
符号逻辑不仅内容丰富，还和许多学科如哲学、数学、计算机科学、语言学及心理学等有联系，影响及于这些学科，有些影响甚至是带根本性的。
哪里可以买到"递归论导论"？
很抱歉，目前暂无商城正在出售"递归论导论"。您可以定制本书的有货通知，当有书店开始销售本书时，好图书将通过电子邮件通知您。
| 当当网 | |||
| 卓越网 | |||
※ 如果您是第一次来到好图书选购图书，请点此查看“购书指南”。
※ 发现价格错误了？书店有售而好图书却没有显示？立刻点此给好图书改错。
※ 图书价格仅供参考，实际售价及是否有库存以各网站实际标示为准。
※ 若售价差别过大，可能因不同规格或者版本引起，请自行甄别。
"递归论导论"的书摘……
递归论是数理逻辑的一个重要分支，它与证明论、模型论及公理集合论合称“四论”，构成数理逻辑的核心内容。递归论也叫可计算性理论，它所研究的对象是递归函数（也叫可计算函数）及其定义域。对于递归函数有许多不同（但彼此等价）的定义方法，这些定义的目的都是为了刻画直观的“算法”概念，因此我们的讨论也就从算法入手。
小技巧之 到货通知