（美）戴维斯（Davis，M.D.），（美）威尤克（Weyuker，E.J.）著；张立昂等译1989 年出版307 页ISBN：7302004269
耿素云，屈婉玲，张立昂编著2013 年出版179 页ISBN：9787302325086
本教材配合主教材的章节，总结有关的知识点和解题方法，并对习题给出解答和分析。主要包括以下6个方面的内容：（1）数理逻辑；（2）集合论；（3）图论；（4）组合数学；（5）代数结构简介；（6）形式语言与自动机初步......
张立昂编著2004 年出版221 页ISBN：7301074638
本书是高等学校计算机理论教材的参考书。计算模型及等价性，函数、谓词和语言的可计算性等基本概念。
屈婉玲，刘田，张立昂，王捍贫编著2014 年出版120 页ISBN：9787302364924
本书主要包含分治策略、动态规划、贪心法、回溯与分支限界等算法设计技术和分析方法以及问题计算复杂度的界定。在此基础上简要介绍了NP完全理论的基础知识以及近似算法、随机算法等。本书可作为《算法设计...
屈婉玲，耿素云，张立昂编著2005 年出版388 页ISBN：7302107572
本教材是根据ACM和IEEE/CS制定的CC2001，以及教育部高等教育司组评审通过的《中国计算机科学与技术学科教程2002》中制定的关于离散数学的知识结构和体系撰写的。全书共14章，主要内容包含证明技巧，数理逻辑、集...
张立昂编著2011 年出版256 页ISBN：9787301177686
本版（第三版）是在2004年第二版的基础上，作者经过6年多的讲学听取学生的意见、要求进行了修订，新增了习题解答；同时对第二版中存在的错误作了纠正；而且在内容上作了部分调整。本教材是一本较为成熟的教材，本书第......
（美）（H.R.刘易斯）Harry R.Lewis，（美）（C.H.帕帕季米特里乌）Christos H.Papadimitriou著；张立昂，刘田译2000 年出版244 页ISBN：7302039488
计算理论是计算机科学的理论基础。本书介绍了计算理论最核心、最基本的内容，包括形式语言与自动机、可计算性和计算复杂性三大部分。全书共分七章，分别为：集合、关系和语言；有穷自动机；上下文无关语言；Turing机；.....
（美）（H.R.刘易斯）Harry R.Lewis，（美）（C.H.帕帕季米特里乌）Christos H.Papadimitriou著；张立昂，刘田译2000 年出版244 页ISBN：7302039488
计算理论是计算机科学的理论基础。本书介绍了计算理论最核心、最基本的内容，包括形式语言与自动机、可计算性和计算复杂性三大部分。全书共分七章，分别为：集合、关系和语言；有穷自动机；上下文无关语言；Turing机；.....
屈婉玲，耿素云，张立昂著2008 年出版381 页ISBN：7040231255
本书是普通高等教育“十一五”国家级规划教材，也是国家精品课程“离散数学”的主讲教材。本书参照教育部计算机科学与技术教学指导分委会制订的《计算机科学与技术本科专业规范》和ACM/IEEEComputingCurricu...
