沈阳建筑大学2012年《离散数学》复试考试大纲.docVIP

复试《离散数学》科目考试大纲 一、考查目标 理解命题逻辑的基本概念及应用方法；掌握谓词逻辑的基本概念及应用方法；熟练掌握集合、关系函数的基本概念及运算、论证方法；理解代数结构的基本概念及研究方法；掌握图论的概念及应用。 二、考试形式与试卷结构（一）试卷满分及考试时间 复试科目和同等学力加试科目满分均为100分，考试时间为2小时。 （二）答题方式 答题方式为闭卷、笔试。 （三）试卷内容结构 命题逻辑：20%左右 谓词逻辑：10%左右 集合与关系：20%左右 函数：10%左右 代数系统：15%左右 格：10%左右 图论：15%左右 （四）试卷题型结构 客观题：选择题20%左右，填空题20%左右； 证明30%左右； 综合应用30%左右 三、考查内容 数理逻辑 命题逻辑 理解下列基本概念： 命题，联结词，合式公式，真值指派和真值表，永真式、永假式和可满足式，等价式与蕴涵式，规范式。 掌握命题符号化的方法； 熟练掌握基本等价式和蕴涵式及其应用； 理解和掌握推理规则（P、T、CP规则），直接证法和间接证法。 谓词逻辑 理解下列基本概念：谓词，量词，变元的约束，谓词公式； 能用谓词公式表达自然语句表述命题； 熟练掌握基本谓词的演算式和蕴涵式及其应用； 理解和掌握谓词演算的推理理论（推论规则US、ES、UG、EG）； 了解前束范式。 集合、关系与函数 理解下列基本概念： 集合