简介：ACM宣布把2008年度的图灵奖颁发给麻省理工学院教授BarbaraLiskov，表彰她在编程语言和系统设计等方面的贡献。Liskov是第．一位获得计算机科学博士学位的女性，但她被人所知往往是因为面向对象设计中一条很重要的原则：Liskov替换原则（LSP），

简介：三人分享图灵奖正当我们忙于抗震救灾和准备奥运的时候，2008年6月21日晚，美国计算机协会（ACM）在旧金山召开了2007年度ACM颁奖盛典。颁布了2007年度图灵奖、ACMInfosys基金会奖以及人工智能、软件系统、计算机理论与实践、计算科学与工程等领域的多个奖项。

简介：图灵，英国数学家、数理逻辑学家、计算机科学家。

简介：月球背面靠近中心处有一座名为代达罗斯的环形山，山体呈匀称的圆形，轮廓分明。20世纪中叶之前，还没有人知晓它的存在。那个地方是你从地球出发所能到达的最为遥远、同时基本上也是最为宁静的—块月球领土了。

简介：

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

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

简介：今天，我们可以很方便地利用计算机查询地图，收看视频，甚至帮你找出问题的答案。计算机几乎无所不能，是我们生活中不可或缺的伙伴，它为什么这么厉害呢？这一切都要归功于一个伟大的数学家——艾伦·图灵。

简介：

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

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

简介：

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

简介：以知识自动化为研究对象,研究适合流程行业的知识自动化技术,提出了一种实现智能化的理论架构。实践表明,用实时数据库等多种数据库构建数据池,在深入挖掘数据价值的目标下,通过灵活运用知识自动化三种手段可有效实现流程行业知识自动化,提高流程行业数据的价值。运用函数式编程思维,知识自动化实现过程中知识价值损失率很小。这条实现路径既有效地实现了知识的沉淀和复用,又有效地确保了知识应用的科学性,从而构建出高可用、高可靠、高价值的行业知识系统。

简介：这组数字虽然非常“养眼”，但也挺无聊的，并没有派上大用场。不过在发现这组数式后，英国科学家LenFisher被授予了“搞笑诺贝尔奖”（IGNobelPrizes）。

简介：学生的一句实话,揭穿了一种骗局;儿子的一片孝心,酿成了一份痛心。一个"文学奖",害死一个一生正直、诚实的老人……

简介：雨果奖，是每年为那些最佳科幻小说或者奇幻作品以及上一年度的突出成就颁发的一系列奖项。该奖项以”雨果·根斯巴克”的名字命名，是为了纪念这位“科幻杂志之父”——他是第一本真正的科幻杂志《惊奇故事》的创办人。

简介：爱因斯坦曾说：“只有宇宙和人类的愚昧这两样东西是没有穷尽的，而我不敢肯定前者是否如此。”(Onlytwothingsareinfinite．theuniverseandhumanstupidity，andI'mnotsureabouttheformer．

简介：一年一度的评优评先工作，无法像过秤那样做到公平准确，但管理者必须出以公心，把握公正的原则。因为，人需要一种分配上的（包括评奖评优等）公平感。公平感是影响人积极性的普遍心理现象。一般说来，把握公平的要点在于：出以公心，从实际情况出发，按程序办事。但除此...

简介：摘要图灵奖是计算机界的最高荣誉，有“计算机诺贝尔奖”之称。根据1966年2009年历届图灵奖获奖者的相关统计资料，从获奖内容、创新角度、研究领域、年龄分布、兴趣爱好等方面对图灵奖获得者进行分析。认为图灵奖注重原始理论创新和学科交叉，具有科研优势积累现象和中青年现象，是团队合作精神的体现。最后，为计算机科技者进行科学技术创新提供一些建议。