考研网
当前位置:查字典考研网 > 院校信息 > 考研大纲 > 2013年陕西科技大学814离散数学考试大纲 院校资讯 | 导师介绍 | 招生信息 | 考研复试

2013年陕西科技大学814离散数学考试大纲

考研时间: 2011-12-02 来源:查字典考研网

2013年陕西科技大学硕士研究生理学院招生专业课考试大纲

(2012年9月修订)

《814 离散数学》

1.数理逻辑(包括命题逻辑和谓逻辑)

命题及联结词、命题公式与翻译、真值表和等价公式、重言式、范式、全功能联结词集、最小全功能联结词集、对偶式与蕴含式、命题逻辑的推理理论、个体、谓词、量词、谓词公式、谓词演算的等价式与蕴含式、前束范式和谓词逻辑的推理理论。

……

更多内容,点击附件下载查看。

请点击以下链接进入《2013年陕西科技大学814离散数学考试大纲》下载页面:

2013年陕西科技大学814离散数学考试大纲.pdf (60.46KB)