logo

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

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

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

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

下载提示

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

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

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