- 1、本文档共34页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
考试教育专升本
递归论 亦称(能行)可计算性理论,研究能行可计算的函数. 从递归函数和图灵机的等价产生可计算函数的概念 代表人物 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:电院楼群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创立的哲学派别 Chrysi
您可能关注的文档
- 萃取数学本质,建构问题解决的策略.PPT
- 2013年普通高等学校招生全国统一考试-理科综合.DOC
- 湘南中学政治教研组:邓红斌.PPT
- 2016全国Ⅱ卷 考纲解析.PPT
- 山东电子职业技术学院2016-2017学年第二学期校历.DOC
- 荆州中学高三下学期数学周考试卷.DOC
- 遵义阳光播音主持培训班(宣传版).DOC
- 2013年全国普通高等学校招生统一考试-上海物理试卷.DOC
- 高二生物月考考试试题.DOC
- 2006年普通高等学校招生全国统一考试-化学.DOC
- 【安全经验分享】镇江新区金科·祥生悦园建设工地宿舍“3·8”较大火灾事故 1根香烟,7条人命!6人追刑!.pptx
- 面向类集成测试序列生成问题的深度强化学习方法研究.pdf
- 包含电热氢多元储能的综合能源系统能量管理策略研究.pdf
- H公司食品机生产项目工时管理优化研究.pdf
- 上覆充水型溶洞对巷道围岩稳定性的影响及控制技术研究.pdf
- 松散层底部黏土层渗透破坏试验及数值模拟研究.pdf
- 凉水井煤矿薄煤层大跨度开切眼空顶距与支护技术研究.pdf
- 基于功能可用性的家用制氧机造型设计研究.pdf
- 基于原子力显微镜技术的神经细胞药物刺激响应研究.pdf
- 电力电子变换器直流母线电容状态在线监测方法研究.pdf
文档评论(0)