学科分类
/ 2
28 个结果
  • 简介:定义在全体实数上的可计算函数是一个很重要的概念.在这以前定义可计算的实数函数有两个途径.第一个途径是首先要定义可计算实数的指标.想要确定实数函数y=f(x)是不是可以计算就要看是否存在一个自然数的(部分)递归函数将可计算实数x的指标对应到可计算实数y的指标.这样一来对实数函数的研究依赖于对自然数函数的研究.第二个定义可计算的实数函数的途径是以逼近为基础的.一个实数函数是可以计算的如果它既是序列可计算的同时也是一致连续的.用这个途径来定义可计算实数函数使用的条件过强以至于很多有用的实数函数成为不可计算的实数函数.例如“〈”和“=”的命题函数就是不可以计算的因为它们是不连续的命题函数.本文讨论了图灵的稳定性并且给出了一个基于稳定图灵的可计算实数函数的定义.我们的定义不需要用到自然数的(部分)递归函数.根据我们的定义很多常用实数函数特别是一些不连续的常用实数函数都是可以计算的.用我们的定义来讨论可计算实数函数的性质比原来的定义要方便得多.

  • 标签: 可计算实数函数 稳定性 图灵机
  • 简介:利用系统生物学原理和计算机理论,研究HIV的结构和生命周期。扩展通用图灵模型是一种计算机模型,使用这种模型描述HIV的结构和生命周期,能够将计算机与HIV结合起来,将生物化学反应过程转化为计算机运算模拟过程,从而简化了生物化学实验,减短实验周期。基于扩展通用图灵的HIV描述不仅能够反映HIV的结构和生命周期,而且更加突出了HIV的感染特性。

  • 标签: HIV 结构 生命周期 扩展通用图灵机
  • 简介:图灵著名的“通用机”的属性长期以来支撑着关于认知本质的功能主义直觉。克里斯·伊利亚史密斯认为,对可多样实现性的标准的功能主义论证有一个逻辑问题。这些论证实质上都依赖于图灵对计算的强有力的洞察。在处理了对这一批评的一种可能的答复之后,克里斯·伊利亚史密斯进一步论证了功能主义不是理解什么是具有心灵的一种有效途径。特别是他证明了在区别执行和功能时所涉及的难题会使可多样实现性无法检验,难以提供新的信息。因此,可以得出结论:图灵在心灵哲学中的作用还需重新考虑。

  • 标签: 图灵机 功能主义 可多样实现性 计算的等价 心灵哲学 柯尔莫哥洛夫
  • 简介:月球背面靠近中心处有一座名为代达罗斯的环形山,山体呈匀称的圆形,轮廓分明。20世纪中叶之前,还没有人知晓它的存在。那个地方是你从地球出发所能到达的最为遥远、同时基本上也是最为宁静的—块月球领土了。

  • 标签: 苹果 图灵 环形山 月球 山体 地球
  • 简介:

  • 标签:
  • 简介:如果电脑没有合适的,这些问题以及质问者收到的回答,自愿者真实地回答问题并试图说服质问者

  • 标签: 图灵试验
  • 简介:<正>第二次世界大战期间,纳粹德国对欧洲各国发动了一次又一次的突然袭击、隐秘轰炸、潜艇偷袭,让盟军苦不堪言。如果能破译德军的密电,提前知道他们的行动计划,许多无辜的生命就能得到拯救。可是在当时,几乎所有的人部认为,破译德军的密码是不可能的……精英的聚会1939年9月4日,第二次世界大战爆发后的第3天,位于伦敦西北的布莱奇利无线广播公司里,一次秘密会议正在进行。

  • 标签: 图灵 纳粹德国 奇利 布莱 无线广播 乱码
  • 简介:今天,我们可以很方便地利用计算机查询地图,收看视频,甚至帮你找出问题的答案。计算机几乎无所不能,是我们生活中不可或缺的伙伴,它为什么这么厉害呢?这一切都要归功于一个伟大的数学家——艾伦·图灵

  • 标签: 初等教育 智力游戏 游戏方法 游戏规则 数学
  • 简介:ACM宣布把2008年度的图灵奖颁发给麻省理工学院教授BarbaraLiskov,表彰她在编程语言和系统设计等方面的贡献。Liskov是第.一位获得计算机科学博士学位的女性,但她被人所知往往是因为面向对象设计中一条很重要的原则:Liskov替换原则(LSP),

  • 标签: 图灵奖 面向对象设计 麻省理工学院 计算机科学 编程语言 博士学位
  • 简介:贵刊2017年8月下期18页刊登了王建荣和刘沙西两个老师的文章《剖析一道几何题》,通过作平行线,得出了结论,其实,这样的解法看起来巧妙,实绕一大弯.这里给出一个更直接的证明方法.题目P是平行四边形ABCD中的任意一点.求证:S_(△ABP)=S_(△APD)+S_(△ACP).从图上可以看出:S_(△ABP)+S_(△CPD)=(1/2)S_(平行四边形ABCD);S_(△APD)+S_(△ACP)+S_(△CPD)=(1/2)S_(平行四边形ABCD).

  • 标签: 平行四边形 灵机 证明方法 几何题 平行线 文章
  • 简介:三人分享图灵奖正当我们忙于抗震救灾和准备奥运的时候,2008年6月21日晚,美国计算机协会(ACM)在旧金山召开了2007年度ACM颁奖盛典。颁布了2007年度图灵奖、ACMInfosys基金会奖以及人工智能、软件系统、计算机理论与实践、计算科学与工程等领域的多个奖项。

  • 标签: 图灵奖 验证技术 计算机理论 抗震救灾 人工智能 软件系统
  • 简介:数学是思维的体操,很多数学问题的解答往往就闪现在你的灵机一动之中.“灵机一动”是“每天好玩的数学”公众号中的一个趣题栏目,栏目精选数学中的好题、趣题,以及最能锻炼数学思维的题呈现给大家,希望给你带来思考的乐趣.

  • 标签: 趣题 灵机 数学问题 选登 数学思维 栏目
  • 简介:<正>古时有位北方商人到南方贩茶叶,当他历尽艰辛到达目的地时,当地茶叶早已被其他商人抢购一空。情急之中,他突然心生一计,将当地用来盛茶叶的篾箩筐全部买下,当其他商人准备将所购茶叶运

  • 标签: 刘乙 山重水复疑无路 滞销书 蓦然回首 又一村 一本
  • 简介:

  • 标签:
  • 简介:古时,有位北方商人到南方贩茶叶,当他历尽艰辛到达目的地时,当地的茶叶早已被其他商人抢购一空。情急之下,他突然心生一计,将当地用来盛茶叶的萝筐全部买下。当其他商人准备将所购茶叶运回时,才发现已无箩筐可买!

  • 标签: 灵机 茶叶 商人 目的地 抢购