耿素云，屈婉玲，张立昂编著2008 年出版257 页ISBN：9787302164722
本书内容包括6个方面：数理逻辑；集合论；代数结构；图论；组合分析初步；形论语言与自动机初步。
（美）HARRY R.LEWIS CHRISTOS H.PAPADIMITRIOU著；张立昂 刘田译2006 年出版244 页ISBN：7302132887
本书介绍计算理论，包括形式语言与自动机、可计算性和计算复杂性三部分内容。
屈婉玲，耿素云，张立昂编著2014 年出版336 页ISBN：9787302339892
本教材主要包含数理逻辑、集合论、代数结构、图论、组合分析、初等数论、离散概率、代数系统等部分，可作为大学本科计算机科学与技术、计算机应用、软件工程等专业离散数学课的教学用书。...
屈婉玲，耿素云，张立昂编著2014 年出版238 页ISBN：9787302339908
本书主要包含数理逻辑、集合论、代数结构、图论、组合分析、初等数论、离散概率、代数系统等部分内容，可作为《离散数学》（第3版）的教学辅导用书。...
耿素云，屈婉玲，张立昂编著2013 年出版257 页ISBN：9787302325079
本教材面向计算机应用人才的培养目标，重点讲授离散数学的基本概念、相关理论及其在计算机科学技术中的应用，主要包括以下6个方面的内容：（1）数理逻辑；（2）集合论；（3）图论；（4）组合数学；（5）代数结构简介；......
耿素云，屈婉玲，张立昂编著2013 年出版179 页ISBN：9787302325086
本教材配合主教材的章节，总结有关的知识点和解题方法，并对习题给出解答和分析。主要包括以下6个方面的内容：（1）数理逻辑；（2）集合论；（3）图论；（4）组合数学；（5）代数结构简介；（6）形式语言与自动机初步......
张立昂编著2004 年出版221 页ISBN：7301074638
本书是高等学校计算机理论教材的参考书。计算模型及等价性，函数、谓词和语言的可计算性等基本概念。
