离散数学考试大纲:涵盖数理逻辑、集合、二元关系、函数、代数系统、格与布尔代数、图论.pdfVIP

  • 0
  • 0
  • 约1.65千字
  • 约 3页
  • 2026-07-21 发布于北京
  • 举报

离散数学考试大纲:涵盖数理逻辑、集合、二元关系、函数、代数系统、格与布尔代数、图论.pdf

大学入学考试

《离散数学》考试大纲

科目代码:T20

科目名称:离散数学

一、数理逻辑

1.掌握命题、命题联结词的概念;理解命题的递归定义,熟练掌握命题符号化的

方法,掌握命题真值表的求法。

2.了解范式的概念,掌握求命题的析取范式、合取范式、主式的方法。

3.了解与非、或非、异或、蕴含否定等联结词及联结词的归约。

4.掌握常用的推理规则和证明方法。

文档评论(0)

1亿VIP精品文档

相关文档