自考《离散数学》（课程代码：02324）自学考试大纲（核心精简版）.docxVIP

自考《离散数学》（课程代码：02324）自学考试大纲（核心精简版）

一、课程基本信息

课程代码：02324

学分：4

教材：《离散数学》，辛运帏主编，机械工业出版社，2014年版

大纲版本：《离散数学自学考试大纲》（全国统考）

考核目标层次：识记（15%）、领会（35%）、简单应用（35%）、综合应用（15%）

二、课程性质与目标

离散数学是计算机类专业的核心基础课，研究离散量的结构及相互关系。

核心目标：掌握数理逻辑、集合论、代数系统、图论四大模块的基本概念、理论与方法；培养逻辑推理、抽象思维、形式化证明能力，为后续计算机课程（数据结构、数据库、算法等）奠定数学基础。

三、课程内容与考核要求（按模块）

（一）数理逻辑（约30%，重点）

命题逻辑

考核内容：命题与联结词（?、∧、∨、→、?）；命题公式、真值表；重言式/矛盾式/可满足式；等值演算（16大定律）；范式（析取/合取、主析取/主合取）；自然推理系统（P、T、CP规则）。

考核要求：识记联结词定义；领会公式分类、等值关系；简单应用符号化、真值表、求主范式；综合应用命题推理证明。

谓词逻辑

考核内容：谓词、个体词、量词（?、?）；谓词公式；量词辖域、约束/自由变元；谓词等值式与蕴含式；前束范式；谓词推理（US、UG、ES、EG规则）。

考核要求：识记量词规则；领会谓词符号化；简单应用求前束范式；综