模型论导引沈复兴

  • 选择标签：数理化
  • 出版时间：2025-06-12
  • ISBN：9787040347371
  • 出版社：高等教育出版社
  • 作者：宋方敏著
本书主要介绍了计算模型领域的主要概念，方法和技术，旨在通过介绍递归函数，Lambda演算和Turing机来理解计算理论。本课程讲述如下专题：递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。
获取图书
点赞(0)