编程开发

可计算性与计算复杂性

Name: 可计算性与计算复杂性
Author: 张立昂

本书系统介绍可计算性理论和计算复杂性理论的基本内容，包括图灵机、递归函数、不可判定问题、NP完全性等核心概念，注重数学严谨性与计算直觉的结合。

可计算性计算复杂性NP完全

与作者对话

假如书会说话

与作者对话

张立昂

你好，我是张立昂。

写《可计算性与计算复杂性》那几年，我最想让读者记住一句话：

「图灵机模型与丘奇-图灵论题」

—— 多数人第一眼不会同意。你呢，你第一反应是什么？

选一个开始，或直接输入自己的问题

或直接问张立昂

这段对话

图灵机模型与丘奇-图灵论题

递归可枚举集与递归集的区别

归约方法在证明问题难度中的应用

NP完全问题的证明技巧与实际意义

还没有笔记，成为第一个分享感悟的人

想读原书？

以上是《可计算性与计算复杂性》（张立昂著）的核心观点AI解读。点击上方「与作者对话」，可以直接向张立昂提问，深入了解这本书。