浙江工业大学2012年 硕士研究生入学考试自命题科目考试大纲

离散数学与程序设计浙江工业大学硕士研究生入学考试大纲离散数学一、考试件质离散数学是计算机科学的逅要理论基础。

硕士研究生《离散数学》考试是为浙江T•业大学计算机科学技术招收硕士研究生而设置的。

评价标准是高等学校计算机及相关学科木科毕业生能达到的及格或及格以上水平，以保证被录取者具有继续深造的必要的数学基础和索质，并有利于各相关专业在招生工作上的择优选拔。

二、考试范围命题逻辑和谓词逻辑：集合论（包括集合、关系、函数）；代数系统（代数系统的一般概念、群、格和布尔代数）；图论。

三、评价目标在考査基木概念、基本理论的基础上，注意考査学生运用基木知识分析和解决问题的能力。

具体要求：「正确理解各基本概念：2.熟练掌握研究对象的基本性质;3•深入理解各研究对象Z间的内在联系；4•熟练学握离散数学屮的儿种典熨的论证方法：5•能运用所学的知识对未知的问题进行分析、推理而加以解决。

四、考试形式与试卷结构1 •答卷方式：闭卷，笔试2•考试内容及其考试比例：基木概念：30%论证推理：70%五、参考书目1.左孝凌等编著《离散数学》，上海科学技术文献出版社。

六、考査要点第一章命题逻辑1.1命题及其值概念、命题的表示。

1.2命题的联结词定义。

1.3命题公式的概念，自然语言复合命题的符号化方法。

1.4命题公式的其值表定义及其计算：两个命题公式等价的定义，等价置换定义；两个命题公式等价证明的证明方法。

1.5重言式、矛盾式定义、蕴涵式定义：命题公式的等价与蕴涵的关系及其证明方法。

1.6命题的其它联结词定义，全功能（故小）联结词组的概念。

1.7对偶式的定义、性质，合取范式、析取范式定义，求一个命题公式的合取范式、析取范式的方法，主析取范式、主合取范式的定义及其计算方法。

1.8推理理论及具常用证明方法：真值表法，肖•接证明法，间接证明法及K CP规则。

第二章谓词逻辑2.1 一元谓词与多元谓词概念及其表示。

2.2命题函数与个体域概念，全称戢词域仔在戢词：特性谓词概念：全总个体域下全称命题和存在命题的谓词表示。