离散数学第一讲论述.doc

引 言 什么是离散数学？ 离散数学是研究数学中适用于研究离散对象的那一部分。（这里“离散”的含义是指不同的连接在一起的元素。） 可数集合里发生事的数学方面都是离散数学的研究对象。 离散数学成为一门课程，于上世纪60年代、70年代，与计算机发展并驾齐驱，其内容与传统数学有很大区别；过去的高等数学是连续数学，这里表现的离散结构，是计算机表现的量，现实生活中也有十分广泛的应用。 离散数学特点：散、抽象、应用广泛、 注重数理逻辑推理。 对离散数学的认识与离散数学的应用 极度抽象 抽象到把所有男生都看作1，把所有女士都看成0来研究, 行云流水 有了数学分析、高等代数、概率论知识，关键是数理逻辑思维的能力，方法得当可以轻松的学习 由难变易 放下包袱，解放思想，办法多多 非常聪明 学过离散数学，思维方式上一个新台阶，对后续课程的学习，以后就业、工作、个性发展等帮助收益匪浅。 地位重要 从20世纪80年代起，离散数学越来越受到宠爱，有人戏称，微积分在科学中的皇位有朝一日会让给离散数学的，从应用角度看，很多重大实用项目（如信息技术、战争、密码学、作弊与反作弊技术、催眠术、经济理论等等）的理论模型正是离散数学模型；通过离散数学的理论推导、算法设计与分析、编程与软件制作，上机并付诸实现，离散数学是一种高技术 科大 王树禾： “离散数学是数学领域当中数学思想最为活泼、最 为深刻和充满矛盾的地方，对数学基础的奠定与巩 固，离散数学有着不可替代的作用。同时它富含的 文化和人文哲理则是人类现代文明的重要成分。离 散数学是一种高文化。” 同时，离散数学是通向所有数学学科、计算机学科 高级课程的必经之路；数学建模、考研、就业选择、生活中的推理，离散数学无时不在。 离散数学的内容 离散数学每年都有新东西，很容易进入学科前沿，即使过去很过老的内容都有新发现。本专业分四个部分学习 集合论 代数系统 图论 数理逻辑 关于集合论 集合论的概念和符号是描述数学问题的有力 具。集合是全部数学的最基本的概念之一，是整个数学大夏的基础，数学的每个分支都在使用集合论的语言进行表述和推理。 从1874年开始，29岁的德国数学家康托（GEORG CANTOR）、低级运算，通过代数系统的学习，了解什么是真正运算，也就是抽象的运算（如1+1=1，1+1=0），这一部分内容也是抽象代数的内容，是高等数学学习的高级化，也是后续课程学习的一个转折点。思维的升华与飞跃…… 第三部分是图论 既古老又有发展前途，有很多看似简单但还没解决的问题，例如 哥尼斯堡七桥问题 …… 欧洲 18世纪 瑞士数学家欧拉 四色问题：1852年伦敦一个叫高思里（GUTHRIE）的学生 提出如下猜想： 任给一无色地图，每国涂一色，邻国须异色，四色足矣。 1879年，英国数学家肯菩（KEMPLE）发表了极为 巧妙的论证，宣称四色猜想成立，不幸的是，十年后 被指出错误； 1976年，英国数学家阿佩尔（APPEL）和哈肯（HAKEN） 用计算机证实了四色猜想成立，他们用了一百亿个逻辑判断，耗用了1200多个机时，但这种不可视的证明存在用肉眼看不出其真伪的缺点，至于手写证明，还有待于诸辈努力。 粗看四色猜想，平易近人到如此程度，一致于可以向公路上和我们随机相遇的人用不了三分钟就能讲清楚题目的条件和结论；即使是文盲，也可以画出许多实例来验证四色猜想对一些特例可以成立，但它的严格证明，百余年间不知耗费了多少精明的数学家的脑汁，皆不得其结果！ ？中国哲学家黎鸣的惊人之处在于，他说他在老子和康德思想的共同启发下，只需要一支笔几张纸，就能简洁明快，完全漂亮地证明“四色”定理！ 黎鸣,研究哲学,你也可以叫我“思想狂徒”、“哲学乌鸦”。南昌人,1961年毕业于江西大学物理系,后进入中国科技大学研究生院控制论与系统工程专业。长期进行逻辑学、控制论、文化人类学等方向的研究,最重要的学术贡献：把哲学的基础从二元论转化为三元论。创立了以“三”为基础的运算规则，并在此基础上重构了逻辑学，从而完成了逻辑学的三元论和多元论转向，以及哲学的第四次转型——人学的转型。哲学家黎鸣自称受老子《道德经》启发已破译“四色定理” 又例如：追捕逃犯问题 1987年，王树禾提出如下追捕问题：逃犯若干，在公路网上流窜，应至少派几名行警，才能把这些罪犯捉拿归案？ 又如 婚配模型 中国邮路问题 四、数理逻辑 LEIBNIZ是数理逻辑的首席创始人，他力主思维计算化，也是计算机发展的基础，通过对数理逻辑的学习，可以使你思维更具理性，更具有跳跃性，头脑更聪明。 例如：中科院考研题2002年（8分） “鸟会飞，鸭子不是鸟；所以鸭