[法律资料]离散数学Discrete Mathematics.ppt

引言 离散数学的概念 离散数学的内容 离散数学的由来与发展 离散数学的应用 离散数学的概念 离散数学（Discrete Math） 研究离散量的关系的一门科学。 研究离散结构的数学分科。（辞海） 计算机科学、信息科学、数字化科学的数学基础 它为计算机科学中的数据结构、编译理论、操作系统、算法分析、人工智能等提供了必要的数学知识。 离散数学的内容 研究对象：离散量（真假值、自然数、集合、字母表、图等）之间的关系和结构。 具体内容： 数理逻辑（Mathematics Logic) 集合论(Sets) 组合论（Combination) 图论（Graph Theory) 代数结构（Algbra Structure) 线性代数(Linear Algbra ) 概率论（Propobility Theory)…… 离散数学的由来与发展 古老 计数:自然数 图论:Konigsberg七桥问题 年青 计算机:二进制运算 离散数学是随着计算机科学与技术的产生发展和应用领域的不断发展而逐步形成和发展起来的一门新兴学科，作为一门课程开设于上世纪70年代初。 离散数学的应用 广泛应用于计算机科学和工程的各个方面，如： 数理逻辑——程序设计、逻辑(电路)设计、人工智能 集合论—— 算法设计和分析、密码、编码、数据库 代数结构——编码、密码、容错分析 图 论 ——— 计算机科学和应用的所有领域 离散数学为计算机应用专业的绝大多数课程提供了必备的数学工具，有助于培养我们抽象的思维和逻辑推理的能力。 离散数学课程设置 离散数学的重要地位: 计算机系核心课程 信息类专业必修课程 其它类专业的重要选修课程 离散数学的先修课程： 高等数学、线性代数。 离散数学的后继课程： 数据结构、编译技术、算法分析与设计、人工智能、数据库、…… 离散数学课程的学习特点及方法 特点: 强调：逻辑性、抽象性； 注重：概念、方法与应用 方法: 1．该课程概念名词多，定义多，公式多，要求记忆准确。 2．认真/仔细做好课堂笔记。 3．完成大量习题。 4．与程序语言及算法设计相结合，思考、理解并应用所学知识。 资料 教材： 《离散数学》左孝凌 李为鑑 刘永才编,上海科学技术文献出版社,18.00元/本 该教材另配习题解答指导书 参考教材： 1、《离散数学》(耿素云 屈婉玲 张立昂 清华大学出版社) 2、 Discrete Mathematics（ Forth Edition: Richard Johnsonbaugh) 3、 Discrete Mathematics（ Revised Edition:Biggs ) 本课程学习内容 本课程将学习数理逻辑、集合论、图论、代数结构等基本部分内容。 数理逻辑的重点是公式演 算与推理证明； 集合论的重点是关系理论与映射的描述； 图论则着重于讨论结点之间的关系以及图论方法的各种实际应用； 代数结构侧重于用适宜的数学结构去描述具体的问题,即”数学建模“。 第1章 命题逻辑 1 命题及命题符号化 2 联结词 3 命题公式与翻译 4 真值表与等价公式 5 等值演算 1.1 命题及命题符号化 命题与真值 原子命题 复合命题 命题常项 命题变项 联结词 一、命题的定义 二、命题的真值 例 下列句子中那些是命题？ (1) 地球是圆的. (2) 2 + 5 ＝8. (3) x + 5 ＞ 3. (4) 你有铅笔吗？ (5) 这只兔子跑得真快呀！ (6) 请不要讲话！ (7) 我正在说谎话. 三、命题的分类 1、简单命题(原子命题)： 不能分解为更简单的陈述语句的命题 2、复合命题： 由简单命题与联结词按一定规则复合 而成的命题 四、简单命题符号化 1.2 联结词与复合命题 一、常用联结词 1.否定式与否定联结词“?” 定义 设P为命题，复合命题 “非P”（或 “P的否定”）称 为P的否定式，记作?P，符号?称作否定联结词，并规 定?P 为真当且仅当P为假 例1 P ：地球是圆的，则?P：地球不是圆的 。 注意：否定词“?”是一个一元运算，它的意义是“否定”被否定命题的全部，而不是一部分。日常用语中，诸如“并非”，“永不”，“绝不”等联结词，尽管它们的含义并不完全相同，但除否定外，没有其他的逻辑内容，因而都可用否定词表示。 2.合取式与合取联结词“∧” 定义 设P,Q为二命题,复合命题“P并且Q”(或“P与Q”)称为P与Q的合取式，记作P∧Q，∧称作合取联结词，并规定