简介
本书包括数理逻辑、集合论、图论和代数系统四部分内容。本书中定义、原理论述详细，通俗易懂，内容丰富，既注重对基本概念的论述，又注重原理的证明方法及其在计算机科学中的实际应用。每一章的后面都有对应本章知识点的习题，便于读者更深入理解和巩固所学的知识理论基础，在教授时建议64学时左右。本书可以作为计算机及相关专业的本科生教材，也可以作为计算机相关资格水平考试的参考书，同时也可以为从事计算机软、硬件开发和应用的人员提供参考。
编辑推荐
本书不但考虑了与前导课程的关系，也考虑了与后续课程的关系。把理论应用于实际，解决实际问题，这是本书的一大特色。
更多出版物信息
- 版权： 清华大学出版社
- 出版： 2016-09-01
- 更新： 2023-06-07
- 书号：9787302441731
- 中图：O158-43
- 学科：理学数学
