作者	方世昌
出版社
出版时间	1985-01-01

特色：
本书**版于1989年5月作为电子类“七五”规划教材由西安电子科技大学出版社出版。*近，根据原电子工业部《1996—2000年全国电子信息类专业教材编审出版规划》，该书修订后再次出版。全书共分七章，主要内容有命题逻辑、谓词逻辑、集合、关系、函数、代数系统的基本理论和特殊代数系统、图论等。本次修订根据原国家教委对大专层次的理论教学以够用为度的原则，并根据近几年来大专计算机教学的需要进行。在内容的选择上，将删去原书中一些不适合大专教学的较难部分或与前后内容联系不大的概念；将原书的第6、7两章合并为现第6章，简化了对代数系统的研究；对一些难度较大的内容增补了一些例子，并提供不同学时的选择。在修订中保留原书由浅入深，由直观到抽象，通俗易读，用图解的方法来形象地描述一些概念、关系和算法等特色，进一步做到概念清晰、准确、推理严谨。本书既可作为普通专科院校、职业大学、职工大学的计算机专业教材，也可作为非计算机专业相应课程的教材或教学参考书。

本书介绍计算机专业*需要的离散数学基础知识，共8章，包括数理逻辑、集合论、二元关系、函数、无限集合、代数、格与布尔代数、图论等，并含有较多的与计算机科学和工程有关的例题和习题。本书适合于高等理工科院校计算机科学、工程和应用专业作教材，也可供教师、研究生、高年级学生和有关工程技术人员作参考书。