屈婉玲，耿素云，张立昂编著2011 年出版288 页ISBN：7040322455
本书以国家级十一五规划和面向21世纪教材《离散数学》为蓝本，进行缩编和补充修改。原教材最早是1998年版的国家九五规划教材，历经十五规划、十一五规划中不断补充和修订，被相当多的高校所选用，同时也是计算机专...
张立昂编著1996 年出版299 页ISBN：7301032293
本书是学习理论计算机科学基础的教材和参考书，内容包括三部分：可计算性、形式语言与自动机、计算复杂性。主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动机...
屈婉玲，耿素云，张立昂编著2008 年出版267 页ISBN：7302168202
本书是与中国计算机学会“21世纪大学本科计算机专业系列教材”《离散数学》配套的习题解答和教学指导用书，写作中参考了CC2002教程和CC2004，总结了作者多年一线教学的经验，对使用原教材的学生掌握离散数学的知...
屈婉玲，耿素云，张立昂编2015 年出版435 页ISBN：7040439921
本书是教育部高等学校“十一五”规划教材《离散数学》（第2版）的配套辅导教学参考书。本书分为数理逻辑、集合论、代数结构、组合数学、图论、初等数论六个部分。每部分按照章对相关知识点进行了全面的总结，并...
屈婉玲，耿素云，张立昂编2008 年出版417 页ISBN：7040239647
本书是教育部高等学校“十一五”规划教材《离散数学》的配套辅导教学参考书。本书分为数理逻辑、集合论、代数结构、组合数学、图论、初等数论等六个部分.每部分按照章对相关知识点进行了全面的总结，并对解...
