自考02324离散数学核心内容.docxVIP

自考02324离散数学核心内容

自考?02304离散数学（很多省份代码是02304，你写的02324是同一门课的不同代码）是概念多、公式固定、套路极强的工科/计算机自考核心课。我给你整理成只背考点、直接应试、覆盖选择/填空/证明/计算题的超级精简版。

一、总体结构（考试就考这5大块）

命题逻辑（选择、填空、等值演算、主范式、推理）

谓词逻辑（量词、等值式、推理）

集合与关系（集合运算、等价关系、偏序、函数）

代数系统（运算性质、半群/独异点/群、环域基础）

图论（通路、回路、欧拉图、哈密顿图、树、最小生成树、握手定理）

二、第1部分：命题逻辑（必考、送分）

1.基本联结词

?非、∧合取（且）、∨析取（或）、→蕴涵、?等价

重要等值（背熟）：

A→B??A∨B

A?B?(A→B)∧(B→A)

德摩根律：?(A∧B)??A∨?B；?(A∨B)??A∧?B

蕴涵等值、假言易位：A→B??B→?A

2.公式分类

重言式（永真）

矛盾式（永假）

可满足式

3.主范式（必考计算）

极小项m?：简单合取，成真赋值唯一

极大项M?：简单析取，成假赋值唯一

关系：?mi??Mi?

求主析取范式步骤：

消去→、?

否定内移（德摩根）

展开为析取范式

补变元（A?A∧(B∨?B)）

合并、排序→得到?mi1?∨mi2?∨?

4.推理理论