2014年离散数学考研大纲——陕西科技大学电气与信息工程学院
2014年离散数学考研大纲——陕西科技大学电气与信息工程学院 考核要点: 1.数理逻辑(包括命题逻辑和谓逻辑) 命题及联结词、命题公式与翻译、真值表和等价公式、重言式、范式、全功能联结词集、最小全功能联结词集、对偶式与蕴含式、命题逻辑的推理理论、个体、谓词、量词、谓词公式、谓词演算的等价式与蕴含式、前束范式和谓词逻辑的推理理论。 2.集合论(包括集合、二元关系和函数) 集合、集合和集合元素间的关系、幂集合、集合的运算、集合表示法、集合的基本定律、多重组、笛卡儿乘积、关系定义、二元关系的基本性质...