- 0
- 0
- 约1.65千字
- 约 3页
- 2026-07-21 发布于北京
- 举报
大学入学考试
《离散数学》考试大纲
科目代码:T20
科目名称:离散数学
一、数理逻辑
1.掌握命题、命题联结词的概念;理解命题的递归定义,熟练掌握命题符号化的
方法,掌握命题真值表的求法。
2.了解范式的概念,掌握求命题的析取范式、合取范式、主式的方法。
3.了解与非、或非、异或、蕴含否定等联结词及联结词的归约。
4.掌握常用的推理规则和证明方法。
大学入学考试
《离散数学》考试大纲
科目代码:T20
科目名称:离散数学
一、数理逻辑
1.掌握命题、命题联结词的概念;理解命题的递归定义,熟练掌握命题符号化的
方法,掌握命题真值表的求法。
2.了解范式的概念,掌握求命题的析取范式、合取范式、主式的方法。
3.了解与非、或非、异或、蕴含否定等联结词及联结词的归约。
4.掌握常用的推理规则和证明方法。
文档评论(0)