离散数学复习要点.pptx

离散数学复习;考试形式;复习参考;命题、联结词、命题公式的概念

命题公式的分类、真值的判断

;命题：判断结果惟一（非真即假）的陈述句

联结词集为{?,?,?,?,?}，?p,p?q,p?q,p?q,p?q为基本复合命题.

联结词的运算顺序:(),?,?,?,?,?,同级按先出现者先运算.

;命题公式概念;7;8;9;10;11;12;13;14;15;16;17;18;19;谓词、谓词常项、谓词变项、量词、合式公式、闭式、指导变元、辖域、自由出现、约束出现的概念

公式的解释和赋值;谓词——表示个体词性质或相互之间关系的词，常用F，G，H表示

谓词有常项与变项之分，表示具体性质或关系的谓词称作谓词常项，表示抽象的或泛指的性质或关系的谓词称作谓词变项

无论谓词常项或变项都用大写英文字母F,G,H等表示，要根据上下文区分

谓词常项如,F(a)：a是人

谓词变项如,F(x)：x具有性质F;22;23;24;25;26;27;28;29;30;31;32;33;34;35;36;37;38;39;40;41;42;43;44;45;46;47;包含排斥原理（容斥原理）;笛卡儿积及其性质

A上重要关系

关系的表示

关系的基本运算及其运算（复合、幂、逆）的性质

关系的性质（自反、反自反、对称、反对称、传递）

等价关系、划分

偏序关系（哈斯图、最大元、最小元、极大元、极小元、上界、下界、最小上界、最大下届）

;50;51;52;53;54;55;56;57;58;59;60;61;62;63;64;65;66;67;68;69;70;71;72;73;74;第八章函数;76;77;78;79;80;81;82;83;84;85;86;87;88;第十四章图的基本概念;90;91;92;93;94;95;96;97;另外，称度数为1的顶点为悬挂顶点，与它关联的边称作悬挂边，度数为偶数（奇数）的顶点称作偶度（奇度）顶点;99;100;101;102;103;第十五章欧拉图与哈密顿图;105;106;107;108;第十六章树;110;111;112;113;114;115;第十七章平面图;117;118;119