作者	张型岱　等编著
出版社
出版时间	2002-06-01

特色：

本书是数学与应用数学专业的离散数学课教材，也可作为计算机专业的教材。内容由八章构成，包括集合论（集合，关系，映射，集合的基数）)：命题逻辑（含公理系统）：谓词逻辑（含公理系统）；非经典逻辑简介（含模态逻辑，多值逻辑，非单调逻辑，模糊逻辑）：图论；代数系统；格与布尔代数；离散数学在计算机科学中的应用。每章都配备了习题，并在附录中给出习题答案与提示， 本书内容系统全面，逻辑严谨，推理详尽，语言简洁，配有较多的典型例题，便于理解基本理论与方法。本书可作为普通高等学校与成人高校相关专业的教材，也可作为科技工作者、自修人员的参考书。