河南理工大学计算机科学与技术学院2023考研复试考试大纲:离散数学
2023年1月16日 - 中公考研网
2、一阶逻辑在一阶逻辑中,继续对简单命题进行分解,分离出主语和谓语,分别进行符号化,同时引入了量词。要求掌握个体词、谓词、量词、一阶逻辑公式、解释、赋值、一阶逻辑等值式、置换规则、前述范式等基本概念。能够对含有量词的命题进行符号化、确定量词的辖域、区分个体变元的两种出现形式(自由变元和约束变元)、...
详情
2、一阶逻辑在一阶逻辑中,继续对简单命题进行分解,分离出主语和谓语,分别进行符号化,同时引入了量词。要求掌握个体词、谓词、量词、一阶逻辑公式、解释、赋值、一阶逻辑等值式、置换规则、前述范式等基本概念。能够对含有量词的命题进行符号化、确定量词的辖域、区分个体变元的两种出现形式(自由变元和约束变元)、...