1、 复习重点2014.6.23考核n平时成绩: 100分 占 10%n期末考试: 100分 占 90%填空 20分 ( 20 题)问答 35分 ( 9 题)证明 45分 ( 11 题)各部分比重n数理逻辑 32%n集合论 32%n图论 18%n数论 18%数理逻辑与计算机科学n程序 算法数据 n算法 逻辑 控制 21 世纪数理逻辑与计算机科学的关系, 就像 20 世纪微分方程与物理学的关系一样密切。 命题逻辑 基本概念等值演算推理 谓词逻辑基本概念等值演算推理第一部分 数理逻辑归纳的过程 :命题的符号化命题公式:( p q r ) ( p r) qIf the train arrives lat
2、e and there are no taxis at the station, then John is late for his meeting. John is not late for his meeting. The train did arrive late. Therefore, there were taxis at the station.真值表、等值演算重言式:( p q r ) ( p r) q 1自然推理系统中有效推理的证明有效的推理:( p q r ) ( p r) qIf the train arrives late and there are no taxis a
3、t the station, then John is late for his meeting. John is not late for his meeting. The train did arrive late. Therefore, there were taxis at the station.If it is raining and Jane does not have her umbrella with her,then she will get wet. Jane is not wet. It is raining. Therefore, Jane has her umbre
4、lla with her.命题公式:( p q r ) ( p r) q“ 相容或 ” 与 “ 排斥或 ”【 例 1.4】n 在香港购物可以用港币或 人民币支付。n 他是中国籍 或 美国籍。n 他 只能 是中国籍 或 美国籍。排斥或p q 排斥或0 0 00 1 11 0 11 1 0排斥或:(由真值表求主范式)( pq ) (p q)主合取范式?蕴涵联结词与自然语言的对应n pq 的逻辑关系是: p是 q的 充分条件 , q是 p的 必要条件 。n 存在不同的叙述方式:n p仅当 q(仅当 q,则 p)n 只有 q才 pn 只要 p,就 qn 除非 q,否则非 p(除非 q,则 p)n 非 p, 除非 qn 因为 p,所以 q