张立昂的图书会按更新时间持续补充，适合从代表作和同主题书继续延展阅读。
可计算性与计算复杂性导引
张立昂
评分 暂无
《可计算性与计算复杂性导引(第3版)》是学习计算理论的教材和参考书，内容包括三部分：可计算性、形式语言与自动机、计算复杂性，主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动机模型，时间和空间复杂性，NP完全性等。 《可计算性与计算复杂性导引(第3版)》可作为计算机专业本科生和研究生的教材，也可作为从事计算机科学技术的研究和开
本书是学习理论计算机科学基础的教材和参考书，内容包括三部分： 可计算性、形式语言与自动机、计算复杂性。主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动机模型，时间和空间复杂性，NP完全性等。 本书可作为计算机专业本科生和研究生的教材，也可作为从事计算机科学技术的研究和开发人员的参考书，还可作为对理论计算机科学感兴趣的读者的入
离散数学习题集
本书为《离散教学习题集》抽象代数分册，包括群、环、域、格与布尔代数等内容，共有三章九节·全书分“内容提要、习题”和“习题解答”两大部分，“内容提要”给出了基本概念、主要性质和定理，包括了解答习题所需要的全部内容，习题有易有难、编排科学、解答详实、注重方法与能力的培养。全书共有习题430余道，书后附有名词索引及符号注释。 读者对象；大专院校计算机系、数学系及相关专业师生有关
