复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_02/29

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_01/29

本章要求: >掌握触发器的基本类型及其状态描述 >了解触发器的结构与工作原理 >掌握触发器的基本应用电路

一、《离散数学》 二、《集合论与图论》 三、《代数结构与组合数学》 四、《数理逻辑》

一、命题演算形式系统: 1 命题公式 2 语法:形式公理 3 形式规则

欧几里德在不加证明而直接采用基本概念和 公理的基础上, 运用逻辑推理方法得出了一系列 定理、推论, 从而建立了完整的欧几理德几何学， 这一辉煌的成果至今仍然是人类宝贵财富. 逻辑推理建模方法是一种重要的建模方法

一、解释和赋值 解释是对每个符号说明其含义.赋值是指岀每个公式的真假值

信息科学技术学院2003-2004学年第一学期本科生期末考试试卷（数理逻辑）

1.1 命题与联结词 1.2 命题公式及其分类 1.3 等值演算 1.4 命题公式的标准形式 1.5 命题演算的推理理论

▪ 命题变项与合式公式 ▪ 公式的赋值 ▪ 真值表 ▪ 命题的分类 重言式 矛盾式 可满足式