2013年陕西科技大学硕士研究生入学考试
《离散数学》考试大纲
考核要点：
1．数理逻辑（包括命题逻辑和谓逻辑）
命题及联结词、命题公式与翻译、真值表和等价公式、重言式、范式、全功能联结词集、最小全功能联结词集、对偶式与蕴含式
……
更多内容，点击附件下载查看。