内容简介

本书章节内容不仅覆盖集合论、数理逻辑、组合论、图论、可计算性、抽象代数等基础理论部分，还给出了这些基本理论在粗糙集、模糊集、自动推理、智能搜索、加密技术等领域的应用，并涉及公理化集合论、数理逻辑形式系统、形式语言与自动机等相关理论。该书以离散结构为建模对象，紧密联系计算机科学技术，特别强调应用能力、证明技术、计算思维的培养。

相关推荐

无机化学:下册 物理学简明教程学习辅导 飞行特色大学物理:下册 微分几何 解析几何 天津大学无机化学与化学分析考试真题与疑难解析（2012-2018学年）