logo

您所在位置网站首页 > 海量文档  > 教育文化 > 教育文化

离散数学-上海交通大学讲义.PPT 34页

本文档一共被下载: ,您可全文免费在线阅读后下载本文档。

  • 支付并下载
  • 收藏该文档
  • 百度一下本文档
  • 修改文档简介
全屏预览

下载提示

1.本站不保证该用户上传的文档完整性,不预览、不比对内容而直接下载产生的反悔问题本站不予受理。
2.该文档所得收入(下载+内容+预览三)归上传者、原创者。
3.登录后可充值,立即自动返金币,充值渠道很便利
下载地址
需要金币:100    文档纠错   收藏文档   下载帮助
支付并下载
递归论 亦称(能行)可计算性理论,研究能行可计算的函数. 从递归函数和图灵机的等价产生可计算函数的概念 代表人物 G?del: 递归函数 Alonzo Church(丘奇): ?演算 Alan Turing(图灵): 图灵机 现代计算机设计思想的创始人之一 * 证明论 研究数学理论系统的形式证明问题,即以证明为研究对象,用数学方法分析之.主要关注系统的协调性. 代表人物 Hilbert:首先提出 Gerhard Gentzen (根茨):发展了证明论的重要成果. 证明了算术形式系统的协调性. 系统外证明,且不是有穷主义的.与G?del的结果不矛盾. * 数理逻辑与计算机科学 计算机?图灵机 计算机能做什么,算法是什么?可计算性理论 计算机不能做什么? 算法不可解问题 逻辑程序设计(Prolog) ?谓词逻辑 程序设计语言的语义学?模型论 形式规格说明与程序验证?模型论 AI,知识表示,自动定理证明 ? 逻辑演算 从形式证明产生程序 ? 证明论(Gentzen) …… * * 离散数学 2017 Spring, Shanghai Jiao Tong University 程帆 chengfan@ 上海交通大学 计算机科学与工程系 2017/02/23 * 课程说明 讲授内容: 数理逻辑 图论 作业: 每周四上课前交作业 考试: 学院统一上课范围,统一考试 * 教材 1. 《数理逻辑与集合论》,石纯一,清华大学出版社;第二版。 2. 《图论与代数结构》,戴一奇,清华大学出版社 参考书 1. 《离散数学及其应用》,Kenneth H. Rosen,机械工业出版社;原书第六版 2. 《数理逻辑》,莫绍揆,科学文献出版社 3. 《Discrete Mathematics and Its Applications》, 第5版, K. Rosen, 机械工业出版社, 2003. 4. 《图论及其应用》,J. A. Bondy * 上课时间 行课安排为第1周 第16周, 其中: 星期四 第7节--第8节 地点: 东上院502(1-16周) * 联系方式 程帆: chengfan@ Tel: 34208231 电院楼群3-513 助教:王旭东,计算机系博士一年级。邮件: wxdahk@163.com * 什么是离散数学? 离散数学(discrete mathematics)是研究离散对象的数学分支. 离散:由分离的元素组成.如自然数集. 相对应的是连续对象. 如实数集. 微积分就是研究连续函数的数学分支. 内容包括: 集合,关系,函数 数理逻辑 图论 抽象代数 组合数学 数论, …… * 为什么学离散数学? 提高数学论证和求解能力 培养抽象思维能力和逻辑推理能力 是计算机科学和技术的数学基础 数据结构,算法,数据库理论,自动机理论,形式语言,编译理论,计算机安全,操作系统,人工智能,数字电路 也是运筹学,化学,工程,生物学等很多领域的数学基础 * 数理逻辑与计算机科学 1946年,德国数学家Von Neumann提出计算机模型 计算机模型根植于数理逻辑、图灵机与布尔代数。 Turing机:数字电子计算机的抽象雏形 布尔代数:设计数字电子计算机的数学工具 * 数理逻辑与计算机科学 计算机科学的核心算法 程序设计语言 程序设计方法学 计算复杂性理论 均涉及到数理逻辑的知识和理论 * 戴克斯特拉 Edsger Wybe Dijkstra (1930-2002) 最伟大的计算机科学家(之一?) “搞了这么多年软件,错误不知犯了多少,现在觉悟了.我想,假如我早年在数理逻辑上好好下点功夫的话,我就不会犯这么多的错误,不少东西逻辑学家早就说了,可我不知道.要是我能年轻二十岁的话,就要回去学逻辑.” 成就很多,例如图论中的Dijkstra最短路径算法 * 什么是数理逻辑? 逻辑:是对人类推理过程的研究。 数理逻辑:是用数学的方法对人类推理过程作研究。 数学研究方法:使用符号 * 数理逻辑史 数理逻辑前史时期——古典形式逻辑时期 数理逻辑初创时期——逻辑代数时期 数理逻辑奠基时期 数理逻辑发展初期 数理逻辑现代发展时期 * 古典形式逻辑时期 亚里士多德 三段论 斯多阿学派的命题逻辑 中世纪的形式逻辑 * 古典逻辑 亚里士多德的三段论(syllogism) 从两个前提推出一个结论的逻辑论证形式: 1.大前提(major premise) 凡是人都是要死的 2.小前提(minor premise) 苏格拉底是人 3.结论(conclusion) 苏格拉底是要死的 斯多葛学派(Stoics)的命题逻辑 Zeno of Citium于301BC创立的哲学派别 Chrysippu

请自觉遵守互联网相关的政策法规,严禁发布色情、暴力、反动的言论。
用户名: 验证码: 点击我更换图片

©2010-2013 max.book118.com在线文档投稿赚钱网. All Rights Reserved 蜀ICP备08101938号