《算法设计与分析》为计算机科学技术专业核心课程“算法设计与分析”教材.全书以算法设计技术和分析方法为主线来组织各知识单元，主要内容包括基础知识、分治策略、动态规划、贪心法、回溯与分支限界、算法分析与问题的计算复杂度、NP完全性、近似算法、随机算法、处理难解问题的策略等。书中突出对问题本身的分析和求解方法的阐述，从问题建模、算法设计与分析、改进措施等方面给出适当的建议，同时也简要介绍了计算复杂性理论的核心内容和处理难解问题的一些新技术。
《算法设计与分析》有配套的学习指导与习题解析用书以及PPT电子教案。
《算法设计与分析》可作为大学计算机科学与技术、软件工程、信息安全、信息与计算机科学等专业本科生和研究生教学用书，也可以作为从事实际问题求解的算法设计与分析工作的参考书。

本书是一版的基础上进行了更新，增加了一些典型的应用实例，并对例题和习题进行了补充。本书分为数理逻辑、集合论、代数结构、组合数学、图论、初等数论六个部分。全书既有严谨、系统的理论阐述，也有丰富的、面向计算机科学技术发展的应用实例，同时选配了大量的典型例题与练习。各章内容按照模块化结构组织，可以适应不同的教学要求。有与本书配套的电子教案与学习指导与习题解析。
本书可以作为普通高等学校计算机科学与技术专业、软件工程专业、计算机应用专业、信息与计算科学专业等本科生离散数学课程的教材，也可以供其他专业学生和科技人员阅读参考。

《可计算性与计算复杂性导引(第3版)》是学习计算理论的教材和参考书，内容包括三部分：可计算性、形式语言与自动机、计算复杂性，主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动机模型，时间和空间复杂性，NP完全性等。
《可计算性与计算复杂性导引(第3版)》可作为计算机专业本科生和研究生的教材，也可作为从事计算机科学技术的研究和开发人员的参考书，还可作为对计算理论感兴趣的读者的入门读物。

《离散数学(第5版)》包括数理逻辑、集合论、图论、组合分析初步、代数结构和形式语言与自动机初步等6个方面的内容。书中概念论述清楚，内容丰富，通俗易懂，并且着重于概念的应用，而不着重于定理的证明。每章后均附有习题，建议学时60～80。

本书是学习理论计算机科学基础的教材和参考书，内容包括三部分： 可计算性、形式语言与自动机、计算复杂性。主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动机模型，时间和空间复杂性，NP完全性等。
本书可作为计算机专业本科生和研究生的教材，也可作为从事计算机科学技术的研究和开发人员的参考书，还可作为对理论计算机科学感兴趣的读者的入门教材。