离散数学简介1.1命题(proposition) 1.2命题联结词及真值表13合式公式1.4重言式/何满足式/闭新式 1.4.2代入期则1.5 00●0000 0000 00●00000000000000000 00 Q00 离散数学与计算机科学的关系 ·数理逻辑：人工智能、程序正确性证明、程序验证等 ●集合论：关系数据库模型 。图论：数据结构、数据库模型、网络模型等 ·代数结构：软件规范、形式语义、编译系统、编码理论、密码学、 数据仓库 ·组合数学：算法分析与设计、编码理论、容错 重0Q0 刘避利（上海交大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重言式何满足式序：式1.4.2代入规则1.5 000●000 0000 00●00000000000000000 00 ●00 课程说明 ·讲授内容：数理逻辑，图论 。作业：从第三周开始，每周交作业 +口“4元4元t至0QC 刘避利（上海交大CS实验室） 离散数学 6/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 äí ëß`² ˘«SNµÍn‹6ß„ÿ äíµl1n±m©ßz±äí 4ë| (˛°å-CIS¢ø) l—ÍÆ 6 / 50
离散数学简介1.1命题(proposition) 12命题联结词及真值表。1.3合式公式1.4重言式/何满足式矛所式14.2代入规则 1.5 0000●00 0000 00●00000000000000000 00 ●00 第一部分数理逻辑 。逻辑(Logic):是对人类推理过程的研究。 。败理逻辑：是用数学的方法对人类推理过程作研究： 。数学研究方法：使用符号进行形式化 +口“4元4元t至0QC 刘避利（上海交大CS实验室） 离散数学 7150
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 äí 1ò‹©Ín‹6 ‹6(Logic)µ¥È<aÌnLßÔƒ" Ín‹6µ¥^ÍÆê{È<aÌnLßäÔƒ" ÍÆÔƒê{µ¶^Œ“?1/™z 4ë| (˛°å-CIS¢ø) l—ÍÆ 7 / 50
离散数学简介1.1命题(proposition) 12命题联结词及真值表1.3合式公式1.4重言式/可满足式/闭盾式14.2代入规则 1.5 0000●00 0000 00●00000000000000000 00 ●00 第一部分数理逻辑 。逻辑(Logic):是对人类推理过程的研究。 ●数理逻辑：是用数学的方法对人类推理过程作研究。 ©数学研究方法：使用符号进行形式化 +口“4元4元t至0QC 刘避利（上海交大CS实验室） 离散数学 7150
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 äí 1ò‹©Ín‹6 ‹6(Logic)µ¥È<aÌnLßÔƒ" Ín‹6µ¥^ÍÆê{È<aÌnLßäÔƒ" ÍÆÔƒê{µ¶^Œ“?1/™z 4ë| (˛°å-CIS¢ø) l—ÍÆ 7 / 50
离散数学简介1.1命题(proposition) 12命题联结词及真值表1.3合式公式1.4重言式/何满足式/矛所式1.4.2代入规则 1.5 0000●00 0000 00●00000000000000000 00 ●00 第一部分数理逻辑 。逻辑(Logic):是对人类推理过程的研究。 ●数理逻辑：是用数学的方法对人类推理过程作研究。 ●数学研究方法：使用符号进行形式化 +口“4元4元t至0QC 刘避利（上海交大CS实验室） 离散数学 7150
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 äí 1ò‹©Ín‹6 ‹6(Logic)µ¥È<aÌnLßÔƒ" Ín‹6µ¥^ÍÆê{È<aÌnLßäÔƒ" ÍÆÔƒê{µ¶^Œ“?1/™z 4ë| (˛°å-CIS¢ø) l—ÍÆ 7 / 50