离散数学
邹丽娜 丁茜 罗旭主编
1865人在读
9.3万字总字数
¥19.8定价
邹丽娜 丁茜 罗旭主编
离散数学是现代数学的重要分支，通过离散数学的学习，学生能够得到严格的逻辑推理与抽象思维能力的训练，能够掌握数理逻辑、集合论、图论等知识。本书主要分为三部分：数理逻辑、集合论和图论。其中数理逻辑部分包括命题逻辑、谓词逻辑两章；集合论部分包括集合论和二元关系两章。本书适合作为普通高等学校计算机科学与技术、网络工程及信息管理等专业教材，也可作为高职高专、成人高校相关专业教材。
教逻辑的书，甚至逻辑公式都有错
本书都讲述一阶逻辑了，很多定理也不用一阶逻辑进行严谨证明，真是偷懒