内容简介
本书包括数理逻辑、集合论、图论和代数系统四部分内容。本书中定义、原理论述详细，通俗易懂，内容丰富，既注重对基本概念的论述，又注重原理的证明方法及其在计算机科学中的实际应用。每一章的后面都有对应本章知识点的习题，便于读者更深入理解和巩固所学的知识理论基础，在教授时建议64学时左右。本书可以作为计算机及相关专业的本科生教材，也可以作为计算机相关资格水平考试的参考书，同时也可以为从事计算机软、硬件开发和应用的人员提供参考。
更多图书信息
- 策划编辑：郑寅堃
- 出版日期：2013-07-01
- 作者：刘忠艳、高志军、王光辉、付喜辉
- 书号：9787302441731
