河南理工大学计算机科学与技术学院2023考研复试考试大纲:离散数学
2023年1月16日 - 中公考研网
二、考查知识点解析1、命题逻辑命题逻辑是以命题为中心研究逻辑问题。要求掌握命题、真值、联结词、命题公式、赋值、等值式、范式、推理形式结构等基本概念。能够判别命题的真值,区分简单命题和复合命题、符号化命题、构造真值表、等值演算、判别公式类型、求解命题公式的主析取范式和主合取范式以及应用直接证明法、附加...
详情
二、考查知识点解析1、命题逻辑命题逻辑是以命题为中心研究逻辑问题。要求掌握命题、真值、联结词、命题公式、赋值、等值式、范式、推理形式结构等基本概念。能够判别命题的真值,区分简单命题和复合命题、符号化命题、构造真值表、等值演算、判别公式类型、求解命题公式的主析取范式和主合取范式以及应用直接证明法、附加...