- 1、本文档共48页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
计算思维导论课件 第2章
多媒体技术与应用 第二章 计算理论与计算模型 《计算机导论》 第三章 图形与图像处理 2.1 计算的几种视角 一、计数与计算 手指、石头、结绳计数,算筹计算 2.1 计算的几种视角 许多计算领域的求解问题,如计算物理学、计算力学、计算化学和计算经济学等都可以归结为数值计算问题,而数值计算方法是一门与计算机应用紧密结合的、实用性很强的数学课程。 2.1 计算的几种视角 二、逻辑与计算 2.1 计算的几种视角 三、算法与计算 2.1 计算的几种视角 算法:为解决一个特定的问题所采取确定的有限步骤。 计算机用于解决数值计算,如科学计算中的数值积分、解线性方程等计算方法,就是数值计算的算法。 计算机用于解决非数值计算,如用于管理、文字处理、图像图形等的排序、分类和查找,就是非数值计算的算法。 2.2 计算理论 计算理论:关于计算和计算机械的数学理论,它研究计算的过程与功效。 计算理论主要包括算法、算法学、计算复杂性理论、可计算性理论、自动机理论和形式语言理论等等。 2.2 计算理论 一、计算与计算过程 2.2 计算理论 二、可计算性理论 可计算性理论:研究计算的一般性质的数学理论。计算的过程就是执行算法的过程。 2.2 计算理论 1.可计算理论的发展 2.2 计算理论 2.可计算性的定义和特性 2.2 计算理论 3.可计算理论的主要内容 2.2 计算理论 原始递归函数:自变量值和函数值都是自然数的函数,称为数论函数。原始递归函数是数论函数的一部分。 规定:少量直观可计算的函数为原始递归函数,它们是:函数值恒等于0的零函数C0,函数值等于自变量值加1的后继函数S函数值等于第i个自变量值的n元投影函数Pi(n)。 原始递归函数的合成仍是原始递归函数,可以由已知原始递归函数简单递归地计算出函数值的函数仍是原始递归函数。 2.2 计算理论 4.可计算理论的意义 2.2 计算理论 三、停机问题 停机问题是目前逻辑数学的焦点和第三次数学危机的解决方案,它是重要的不可判定问题。 2.2 计算理论 通俗地说,停机问题就是判断任意一个程序是否在有限的时间内结束运行的问题。 2.2 计算理论 停机问题的关键:能否找到一个测试程序,这个测试程序能判定任何一个程序在给定的输入下能否终止。 2.2 计算理论 2.2 计算理论 [例2-1]理发师悖论。一个理发师的招牌:城里所有不自己刮脸的男人都由我给他们刮脸,我也只给这些人刮脸。 问题是:谁给这位理发师刮脸呢?如果他自己刮脸,那他就属于自己刮脸的那类人。但是,他的招牌说明他不给这类人刮脸,因此他不能自己来刮。 如果另外一个人来给他刮脸,那他就是不自己刮脸的人。但是,他的招牌说他要给所有这类人刮脸。因此,其他任何人也不能给他刮脸。 2.2 计算理论 四、计算复杂性理论 计算复杂性理论:用数学方法研究各类问题的计算复杂性的学科。 计算复杂性理论研究各种可计算问题在计算过程中资源(如时间、空间等)的耗费情况,以及在不同计算模型下,使用不同类型资源和不同数量的资源时,各类问题复杂性的本质特性和相互关系。 2.2 计算理论 1.计算复杂性理论的发展 2.2 计算理论 1995年度的图灵奖授予加州大学伯克利分校的计算机科学家Manuel Blum,他是计算复杂性理论的主要奠基人之一。 Blum与前述两人互相独立地进行着相关问题的研究,并完成了他的博士论文:A machine independent theory of the complexity of recursive functions (与机器无关的递归函数复杂性理论),论文提出了有关计算复杂性的4个公理,被称为布卢姆公理系统。目前,可计算理论的绝大部分结果都可以从这个公理系统推导出来。 2.2 计算理论 2.算法复杂性 2.2 计算理论 3.计算复杂性 2.2 计算理论 假设一个问题有两种算法: ①算法复杂性是n3 (0.2s) ②算法复杂性是3n (4*1028s,1千万亿年) (用每秒百万次的计算机,n=60) 2.2 计算理论 4.P=NP?问题 按复杂性把问题分成不同的类。 2.2 计算理论 对于NP来说,一个常见的误解是人们认为NP问题不存在多项式时间解。这是否意味着P=NP呢?或者说,P类集合是否与NP类问题集合完全重合呢?这个问题是21世纪数学界和计算机科学理论界面临的一个重大问题。 2.3 计算模型 计算模型是刻画计算的抽象的形式系统或数学系统。在计算科学中,计算模型是指具有状
您可能关注的文档
- 00054管理学原理 复习题.doc
- 自考2008年4月现代管理学试题与答案.doc
- 人力资源二级简答汇总.doc
- 2011年复旦大学经济学综合基础真题详解.doc
- 09-10二社会保障A.doc
- 2010自考组织行为学试题与答案.doc
- 形势与政策梁帅星解.doc
- 2012年4月份自考《现代管理学》重点.doc
- 第11章 组织心理与管理.ppt
- 全国2008年7月高等教育自学考试现代管理学试题及部分答案.doc
- [专精特新]金华永和氟化工有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]重庆升光电力印务有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]无锡巨力重工股份有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]江西凯安新材料集团股份有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]浙江永昌电气股份有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]苏州中创铝业有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]杭州汽轮铸锻有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]浙江美声智能系统有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]汕头市虹桥包装实业有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]江西亚中电子科技股份有限公司行业竞争力评级分析报告(2023版).pdf
最近下载
- 江苏省2021年中学生生物学奥林匹克初赛理论试题答案.doc
- 2025年哈尔滨应用职业技术学院单招语文测试题库附答案.docx VIP
- 2025年安徽水利水电职业技术学院高职单招职业技能测试近5年常考版参考题库含答案解析.docx
- 【道氏理论】(完全版).doc
- 分娩镇痛的现状和临床应用课件.ppt
- 学科中心教研组管理方案.docx VIP
- 五年级下册数学单元测试-3长方体和正方体 人教版(含答案).docx
- 2024年安徽水利水电职业技术学院单招职业技能测试题库(考试直接用).docx VIP
- 23S516 混凝土排水管道基础及接口图集.docx VIP
- 数控系统(CNC)系列:Fanuc 31i-B_(6).G代码和M代码详解.docx
文档评论(0)