切换城市: 广东 其它

已解决问题

2017年南京信息工程大学硕士研究生招生入学考试离散数学考试大纲-计算机科学与技术专业数理逻辑

2017年南京信息工程大学硕士研究生招生入学考试《离散数学》考试大纲-计算机科学与技术专业数理逻辑
技校网 更新时间:2021-07-03 15:23:00 解决时间:2018-11-26 11:06

满意答案

一、数理逻辑

1.掌握命题、命题联结词的概念;理解命题公式的递归定义,熟练掌握命题符号化的方法,掌握命题公式真值表的求法。

2.了解范式的概念,掌握求命题公式的析取范式、合取范式、主式的方法。

3.了解与非、或非、异或、蕴含否定等联结词及联结词的归约。

4.掌握常用的推理规则和证明方法。

5.理解谓词、量词、谓词公式、自由变元和约束变元的概念。

6.掌握谓词演算基本的永真公式。

7.会利用谓词演算的推理规则进行简单的推理。

  技校网数据中心 2018-11-26 11:06
最新文章
相关学校
招生信息与资讯
技校专业