离散数学简介1.1命题(proposition) 12命题联结词及真值表13合式公式1.4重言式可满足式矛所式1.4.2代入规则15 0●00000 0000 00●00000000000000000 00 Q00 离散数学主要内容的知识结构 代数结构 组合数学 数理逻辑 集合论 图论 图1各组成模块相互关系 刘避利（上海文大-CS实验室） 离散数学 4150
l—ÍÆ{0 1.1 ·K£proposition§ 1.2 ·KÈ(c9˝äL 1.3 ‹™˙™ 1.4 Û™/å˜v™/gÒ™ 1.4.2 ì\5K 1.5 ·K/™z äí l—ÍÆÃáSN£( 4ë| (˛°å-CIS¢ø) l—ÍÆ 4 / 50
离散数学简介1.1命题(proposition) 12命题联结词及真值表1.3合式公式1.4重言式/可足式闭所式1.4.2代入规则 1.5 00●0000 0000 00●00000000000000000 00 Q00 离散数学与计算机科学的关系 ·数理逻辑：人工智能、程序正确性证明、程序验证等 ©集合论：关系数据库模型 。图论：数据结构、数据库摸型、网络侯模型等 代数结构：软件规范，形式语义，编译系统码理论密码学 数据色屋 。组合数学：原法分析与设计培码理论，容指 刘避利（上海交大CS实验室） 离散数学 5/50
l—ÍÆ{0 1.1 ·K£proposition§ 1.2 ·KÈ(c9˝äL 1.3 ‹™˙™ 1.4 Û™/å˜v™/gÒ™ 1.4.2 ì\5K 1.5 ·K/™z äí l—ÍÆÜOéÅâÆ'X Ín‹6µ<ÛúU!ßS(5y²!ßSy 8‹ÿµ'XÍ‚• . „ÿµÍ‚(!Í‚• .! ‰ . ìÍ(µ^á5â!/™ä¬!?»X⁄!?Ënÿ!óËÆ! Í‚Û• |‹ÍƵé{©¤ÜO!?Ënÿ!NÜ 4ë| (˛°å-CIS¢ø) l—ÍÆ 5 / 50
离散数学简介1.1命题(proposition) 12命题联结词及真值表1.3合式公式1.4重言式可满足式闭所式14.2代入规则 1.5 00●0000 0000 00●00000000000000000 00 Q00 离散数学与计算机科学的关系 ·数理逻辑：人工智能、程序正确性证明、程序验证等 ●集合论：关系数据库模型 。图论：数据结构、数据库模型、网络模型等 。代数结构：软件规范，形式语义、编译系统、编码理论、密码学， 数据仓库 。组合数学：原法分析与设计培码理论，容指 刘避利（上海交大CS实验室） 离散数学 5/50
l—ÍÆ{0 1.1 ·K£proposition§ 1.2 ·KÈ(c9˝äL 1.3 ‹™˙™ 1.4 Û™/å˜v™/gÒ™ 1.4.2 ì\5K 1.5 ·K/™z äí l—ÍÆÜOéÅâÆ'X Ín‹6µ<ÛúU!ßS(5y²!ßSy 8‹ÿµ'XÍ‚• . „ÿµÍ‚(!Í‚• .! ‰ . ìÍ(µ^á5â!/™ä¬!?»X⁄!?Ënÿ!óËÆ! Í‚Û• |‹ÍƵé{©¤ÜO!?Ënÿ!NÜ 4ë| (˛°å-CIS¢ø) l—ÍÆ 5 / 50
离散数学简介1.1命题(proposition) 12命题联结词及真值表1.3合式公式1.4重言式可满足式闭所式14.2代入规则 1.5 00●0000 0000 00●00000000000000000 00 Q00 离散数学与计算机科学的关系 ·数理逻辑：人工智能、程序正确性证明、程序验证等 ●集合论：关系数据库模型 ·图论：数据结构、数据库模型、网络模型等 。代数结构：软件规范、形式语义、编译系统、编码理论、密码学， 数据仓库 。组合效学：算法分析与设计、编码理论、容错 刘避利（上海交大CS实验室） 离散数学 5/50
l—ÍÆ{0 1.1 ·K£proposition§ 1.2 ·KÈ(c9˝äL 1.3 ‹™˙™ 1.4 Û™/å˜v™/gÒ™ 1.4.2 ì\5K 1.5 ·K/™z äí l—ÍÆÜOéÅâÆ'X Ín‹6µ<ÛúU!ßS(5y²!ßSy 8‹ÿµ'XÍ‚• . „ÿµÍ‚(!Í‚• .! ‰ . ìÍ(µ^á5â!/™ä¬!?»X⁄!?Ënÿ!óËÆ! Í‚Û• |‹ÍƵé{©¤ÜO!?Ënÿ!NÜ 4ë| (˛°å-CIS¢ø) l—ÍÆ 5 / 50
离散数学简介1.1命题(proposition) 12命题联结词及真值表1.3合式公式1.4重言式可满足式矛所式14.2代入规则 1.5 00●0000 0000 00●00000000000000000 00 Q00 离散数学与计算机科学的关系 ·数理逻辑：人工智能、程序正确性证明、程序验证等 ●集合论：关系数据库模型 ·图论：数据结构、数据库模型、网络模型等 ·代数结构：软件规范、形式语义、编译系统、编码理论、密码学、 数据仓库 。组合数学：算法分析与设计、编码理论，容错 刘避利（上海交大CS实验室） 离散数学 5/50
l—ÍÆ{0 1.1 ·K£proposition§ 1.2 ·KÈ(c9˝äL 1.3 ‹™˙™ 1.4 Û™/å˜v™/gÒ™ 1.4.2 ì\5K 1.5 ·K/™z äí l—ÍÆÜOéÅâÆ'X Ín‹6µ<ÛúU!ßS(5y²!ßSy 8‹ÿµ'XÍ‚• . „ÿµÍ‚(!Í‚• .! ‰ . ìÍ(µ^á5â!/™ä¬!?»X⁄!?Ënÿ!óËÆ! Í‚Û• |‹ÍƵé{©¤ÜO!?Ënÿ!NÜ 4ë| (˛°å-CIS¢ø) l—ÍÆ 5 / 50