比浏览器更快的访问！
121 关系: ALGOL 60，埃德加·科德，史蒂芬·库克，大衛·帕特森 (學者)，奧利-約翰·達爾，姚期智，威廉·卡韓，密码学，尤里斯·哈特马尼斯，尼克劳斯·维尔特，巴特勒·蘭普森，丹尼斯·里奇，希爾維奧·米卡利，布萊切利園，万维网，京都獎，人工智能，库，延遲存儲電子自動計算器，伊凡·蘇澤蘭，伦纳德·阿德曼，伪随机数，彼得·諾爾，佛瑞德·布魯克斯，唐獎，公开密钥加密，关系数据库，克利斯登·奈加特，C语言，理查德·卡普，理查德·衛斯里·漢明，理查德·斯特恩斯，程序设计，精简指令集，約翰·巴科斯，約翰·科克，約翰·軒尼詩，約翰·霍普克洛夫特，編譯器，约翰·麦卡锡，约瑟夫·斯发基斯，编程语言，罗宾·米尔纳，罗伯特·卡恩，罗伯特·弗洛伊德，罗纳德·李维斯特，美元，美国，羅伯特·塔揚，爱德蒙·克拉克，...，相容分時系統，EDSAC 2，芭芭拉·利斯科夫，莎菲·戈德瓦塞尔，莫里斯·威尔克斯，莱斯利·瓦利安特，道格拉斯·恩格尔巴特，菲尔兹奖，面向对象程序设计，馬丁·赫爾曼，計算複雜性理論，马文·闵斯基，詹姆斯·尼古拉·格雷，詹姆斯·哈迪·威尔金森，高德纳，高松宮殿下紀念世界文化獎，计算理论，计算机协会，计算机图形学，计算机科学，计算机系统结构，诺贝尔奖，費南多·柯巴托，软件工程，达纳·斯科特，迪菲-赫爾曼密鑰交換，迈克尔·斯通布雷克，迈克尔·拉宾，阿米尔·伯努利，阿贝尔奖，阿迪·萨莫尔，蘋果日報 (台灣)，赫伯特·西蒙，蒂姆·伯纳斯-李，肯尼斯·艾佛森，肯·汤普逊，邵逸夫獎，艾伦·佩利，艾伦·凯，艾伦·图灵，艾伦·纽厄尔，艾伦·爱默生，艾兹格·迪科斯彻，英特尔，電子計算機，電腦科學家，Google，IEEE榮譽獎章，ML语言，Multics，NP完全，RSA加密演算法，TCP/IP，UNIX，查尔斯·巴赫曼，查尔斯·萨克尔，搞笑諾貝爾獎，東尼·霍爾，概率论，沃尔夫奖，法兰·艾伦，朱迪亚·珀尔，惠特菲爾德·迪菲，浏览器，文頓·瑟夫，时序逻辑电路，操作系统，愛德華·費根鮑姆，数值分析，拉吉·瑞迪，曼纽尔·布卢姆。 扩展索引 (71 更多) »
ALGOL 60
ALGOL 60（源自ALGOrithmic Language 1960的縮寫），一種程式語言，是ALGOL語言家族中的成員之一。根據ALGOL 58的基礎，它在1960年被創造，並影響到其後的CPL、BCPL、B語言、Pascal、Simula、C語言，在程式語言中有著很大的影響力。 它的後繼者是ALGOL 68與ALGOL W。.
新！!: 图灵奖和ALGOL 60 · 查看更多 »
埃德加·科德
埃德加·弗兰克·科德（Edgar Frank Codd， ） ，小名泰德·科德（Ted Codd），生于英国英格兰多塞特郡的波特兰，计算机科学家。他为关系型数据库理论做出了奠基性的贡献。他在IBM工作期间，首创了关系模型理论。他一生中为计算机科学做出了很多有价值的贡献，而关系模型，作为一个在数据库管理方面非常具有影响力的基础理论，仍然被认为是他最引人瞩目的成就。.
新！!: 图灵奖和埃德加·科德 · 查看更多 »
史蒂芬·库克
史蒂芬·亞瑟·库克（Stephen Arthur Cook，，計算機科學家，計算複雜性理論的重要研究者。 1971年，在他的論文《The Complexity of Theorem Proving Procedures》，他整理了NP完備性的目標，亦產生了库克定理——布爾可滿足性問題是NP完備的證明。 1982年，库克获得图灵奖。因為其論文開啟了NP完備性的研究，令這個领域於之後的十年成為計算機科學中最活躍和重要的研究。 库克現為多倫多大學的計算機科學和數學系教授。.
新！!: 图灵奖和史蒂芬·库克 · 查看更多 »
大衛·帕特森 (學者)
大衛·帕特森（David Andrew Patterson，）是一名美國的電腦科學家，電腦科學界的先驅人物，柏克萊加州大學的電腦科學教授，谷歌公司杰出工程师。 帕特森發明了一系列重要技術，包括精簡指令集，RAID與計算機叢集。他是計算機協會（ACM）與電機電子工程師學會（IEEE）院士（Fellow），並曾任ACM主席一職。 1969年，从加州大学洛杉矶分校获数学学士学位。1970年和1976年，从加州大学洛杉矶分校分别获得计算机硕士和博士学位。 1976年，博士博士毕业后，加入加州大学伯克利分校计算机系。 1994年，当选美国计算机协会会士（ACM Fellow）。 2004年至2006年，任美国计算机协会主席。 2016年，从加州大学伯克利分校退休，作为杰出工程师加入谷歌。 2018年3月，由于“开创了一种系统的、定量的方法来设计和评价计算机体系结构，并对微处理器行业产生了持久的影响”，和約翰·軒尼詩一起获得2017年度的图灵奖。.
新！!: 图灵奖和大衛·帕特森 (學者) · 查看更多 »
奧利-約翰·達爾
奧利-約翰·達爾（Ole-Johan Dahl，），生於挪威曼達爾，著名電腦科學家，與克利斯登·奈加特共同創造了Simula，被認為是物件導向之父。因此貢獻，他與克利斯登·奈加特共同獲得2001年圖靈獎與2002年约翰·冯诺依曼奖。.
新！!: 图灵奖和奧利-約翰·達爾 · 查看更多 »
姚期智
姚期智（），中国计算机科学家，2000年图灵奖得主，是目前唯一一位获得此奖项的华人。他目前是北京清华大学理论计算机科学研究中心主任兼教授、香港中文大學博文講座教授、新竹國立清華大學榮譽講座，以及國立臺灣大學特聘研究講座。.
威廉·卡韓
威廉·墨頓·卡韓（William Morton Kahan，），生於加拿大安大略多倫多，數學家與計算機科學家，專長於數值分析。1989年圖靈獎得主，1994年被提名為ACM院士。現為加州大學柏克萊分校計算機科學名譽教授。卡韓是IEEE 754-1985浮點數運算架構規格書的主要架構師，IEEE 754系列的標準主要依據他的研究而制定，因此被稱為浮點數之父。.
密码学
密碼學（Cryptography）可分为古典密码学和现代密码学。在西欧語文中，密码学一词源於希臘語kryptós“隱藏的”，和gráphein“書寫”。古典密码学主要关注信息的保密书写和传递，以及与其相对应的破译方法。而现代密码学不只关注信息保密问题，还同时涉及信息完整性验证（消息验证码）、信息发布的不可抵赖性（数字签名）、以及在分布式计算中产生的来源于内部和外部的攻击的所有信息安全问题。古典密码学与现代密码学的重要区别在于，古典密码学的编码和破译通常依赖于设计者和敌手的创造力与技巧，作为一种实用性艺术存在，并没有对于密码学原件的清晰定义。而现代密码学则起源于20世纪末出现的大量相关理论，这些理论使得现代密码学成为了一种可以系统而严格地学习的科学。 密码学是数学和计算机科学的分支，同时其原理大量涉及信息论。著名的密碼學者罗纳德·李维斯特解釋道：「密碼學是關於如何在敵人存在的環境中通訊」，自工程學的角度，這相當于密碼學與純數學的差异。密碼學的发展促進了计算机科学，特別是在於電腦與網路安全所使用的技術，如存取控制與資訊的機密性。密碼學已被應用在日常生活：包括自动柜员机的晶片卡、電腦使用者存取密碼、電子商務等等。.
尤里斯·哈特马尼斯
尤里斯·哈特马尼斯 （Juris Hartmanis，）是一名美国杰出的理论计算机科学家。康奈尔大學计算机科学的一名教授。.
新！!: 图灵奖和尤里斯·哈特马尼斯 · 查看更多 »
尼克劳斯·维尔特
尼克劳斯·埃米尔·维尔特（Niklaus Emil Wirth，），生於瑞士溫特圖爾，是瑞士計算機科學家。 從1963年到1967年，他成為斯坦福大学的計算機科學部助理教授，之後又在苏黎世大学擔當相同的職位。1968年，他成為苏黎世联邦理工学院的信息学教授，又往施乐帕洛阿尔托研究中心進修了兩年。 他是好幾种編程語言的主設計師：.
新！!: 图灵奖和尼克劳斯·维尔特 · 查看更多 »
巴特勒·蘭普森
巴特勒·萊特·蘭普森（Butler Wright Lampson，），生於美國華盛頓特區，電腦科學家，為1992年圖靈獎得主。曾提出個人電腦的設計概念，存取控制矩陣也是由他提出。.
新！!: 图灵奖和巴特勒·蘭普森 · 查看更多 »
丹尼斯·里奇
丹尼斯·麦卡利斯泰尔·里奇（Dennis MacAlistair Ritchie，），美國計算機科學家。駭客圈子通常稱他為「dmr」。他是C語言的創造者、Unix作業系統的關鍵開發者 ，對電腦領域產生了深遠影響，並與肯·湯普遜同為1983年圖靈獎得主。.
新！!: 图灵奖和丹尼斯·里奇 · 查看更多 »
希爾維奧·米卡利
希爾維奧·米卡利 （Silvio Micali，），出生于意大利帕勒莫，现在在麻省理工學院電腦科學和人工智能实验室任职的计算机科学家。从1983年起，他是麻省理工學院电子工程和计算机科学部门的一名计算机科学教授，主要研究密码学和信息安全的理论。.
新！!: 图灵奖和希爾維奧·米卡利 · 查看更多 »
布萊切利園
布萊切利園（Bletchley Park），又稱X電台（Station X），是一座位於英格蘭米尔顿凯恩斯布萊切利鎮內的宅第。在第二次世界大戰期間，布萊切利園曾經是英國政府進行密碼解讀的主要地方，軸心國的密碼與密碼文件，如恩尼格瑪密碼機等，一般都會送到那裡進行解碼。自恩尼格瑪密碼機被破解後，布萊切利園所收集到的軍事情報一概被代號為ULTRA；儘管現今有部份人對這些情報的功用提出質疑，但普遍認為，ULTRA除幫助了盟軍外，還提早結束戰爭。 布萊切利園已為一所向公眾開放的博物館。.
万维网
万维网（World Wide Web），亦作「WWW」、「Web」，是一个由许多互相链接的超文本组成的系统，通过互联网访问。英國科學家蒂姆·伯纳斯-李於1989年發明了萬維網。1990年他在瑞士CERN的工作期間編寫了第一個網頁瀏覽器。網頁瀏覽器於1991年在CERN向外界發表，1991年1月開始發展到其他研究機構，1991年8月在互聯網上向公眾開放。 萬維網是資訊時代發展的核心，也是數十億人在網際網路上進行互動的主要工具。網頁主要是文本文件格式化和超文件標示語言（HTML）。除了格式化文字之外，網頁還可能包含圖片、影片、聲音和軟體元件，這些元件會在使用者的網頁瀏覽器中呈現為多媒體內容的連貫頁面。 萬維網並不等同網際網路，萬維網只是網際網路所能提供的服務其中之一，是靠着網際網路運行的一項服務。.
京都獎
京都獎（日語：京都賞）是一個頒發給在科學、技術、文化等領域有重大貢獻的國際獎項，從1984年開始頒發，包含尖端科技部門（Kyoto Prize in Advanced Technology）、基礎科學部門、思想・藝術部門等三個領域，各領域下再各細分為四種分野，每年輪流頒發一種獎項。稻盛和夫設立的財團法人稻盛基金會負責頒發京都獎。.
人工智能
人工智能（Artificial Intelligence, AI）亦稱機器智能，是指由人製造出來的機器所表現出來的智能。通常人工智能是指通過普通電腦程式的手段實現的人類智能技術。該詞也指出研究這樣的智能系統是否能夠實現，以及如何實現科學領域。同時如此，人類的數量開始收斂及功能逐漸被其取代。 一般教材中的定义领域是“智能主体（intelligent agent）的研究与设计”，智能主体是指一个可以观察周遭环境并作出行动以达致目标的系统。约翰·麦卡锡于1955年的定义是「制造智能机器的科学与工程。」 人工智能的研究是高度技术性和专业的，各分支领域都是深入且各不相通的，因而涉及範圍極廣。人工智能的研究可以分为几个技术问题。其分支领域主要集中在解决具体问题，其中之一是，如何使用各种不同的工具完成特定的应用程序。 AI的核心问题包括建構能夠跟人類似甚至超越的推理、知识、规划、学习、交流、感知、移动和操作物体的能力等。強人工智能目前仍然是该领域的长远目标。目前強人工智慧已經有初步成果，甚至在一些影像辨識、語言分析、棋類遊戲等等單方面的能力達到了超越人類的水平，而且人工智慧的通用性代表著，能解決上述的問題的是一樣的AI程式，無須重新開發算法就可以直接使用現有的AI完成任務，與人類的處理能力相同，但達到具備思考能力的統合強人工智慧還需要時間研究，比较流行的方法包括统计方法，计算智能和传统意义的AI。目前有大量的工具应用了人工智能，其中包括搜索和数学优化、逻辑推演。而基於仿生學、認知心理學，以及基于概率论和经济学的演算法等等也在逐步探索當中。.
库
库是貯存物品的地方，如倉庫、金庫等，也可以指：.
延遲存儲電子自動計算器
电子延迟存储自动计算器（英文：Electronic Delay Storage Auto-matic Calculator、EDSAC）是英国的早期计算机。1946年,英国剑桥大学数学实验室的莫里斯·威尔克斯教授和他的团队受冯·诺伊曼的First Draft of a Report on the EDVAC的启发，以EDVAC为蓝本，设计和建造EDSAC，1949年5月6日正式运行，是世界上第一台实际运行的存储程序式电子计算机。 项目的投资方是英国的J.
新！!: 图灵奖和延遲存儲電子自動計算器 · 查看更多 »
伊凡·蘇澤蘭
伊凡·愛德華·蘇澤蘭（Ivan Edward Sutherland，），生於美國內布拉斯加州黑斯廷斯，計算機科學家，因發明Sketchpad，拓展了計算機圖形學的領域，為1988年圖靈獎得主。.
新！!: 图灵奖和伊凡·蘇澤蘭 · 查看更多 »
伦纳德·阿德曼
倫納德·邁斯·艾得曼（Leonard Max Adleman，）是一名美国理論計算機科學家和南加州大学计算机科学家和分子生物学教授。1977年，他与罗纳德·李维斯特和阿迪·萨莫尔一起发明了RSA加密演算法和DNA运算而知名。RSA被广泛使用在计算机安全应用上，包括https。2002年，他与罗纳德·李维斯特和阿迪·萨莫尔一起因在公钥密码学RSA加密演算法取得的杰出贡献而获得图灵奖。 他出生於美國加利福尼亞州，在舊金山長大，就讀柏克萊加州大學，並在那裡取得了他的數學學士學位，1968年碩士學位，於1976年EECS博士。他 1994年，他的論文《分子計算應用於解決組合問題》中，描述實驗使用 DNA 作為一個計算系統。利用此系統，他解決了一個七節點的哈密頓圖問題，一個類似旅行推銷員問題的NP完全問題。 雖然解決了七個節點的實例是微不足道的，但該論文是第一個已知「利用DNA來作計算」的成功實例。DNA計算現已被證明為有潛力的計算方式，可以解決其他幾個大型組合搜索問題。 2002年，他和他的研究小組成功地利用DNA計算解決了“平凡”的問題。具體來說，他們解決了20個變量的 SAT 問題，約有100多萬潛在的解決方案。 2006年，阿德曼是美国文理科学院院士。.
新！!: 图灵奖和伦纳德·阿德曼 · 查看更多 »
伪随机数
#重定向 伪随机性.
彼得·諾爾
彼得·諾爾（Peter Naur，），生於丹麥腓特烈斯贝，天文學家與計算機科學家，曾任哥本哈根大學教授。他開發了BNF範式，改進了程式語言。也曾投入 ALGOL 60的開發工作，在軟體工程及軟體架構領域中都有著重要貢獻。為2005年圖靈獎得主，也是目前唯一一位丹麥籍的得主。.
佛瑞德·布魯克斯
小弗雷德雷克·菲利普斯·「佛瑞德」·布魯克斯（Frederick Phillips "Fred" Brooks, Jr，），又譯為弗雷德里克·布鲁克斯，生於美国北卡羅來納州德罕，美国軟體工程師、學者，曾任IBM系统部主任，主持开发过OS/360等大型电脑（计算机）用的操作系统软体。 后来，布鲁克斯离开IBM公司，任教於北卡羅萊納大學教堂山分校，擔任計算機科學Kenan講座教授，并著书立说。他所著的《人月神話》一書，被視為是軟體工程的重要書籍之一。為1999年圖靈獎得主。.
新！!: 图灵奖和佛瑞德·布魯克斯 · 查看更多 »
唐獎
唐獎（Tang Prize），由臺灣企業家尹衍樑個人效法諾貝爾獎精神捐助成立，發揚盛唐精神。設置四大獎項包括「永續發展」、「生技醫藥」、「漢學」與「法治」，每兩年一屆，首屆獲獎名單於2014年6月18日（唐朝開國日為6月18日）公布，首屆頒獎典禮於2014年9月18日在國立國父紀念館舉行。獎金為新臺幣5千萬元，当时约合165万美元，曾是全球獎金最高的學術獎。 中央研究院前院長翁啟惠認為唐獎是臺灣第一座真正的國際級大獎，臺灣主流媒體則以「東方諾貝爾獎」期許目標來報導此獎。.
公开密钥加密
公开密钥加密（Public-key cryptography），也称为非对称加密（asymmetric cryptography），是密碼學的一種演算法，它需要兩個密钥，一個是公開密鑰，另一個是私有密鑰；一個用作加密的時候，另一個則用作解密。使用其中一個密钥把明文加密后所得的密文，只能用相對應的另一個密钥才能解密得到原本的明文；甚至連最初用來加密的密鑰也不能用作解密。由於加密和解密需要兩個不同的密鑰，故被稱為非對稱加密；不同於加密和解密都使用同一個密鑰的對稱加密。雖然兩個密鑰在数学上相关，但如果知道了其中一个，并不能憑此计算出另外一个；因此其中一个可以公开，称为公钥，任意向外發佈；不公开的密钥为私钥，必須由用戶自行嚴格秘密保管，絕不透過任何途徑向任何人提供，也不會透露給要通訊的另一方，即使他被信任。 基於公開密鑰加密的特性，它還提供數位簽章的功能，使電子文件可以得到如同在紙本文件上親筆簽署的效果。 公開金鑰基礎建設透過信任数字证书认证机构的根证书、及其使用公开密钥加密作數位簽章核發的公開金鑰認證，形成信任鏈架構，已在TLS實作並在万维网的HTTP以HTTPS、在电子邮件的SMTP以STARTTLS引入。 另一方面，信任網絡則採用去中心化的概念，取代了依賴數字證書認證機構的公鑰基礎設施，因為每一張電子證書在信任鏈中最終只由一個根證書授權信任，信任網絡的公鑰則可以累積多個用戶的信任。PGP就是其中一個例子。.
新！!: 图灵奖和公开密钥加密 · 查看更多 »
关系数据库
关系数据库（Relational database），是建立在关系模型基础上的数据库，借助于集合代数等数学概念和方法来处理数据库中的数据。现实世界中的各种实体以及实体之间的各种联系均用关系模型来表示。关系模型是由埃德加·科德于1970年首先提出的，並配合“科德十二定律”。现如今虽然对此模型有一些批评意见，但它还是数据存储的传统标准。标准数据查询语言SQL就是一种基于关系数据库的语言，这种语言执行对关系数据库中数据的检索和操作。 关系模型由关系数据结构、关系操作集合、关系完整性约束三部分组成。.
克利斯登·奈加特
克利斯登·奈加特（Kristen Nygaard，），挪威计算机科学家，社会活动家，图灵奖和冯·诺伊曼奖获得者，Simula的创始人，面向对象技术的先驱。.
新！!: 图灵奖和克利斯登·奈加特 · 查看更多 »
C语言
C是一种通用的程式語言，广泛用于系统软件与应用软件的开发。于1969年至1973年間，為了移植與開發UNIX作業系統，由丹尼斯·里奇與肯·汤普逊，以B语言为基础，在贝尔实验室設計、开发出來。 C语言具有高效、灵活、功能丰富、表达力强和較高的可移植性等特点，在程式設計中备受青睐，成为最近25年使用最为广泛的编程语言。目前，C语言編譯器普遍存在於各種不同的操作系统中，例如Microsoft Windows、macOS、Linux、Unix等。C語言的設計影響了众多後來的程式語言，例如C++、Objective-C、Java、C#等。 二十世纪八十年代，為了避免各開發廠商用的C語言語法產生差異，由美國國家標準局為C語言訂定了一套完整的國際標準語法，稱為ANSI C，作為C語言的標準。二十世纪八十年代至今的有关程式開發工具，一般都支持符合ANSI C的語法。.
理查德·卡普
查德·曼寧·卡普（Richard Manning Karp，），計算機科學家以及計算理論家。為柏克萊加州大學教授，在演算法理論方面有卓越的貢獻，因此獲得1985年的圖靈獎，2004年的本杰明·富兰克林奖章，2008年的京都賞（Kyoto Prize）。.
新！!: 图灵奖和理查德·卡普 · 查看更多 »
理查德·衛斯里·漢明
查德·衛斯里·漢明（Richard Wesley Hamming，），美国數學家，主要貢獻在計算機科學和電訊。.
新！!: 图灵奖和理查德·衛斯里·漢明 · 查看更多 »
理查德·斯特恩斯
查德·斯特恩斯 （Richard Edwin Stearns，）是一名美国杰出的计算机科学家。他是紐約州立大學奧本尼分校计算机科学的一名教授。1993年，他与尤里斯·哈特马尼斯一起因在計算複雜性理論取得的杰出贡献而获得图灵奖。.
新！!: 图灵奖和理查德·斯特恩斯 · 查看更多 »
程序设计
电脑程序设计（Computer programming），或稱程式設計（programming），是给出解决特定问题程序的过程，軟體開發過程中的重要步驟。程序设计往往以某种程序设计语言为工具，给出这种语言下的程序。程序设计过程应包括分析、设计、编碼、测试、除错等不同阶段。 在计算机技术发展的早期，軟體開發主要就是程序设计。但随着技术的发展，软件系统越来越复杂，逐渐分化出许多专用的软件系统，如操作系统、数据库系统、应用服务器，而且这些专用的软件系统愈来愈成为普遍的系統環境的一部分。这种情况下軟體開發的内容越来越丰富，不再只是纯粹的程序设计，还包括数据库设计、用户界面设计、通信协议设计和复杂的系统配置过程。 专业的程序设计人员被称为程序员。某种意思上，程序设计的出现甚至早于电子计算机的出现。英国著名诗人拜伦的女儿愛達·勒芙蕾絲曾设计了巴贝奇分析机上計算伯努利數的一个程序。她甚至还建立了循环和子程序的概念。由于她在程序设计上的突破性創新，愛達·勒芙蕾絲被称为世界上第一位程序员。 任何设计工作都是在各种条件限制和相互矛盾的需求之间寻求一种平衡。這種觀點反映在程式設計上，就是硬體儲存空間與程式執行時間的限制。 空間方面，在计算机技术发展的早期，由于机器资源比较昂贵，如何縮小儲存空間往往是设计关心的首要重點；而随着硬件技术的飞速发展，電腦上資料儲存媒體的價格降低，空間不再是考慮的第一要點，一些較耗時的運算也漸漸發展出以空間換取時間的模式。 時間方面，在早期，如何加強程式效率、縮短程式執行時間是程式設計師的共同目標；而在硬體效能進步、效率差距縮小，软件规模與複雜度卻日益增加的現在，程序的结构、可维护性、重複使用性、彈性等因素更顯得重要。在多人合作的程式設計專案裡，程式設計師們會加上各種註解以協助其他參與者理解程式碼，，但卻因能達到較好的溝通並提高程式碼的可維護性，而成為目前的主流。 然而，隨著智慧型手機等攜帶裝置的興起，執行時間的縮短與儲存空間的有效運用再次成為焦點，形成與主機伺服器類型應用程式不同的重點考慮方向。.
精简指令集
精简指令集计算（reduced instruction set computing，缩写：RISC）或简译为精简指令集，是计算机中央處理器的一种设计模式。这种设计思路可以想像成是一家流水線工廠，对指令数目和寻址方式都做了精简，使其实现更容易，指令并行执行程度更好，编译器的效率更高。目前常見的精簡指令集微處理器包括DEC Alpha、ARC、ARM、AVR、MIPS、PA-RISC、Power Architecture（包括PowerPC、PowerXCell）和SPARC等。.
約翰·巴科斯
約翰·華納·巴科斯（John Warner Backus，），美國計算機科學家，是早期高階語言（High-level Language）FORTRAN的發明小組組長。他提出了BNF（用來定義形式語言語法的記號法），發明了概念及實踐該概念的。為1977年圖靈獎得主。.
新！!: 图灵奖和約翰·巴科斯 · 查看更多 »
約翰·科克
約翰·科克（John Cocke，），又譯為約翰·考克、約翰·寇克，生於美國北卡羅來納州夏洛特，計算機科學家，在電腦架構及編譯器最佳化技術方面有重大貢獻，因此獲得圖靈獎。曾提出CYK算法。在他主導的IBM 801計劃中，首次採用RISC架構，因此被稱為RISC架構之父。.
約翰·軒尼詩
-- 約翰·雷洛伊·軒尼詩（John LeRoy Hennessy，），美國電腦科學家。為MIPS科技公司創辦人，第十任史丹福大學校長和Alphabet董事会主席。马克·安德森称他是“硅谷教父”.
新！!: 图灵奖和約翰·軒尼詩 · 查看更多 »
約翰·霍普克洛夫特
約翰·愛德華·霍普克洛夫特（John Edward Hopcroft，），生於美國華盛頓州西雅圖市，理論計算機科學家，為1986年圖靈獎得主。在形式語言，計算理論及数据结构領域中，由他寫作的教科書，被認為是經典著作。.
新！!: 图灵奖和約翰·霍普克洛夫特 · 查看更多 »
編譯器
编译器（compiler），是一種電腦程式，它會將用某種程式語言寫成的原始碼（原始語言），轉換成另一種程式語言（目標語言）。 它主要的目的是將便于人编写、阅读、维护的高级计算机语言所寫作的原始碼程式，翻译为计算机能解读、运行的低阶机器语言的程序，也就是執行檔。编译器将原始程序（source program）作为输入，翻译产生使用目标语言（target language）的等价程序。源代码一般为高阶语言（High-level language），如Pascal、C、C++、C# 、Java等，而目标语言则是汇编语言或目标机器的目标代码（Object code），有时也称作机器代码（Machine code）。 一个现代编译器的主要工作流程如下： 源代码（source code）→ 预处理器（preprocessor）→ 编译器（compiler）→ 汇编程序（assembler）→ 目标代码（object code）→ 链接器（Linker）→ 執行檔（executables）， 最後打包好的檔案就可以給電腦去判讀執行了。.
约翰·麦卡锡
约翰·麦卡锡（John McCarthy，），生于美国马萨诸塞州波士顿，计算机科学家。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上，正是他在1956年的达特矛斯会议上提出了“人工智能”这个概念。.
新！!: 图灵奖和约翰·麦卡锡 · 查看更多 »
约瑟夫·斯发基斯
约瑟夫·斯发基斯（Joseph Sifakis，Ιωσήφ Σηφάκης，）是一名希腊计算机科学家和他也有法国国籍, Evangélia Moussouri, in Écarts d'identités n⁰95-96, ISSN 1252-6665, reprinting information from an interview of Joseph Sifakis in Des grecs, les grecs de Grenoble, Musée Dauphinois, ISBN 2-905375-08-6 。2007年，他与爱德蒙·克拉克和艾伦·爱默生一起因在:en:Model checking取得的杰出贡献而获得图灵奖。.
新！!: 图灵奖和约瑟夫·斯发基斯 · 查看更多 »
编程语言
编程语言（programming language），是用来定义计算机程序的形式語言。它是一种被标准化的交流技巧，用来向计算机发出指令。一种计算机语言让程序员能够准确地定义计算机所需要使用的数据，并精确地定义在不同情况下所应当采取的行动。 最早的编程语言是在電腦發明之前產生的，當時是用來控制及自動演奏鋼琴的動作。在電腦領域已發明了上千不同的编程語言，而且每年仍有新的编程語言誕生。很多编程語言需要用指令方式說明計算的程序，而有些编程語言則屬於宣告式編程，說明需要的結果，而不說明如何計算。 编程语言的描述一般可以分為及語義。語法是說明編程語言中，哪些符號或文字的組合方式是正確的，語義則是對於編程的解釋。有些語言是用規格文件定義，例如C語言的規格文件也是ISO標準中一部份，2011年後的版本為ISO/IEC 9899:2011，而其他55語言（像Perl）有一份主要的文件，視為是。.
罗宾·米尔纳
亞瑟·約翰·羅賓·葛瑞爾·米爾納（Arthur John Robin Gorell Milner，），生于英国普利茅斯，计算机科学家。1991年获得图灵奖。他是英国皇家学会成员，ACM会士。.
新！!: 图灵奖和罗宾·米尔纳 · 查看更多 »
罗伯特·卡恩
羅伯特·艾略特·卡恩（Robert Elliot Kahn，），美國電氣工程師，與文頓·瑟夫一起發明了傳輸控制協定（TCP）和網際網路協定（IP），這兩個協議成為網際網路核心通信協議的基礎。 Category:计算机领域先驱者 Category:美国工程師 Category:图灵奖获得者 Category:總統自由勳章獲得者 Category:普林斯顿大学校友 Category:網際網路的歷史 Category:富兰克林研究所本杰明·富兰克林奖章获得者 Category:查尔斯·斯塔克·德雷珀奖获得者 Category:阿斯图里亚斯亲王奖获得者.
新！!: 图灵奖和罗伯特·卡恩 · 查看更多 »
罗伯特·弗洛伊德
罗伯特·W·弗洛伊德（Robert W Floyd，）是一个知名的计算机科学家，1978年图灵奖得主。.
新！!: 图灵奖和罗伯特·弗洛伊德 · 查看更多 »
罗纳德·李维斯特
罗纳德·林納·李维斯特 （Ronald Linn Rivest，）是一名美国密码学家。他是麻省理工学院电子工程和计算机科学部门 (EECS)计算机科学的一名教授 和麻省理工学院之 (CSAIL)的成员。他与阿迪·萨莫尔和伦纳德·阿德曼共同发明了RSA加密演算法；以及在密码学和计算机科学等领域做出许多杰出贡献而知名。RSA被广泛使用在计算机安全应用上，包括https。2002年，他与阿迪·萨莫尔和伦纳德·阿德曼一起因在公钥密码学RSA加密演算法取得的杰出贡献而获得图灵奖。.
新！!: 图灵奖和罗纳德·李维斯特 · 查看更多 »
美元
美元（United States Dollar；ISO 4217代码：USD），又稱美圓、美金，（美國）聯邦儲備票據，是美国作為存款債務的官方货币。它的出现是由于《1792年铸币法案》的通过。它同时也作为储备货币在美国以外的国家广泛使用。目前美元的发行是由美国联邦储备系统控制。美元通常可以使用符号“$”来表示，而用来表示美分的标志则是“¢”。国际标准化组织为美元取的ISO 4217标准代号为USD。.
美国
美利堅合眾國（United States of America，簡稱为 United States、America、The States，縮寫为 U.S.A.、U.S.），通稱美國，是由其下轄50个州、華盛頓哥倫比亞特區、五个自治领土及外岛共同組成的聯邦共和国。美國本土48州和联邦特区位於北美洲中部，東臨大西洋，西臨太平洋，北面是加拿大，南部和墨西哥及墨西哥灣接壤，本土位於溫帶、副熱帶地區。阿拉斯加州位於北美大陸西北方，東部為加拿大，西隔白令海峽和俄羅斯相望；夏威夷州則是太平洋中部的群島。美國在加勒比海和太平洋還擁有多處境外領土和島嶼地區。此外，美國还在全球140多個國家和地區擁有着374個海外軍事基地。 美国拥有982萬平方公里国土面积，位居世界第三（依陆地面積定義为第四大国）；同时拥有接近超过3.3億人口，為世界第三人口大国。因为有着來自世界各地的大量移民，它是世界上民族和文化最多元的國家之一Adams, J.Q.; Strother-Adams, Pearlie (2001).
羅伯特·塔揚
羅伯特·恩卓·塔揚（Robert Endre Tarjan，），生於美國加州波莫納，計算機科學家，為1986年圖靈獎得主。他發現了解決最近公共祖先（LCA）問題、強連通分量問題、雙連通分量問題的高效算法，參與了開發斐波那契堆、伸展樹的工作。不少他發明的算法都以他的名字命名，以至于有時會讓人混淆幾種不同的算法。 Category:加州理工學院校友 Category:史丹佛大學校友 Category:计算机领域先驱者 Category:美国计算机科学家 Category:图灵奖获得者 Category:惠普人物 Category:内万林纳奖获得者.
新！!: 图灵奖和羅伯特·塔揚 · 查看更多 »
爱德蒙·克拉克
爱德蒙·克拉克（Edmund M. Clarke，），美国计算机科学家。2007年，他与艾伦·爱默生和约瑟夫·斯发基斯一起因在Model checking取得的杰出贡献而获得图灵奖。.
新！!: 图灵奖和爱德蒙·克拉克 · 查看更多 »
相容分時系統
容分時系統（Compatible Time-Sharing System，縮寫為 CTSS），最早的分時作業系統，由美國麻省理工學院計算機中心設計與實作，計劃領導者為費南多·柯巴托。1961年首次進行示範運作，1962年發表論文，一直運作到1963年為止。麻省理工學院的MAC計畫擁有它的第二份拷貝，它只在這兩個地方運作過。 在相容分時系統的基礎上，發展出接下來的Multics作業系統。.
新！!: 图灵奖和相容分時系統 · 查看更多 »
EDSAC 2
EDSAC 2 是一部早期的計算機，由莫里斯·威爾克斯爵士所設計，於 1958年正式運作，為延遲存儲電子自動計算機(EDSAC)的後繼機型。並且是第一部具有微指令控制單元以及硬體架構的計算機。.
新！!: 图灵奖和EDSAC 2 · 查看更多 »
芭芭拉·利斯科夫
芭芭拉·利斯科夫（Barbara Liskov，），本名Barbara Jane Huberman。美国计算机科学家，2008年图灵奖得主， from the Dr. Dobb's Journal website2004年约翰·冯诺依曼奖得主。现任麻省理工学院电子电气与计算机科学系教授。.
新！!: 图灵奖和芭芭拉·利斯科夫 · 查看更多 »
莎菲·戈德瓦塞尔
莎菲·戈德瓦塞尔 （Shafrira Goldwasser，שפרירה גולדווסר，），出生于美国的以色列计算机科学家。麻省理工学院电子工程和计算机科学的一名教授，以色列魏茨曼科學研究學院数学科学的一名教授。2012年她和希爾維奧·米卡利因其密码学的杰出工作获得图灵奖。她是美国工程院院士。.
新！!: 图灵奖和莎菲·戈德瓦塞尔 · 查看更多 »
莫里斯·威尔克斯
莫里斯·文森特·威尔克斯爵士，FREng，FRS（Sir Maurice Vincent Wilkes，），英国计算机科学家。设计和制造了世界上第一台存储程序式电子计算机EDSAC，在“工程和软件等计算机领域都有许多开创性成果”。.
新！!: 图灵奖和莫里斯·威尔克斯 · 查看更多 »
莱斯利·瓦利安特
莱斯利·瓦利安特（Leslie Gabriel Valiant，），英国/美国计算机科学家。2010年图灵奖得主。.
新！!: 图灵奖和莱斯利·瓦利安特 · 查看更多 »
道格拉斯·恩格尔巴特
道格拉斯·卡爾·恩格爾巴特（Douglas Carl Engelbart，），小名道格·恩格爾巴特（Doug Engelbart），美国发明家，瑞典人和挪威人后裔。最广为人知的是他发明了-zh:鼠标;zh-hans:鼠标;zh-hk:滑鼠;zh-tw:滑鼠-，另外他的小组是人机交互的先锋，开发了超文本系統、网络计算机，以及图形用户界面的先驱；并致力于倡导运用计算机和网络，来协同解决世界上日益增长的紧急而又复杂的问题。2013年7月2日因腎衰竭於加利福尼亞阿瑟顿的家中逝世，享壽88歲。.
新！!: 图灵奖和道格拉斯·恩格尔巴特 · 查看更多 »
菲尔兹奖
費尔兹奖（Fields Medal），正式名称为国际杰出数学发现奖（The International Medals for Outstanding Discoveries in Mathematics），是一個在国际数学联盟的國際數學家大會上頒發的獎項。每四年评选2-4名有卓越贡献且年龄不超过40岁的数学家。得奖者须在该年元旦前未满四十岁。 奖项以加拿大數學家约翰·查尔斯·菲尔兹的名字命名。菲爾兹筹备设立该奖，并在遗嘱中捐出47,000元给奖项基金。 費尔兹奖被认为是年轻数学家的最高荣誉，和阿贝尔奖均被称为為数学界的諾貝爾獎。奖金有15,000加拿大元，约合13,767美元。而阿贝尔奖的奖金有600万瑞典克朗，约合100万美元，更接近诺贝尔奖。.
面向对象程序设计
面向对象程序设计（Object-oriented programming，缩写：OOP）是種具有物件概念的程式編程典範，同时也是一种程序开发的抽象方针。它可能包含資料、、程式碼與方法。对象則指的是类的实例。它将对象作为程序的基本单元，将程序和数据封装其中，以提高软件的重用性、灵活性和扩展性，物件裡的程序可以訪問及經常修改物件相關連的資料。在物件導向程式編程裡，電腦程式會被設計成彼此相關的物件。 面向对象程序设计可以看作一种在程序中包含各种独立而又互相调用的对象的思想，这与传统的思想刚好相反：传统的程序设计主张将程序看作一系列函数的集合，或者直接就是一系列对电脑下达的指令。面向对象程序设计中的每一个对象都应该能够接受数据、处理数据并将数据传达给其它对象，因此它们都可以被看作一个小型的“机器”，即对象。目前已经被证实的是，面向对象程序设计推广了程序的灵活性和可维护性，并且在大型项目设计中广为应用。此外，支持者声称面向对象程序设计要比以往的做法更加便于学习，因为它能够让人们更简单地设计并维护程序，使得程序更加便于分析、设计、理解。反对者在某些领域对此予以否认。 当我们提到面向对象的时候，它不仅指一种程序设计方法。它更多意义上是一种程序开发方式。在这一方面，我们必须了解更多关于面向对象系统分析和面向对象设计（Object Oriented Design，简称OOD）方面的知识。許多流行的程式語言是物件導向的,它們的風格就是會透由物件來創出實例。 重要的物件導向程式語言包含Common Lisp、Python、C++、Objective-C、Smalltalk、Delphi、Java、Swift、C#、Perl、Ruby 與 PHP等。.
新！!: 图灵奖和面向对象程序设计 · 查看更多 »
馬丁·赫爾曼
丁·愛德華·赫爾曼（Martin Edward Hellman，），生於美國紐約市，密碼學者，對公開密鑰加密技術有重要貢獻。與惠特菲爾德·迪菲一同發展出迪菲－赫尔曼密钥交换技術。獲得 2015 年圖靈獎。.
新！!: 图灵奖和馬丁·赫爾曼 · 查看更多 »
計算複雜性理論
计算复杂性理论（Computational complexity theory）是理论计算机科学和数学的一个分支，它致力于将可计算问题根据它们本身的复杂性分类，以及将这些类别联系起来。一个可计算问题被认为是一个原则上可以用计算机解决的问题，亦即这个问题可以用一系列机械的数学步骤解决，例如算法。 如果一个问题的求解需要相当多的资源（无论用什么算法），则被认为是难解的。计算复杂性理论通过引入数学计算模型来研究这些问题以及定量计算解决问题所需的资源（时间和空间），从而将资源的确定方法正式化了。其他复杂性测度同样被运用，比如通信量（应用于通信复杂性），电路中门的数量（应用于电路复杂性）以及中央处理器的数量（应用于并行计算）。计算复杂性理论的一个作用就是确定一个能或不能被计算机求解的问题的所具有的实际限制。 在理论计算机科学领域，与此相关的概念有算法分析和可计算性理论。两者之间一个关键的区别是前者致力于分析用一个确定的算法来求解一个问题所需的资源量，而后者则是在更广泛意义上研究用所有可能的算法来解决相同问题。更精确地说，它尝试将问题分成能或不能在现有的适当受限的资源条件下解决这两类。相应地，在现有资源条件下的限制正是区分计算复杂性理论和可计算性理论的一个重要指标：后者关心的是何种问题原则上可以用算法解决。.
新！!: 图灵奖和計算複雜性理論 · 查看更多 »
马文·闵斯基
文·李·明斯基（Marvin Lee Minsky，），生於美国紐約州紐約市，美国科學家，專長於認知科學與人工智能领域，麻省理工学院人工智能实验室的创始人之一，著有几部人工智能和哲学方面的作品。1969年，因為在人工智能領域的貢獻，獲得圖靈獎。.
新！!: 图灵奖和马文·闵斯基 · 查看更多 »
詹姆斯·尼古拉·格雷
詹姆斯·尼古拉·格雷（James Nicholas "Jim" Gray，），美國資訊工程學家。 他就讀於柏克萊加州大學，1966年取得工程數學學士，1969年取得計算機科學博士。他曾於IBM、天登電腦公司和迪吉多工作。1995年成為微软研究员。他有份開發的資料庫和交易處理系統有IBM的System R、微軟的Terraserver和Skyserver。他提出了資料方塊、鎖定顆粒等概念。他亦有份開發Windows Live Local。 2007年，他獨自航向法拉隆群岛，打算撒散母親的骨灰，1月28日，他的船失蹤了。2月1日，DigitalGlobe掃瞄過一帶，產生了上千張影象。影象放於Amazon Mechanical Turk，希望人們能合力找出他的船。2月16日，他的家人要求取消搜索行動。 2012年，他在法律意义上被认定已经死亡。.
新！!: 图灵奖和詹姆斯·尼古拉·格雷 · 查看更多 »
詹姆斯·哈迪·威尔金森
詹姆斯·哈迪·威尔金森，FRS（英文：James Hardy Wilkinson ）是英国数学家和计算机学家，在数值分析领域具有杰出贡献。数值分析是应用数学与计算机科学的交叉学科，特别在工程和物理学上具有显著的应用。.
新！!: 图灵奖和詹姆斯·哈迪·威尔金森 · 查看更多 »
高德纳
德納（Donald Ervin Knuth，音譯：唐納德·爾文·克努斯，），出生於美国密尔沃基，著名计算机科学家，斯坦福大学计算机系榮譽退休教授。高德纳教授為现代计算机科学的先驅人物，創造了演算法分析的領域，在數個理論計算機科學的分支做出基石一般的貢獻。在计算机科学及数学领域发表了多部具广泛影响的论文和著作。1974年圖靈獎得主。 高德纳最為人知的事蹟是，他是《计算机程序设计艺术》的作者。此書是計算機科學界最受高度敬重的參考書籍之一。此外還是排版軟件tex和字型設計系統Metafont的发明人。提出文学编程的概念，並創造了WEB與CWEB軟體，作為文學編程開發工具。.
高松宮殿下紀念世界文化獎
松宮殿下紀念世界文化獎（高松宮殿下記念世界文化賞，Praemium Imperiale）是1988年日本美術協會為紀念前一年（1987年）薨逝的協會總裁高松宮宣仁親王為名而設立的文化獎，1989年起每年頒發。獎項分為「繪畫」、「雕塑」、「建築」、「音樂」、「劇場／電影」五種，以成為「藝術的諾貝爾獎」為宗旨。日本美術協會是富士產經集團的一部分。 頒獎典禮每年10月在東京明治紀念館舉行，由日本美術協會現任總裁常陸宮正仁親王親自頒獎。今上天皇、皇后原則上也都會出席每年的頒獎典禮，即使不克出席，也會另外安排時間接見獲獎者。.
新！!: 图灵奖和高松宮殿下紀念世界文化獎 · 查看更多 »
计算理论
计算理论（Theory of computation）是數學的一個領域，和计算机有密切关系。其中的理论是现代密码协议、计算机设计和许多应用领域的基础。该领域主要关心三个方面的问题：.
计算机协会
计算机协会（Association for Computing Machinery，简称ACM）是一个世界性的计算机从业员专业组织，创立于1947年，是世界上第一个科学性及教育性计算机学会，亦是現時全球最大的電腦相關學會。ACM每年都出版大量電腦科学的专门期刊，并就每项专业设有兴趣小组。兴趣小组每年亦会在全世界（但主要在美国）举办世界性讲座及会谈，以供各会员分享他们的研究成果。近年ACM积极开拓网上学习的渠道，以供会员在工作之余或家中提升自己的专业技能。截止20世纪末，ACM在全球拥有75,000个以上的成员，包括遍及学术界、工业、研究和政府领域的学生和计算机专业人员。成员的最高荣誉是会士（Fellow）。 ACM通过它的35个特别兴趣组（Special Interest Group，SIG）提供特殊的技术信息和服务。这些特别兴趣组集中于计算机学科的多种专业，如计算机系统结构专业组（computer architecture，SIGARCH）和计算机图形与互动技术专业组（computer graphics and interactive techniques，SIGGRAPH）。这些特别兴趣组中有不少是跨学科的，适合计算机行业以外的人员。例如有不少艺术家参与到图形互动小组中。 ACM通过支持全球700个以上的专业和学生组织，为当地和地区团体提供服务。其中约有20%不在美国境内。这些组织为专业人士提供服务，搜集信息，准备讲座，组织研讨会和竞赛。 ACM主要成员刊物是Communications of the ACM，刊有一些广泛兴趣的文章，并对每月不同的热点问题展开讨论。ACM也出版了不少获得业内认可的期刊，这些期刊覆盖了计算机领域相当广泛的领域。 ACM主办了8个主要奖项，来表彰计算机领域的技术和专业成就。最高奖项为图灵奖（Turing Award），常被形容为计算机领域的诺贝尔奖。.
计算机图形学
计算机图形学（computer graphics，縮寫为CG）是研究计算机在硬件和软件的帮助下创建计算机图形的科学学科，是计算机科学的一個分支領域，主要關注數位合成與操作視覺的圖形內容。雖然這個詞通常被認為是指三維圖形，事實上同時包括了二維圖形以及影像處理。.
新！!: 图灵奖和计算机图形学 · 查看更多 »
计算机科学
计算机科学用于解决信息与计算的理论基础，以及实现和应用它们的实用技术。 计算机科学（computer science，有时缩写为CS）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探討计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机问题的事业（比如信息技术），或者只是与使用计算机的经验有关，如玩游戏、上网或者文字处理。其实计算机科学所关注的，不仅仅是去理解实现类似游戏、浏览器这些软件的程序的性质，更要通过现有的知识创造新的程序或者改进已有的程序。 尽管计算机科学（computer science）的名字里包含计算机这几个字，但实际上计算机科学相当数量的领域都不涉及计算机本身的研究。因此，一些新的名字被提议出来。某些重点大学的院系倾向于术语计算科学（computing science），以精确强调两者之间的不同。丹麦科学家Peter Naur建议使用术语"datalogy"，以反映这一事实，即科学学科是围绕着数据和数据处理，而不一定要涉及计算机。第一个使用这个术语的科学机构是哥本哈根大学Datalogy学院，该学院成立于1969年，Peter Naur便是第一任教授。这个术语主要被用于北欧国家。同时，在计算技术发展初期，《ACM通讯》建议了一些针对计算领域从业人员的术语：turingineer，turologist，flow-charts-man，applied meta-mathematician及applied epistemologist。 三个月后在同样的期刊上，comptologist被提出，第二年又变成了hypologist。 术语computics也曾经被提议过。在欧洲大陆，起源于信息（information）和数学或者自动（automatic）的名字比起源于计算机或者计算（computation）更常见，如informatique（法语），Informatik（德语），informatika（斯拉夫语族）。 著名计算机科学家Edsger Dijkstra曾经指出：“计算机科学并不只是关于计算机，就像天文学并不只是关于望远镜一样。”（"Computer science is no more about computers than astronomy is about telescopes."）设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。例如，研究计算机硬件被看作是计算机工程的一部分，而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。然而，现如今也越来越多地融合了各类计算机相关学科的思想。计算机科学研究也经常与其它学科交叉，比如心理学，认知科学，语言学，数学，物理学，统计学和经济学。 计算机科学被认为比其它科学学科与数学的联系更加密切，一些观察者说计算就是一门数学科学。 早期计算机科学受数学研究成果的影响很大，如Kurt Gödel和Alan Turing，这两个领域在某些学科，例如数理逻辑、范畴论、域理论和代数，也不断有有益的思想交流。.
计算机系统结构
計算機系統結構（computer architecture、電腦系统架構），抽象来說計算機系统架構是一个系统在其所处环境中最高层次的概念；它确定一台電腦硬體和軟體之间的連結。具體地說電腦系统架構'指的是電腦系統設計的觀念與架構，描述電腦在實做的設計原则。它确定一部電腦的：.
新！!: 图灵奖和计算机系统结构 · 查看更多 »
诺贝尔奖
诺贝爾奖（Nobelpriset，Nobelprisen），是根据瑞典化学家阿尔弗雷德·诺贝尔的遗嘱於1901年開始頒發的奖项。诺贝尔奖分设物理、化学、生理学或医学、文学、和平和经济学六个奖项（经济学奖于1968由瑞典中央银行增设，全称“瑞典银行纪念诺贝尔经济科学奖”，通称“诺贝尔经济学奖”）。诺贝尔奖普遍被认为是所颁奖的领域内最重要的奖项。.
費南多·柯巴托
費南多·荷西·柯巴托（Fernando José Corbató，），又譯為費爾南多·考巴托，暱稱為科比·柯巴托（Corby Corbató），生於美國加州奧克蘭，計算機科學家，發展了分時作業系統，為1990年圖靈獎得主。他曾領導了CTSS與Multics計畫。.
新！!: 图灵奖和費南多·柯巴托 · 查看更多 »
软件工程
软件工程（quote） 1968年秋季，NATO（北約）的科技委員會召集了近50名一流的編程人員、計算機科學家和工業界巨頭，討論和制定擺脫“軟體危機”的對策。在那次會議上第一次提出了軟體工程（software engineering）這個概念，研究和应用如何以系统性的、规范化的、可定量的过程化方法去开发和维护软件，以及如何把经过时间考验而证明正确的管理技术和当前能够得到的最好的技术方法结合起来的学科。它涉及到程序设计语言、数据库、软件开发工具、系统平台、标准、设计模式等方面。其后的几十年里，各种有关软件工程的技术、思想、方法和概念不断被提出，软件工程逐步发展为一门独立的科学。 1993年，电气电子工程师学会（IEEE）给出了一个更加综合的定义："将系统化的、规范的、可度量的方法用于软件的开发、运行和维护的过程，即将工程化应用于软件开发中"。此后，IEEE多次给出软件工程的定义。 在现代社会中，软件应用于多个方面。典型的软件比如有电子邮件、嵌入式系统、人机界面、办公套件、操作系统、编译器、数据库、游戏等。同时，各个行业几乎都有计算机软件的应用，比如工业、农业、银行、航空、政府部门等。这些应用促进了经济和社会的发展，提高人们的工作效率，同时提升了生活质量。 软件工程师是对应用软件创造软件的人们的统称，软件工程师按照所处的领域不同可以分为系统分析师、系统架构师、软件设计师、程序员、测试工程师、界面与交互设计师等等。各种软件工程师人们俗称程序员。.
达纳·斯科特
达纳·斯图尔特·斯科特（Dana Stewart Scott，），美国科学家，研究领域涉及计算机科学、数学和哲学，1976年图灵奖得主。.
新！!: 图灵奖和达纳·斯科特 · 查看更多 »
迪菲-赫爾曼密鑰交換
迪菲-赫爾曼密鑰交換（Diffie–Hellman key exchange，縮寫為D-H） 是一种安全协议。它可以让双方在完全没有对方任何预先信息的条件下通过不安全信道建立起一个密钥。这个密钥可以在后续的通讯中作为对称密钥来加密通讯内容。公鑰交換的概念最早由瑞夫·墨克（Ralph C. Merkle）提出，而這個密鑰交換方法，由惠特菲爾德·迪菲（Bailey Whitfield Diffie）和馬丁·赫爾曼（Martin Edward Hellman）在1976年首次發表。馬丁·赫爾曼曾主張這個密鑰交換方法，應被稱為迪菲-赫爾曼-墨克密鑰交換（Diffie–Hellman–Merkle key exchange）。 迪菲－赫尔曼密钥交换的同义词包括.
新！!: 图灵奖和迪菲-赫爾曼密鑰交換 · 查看更多 »
迈克尔·斯通布雷克
迈克尔·斯通布雷克（Michael Stonebraker，），美国计算机科学家，研究领域为数据库。通过一系列学术原型以及初步的商业化，斯通布雷克在关系数据库方面的研究结果对现今市场上的产品有很深的影响。同时他也是以下数据库公司的创始人：Ingres, Illustra, Cohera, StreamBase Systems, Vertica，以及。 目前，斯通布雷克是MIT的兼职教授，所参与的项目包括：Aurora，C-Store，H-Store，Morpheus，以及SciDB系统等。2015年3月25日，斯通布雷克获得图灵奖。.
新！!: 图灵奖和迈克尔·斯通布雷克 · 查看更多 »
迈克尔·拉宾
迈克尔·O·拉宾（Michael Oser Rabinמִיכָאֵל אֹשֶׁר רַבִּין， ）是一名以色列计算机科学家，1976年图灵奖得主。.
新！!: 图灵奖和迈克尔·拉宾 · 查看更多 »
阿米尔·伯努利
阿米尔·伯努利（Amir Pnueli，），以色列计算机科学家。.
新！!: 图灵奖和阿米尔·伯努利 · 查看更多 »
阿贝尔奖
阿贝尔奖（Abelprisen，Abel Prize）是數學的國際獎項，每年颁发一次，獲譽為數學界最高榮譽之一。2001年，为了纪念2002年挪威著名数学家尼尔斯·亨利克·阿贝尔二百周年诞辰，挪威政府宣布将开始向杰出数学家颁发此种奖金。 自2003年起，由挪威自然科学与文学院的五名数学家院士组成的委员会负责宣布获奖人。奖金的数额大致与诺贝尔奖相近。设立此奖的原因也是因为诺贝尔奖没有数学奖项。2001年挪威政府拨款2亿挪威克朗作为启动资金。扩大数学的影响，吸引年轻人从事数学研究是设立阿贝尔奖的主要目的。 2003年3月23日，第一个获奖人名宣布，六月奖金第一次正式颁发。2004年三月第二届获奖人名单宣布，此次有两人分享奖金。 阿貝爾獎最初是索菲斯·李在1899年建議設立，因為他得悉阿爾弗雷德·諾貝爾計劃中的獎項不包括數學獎。可是索菲斯·李不久後逝世，打斷了設立阿貝爾獎的工作。國王奧斯卡二世在1902年嘗試設立阿貝爾獎也不成功，而三年後瑞典－挪威聯盟的解散，使第一次的設立阿貝爾獎的努力以失敗告終。.
阿迪·萨莫尔
阿迪·沙米尔（Adi Shamir，עדי שמיר，），以色列密码学家。他与罗纳德·李维斯特和伦纳德·阿德曼共同发明了RSA加密演算法；与Uriel Feige和Amos Fiat共同发明了 Feige–Fiat–Shamir identification scheme;differential cryptanalysis的发明者之一以及在密码学和计算机科学等领域做出许多杰出贡献而知名。RSA被广泛使用在计算机安全应用上，包括https。2002年，他与罗纳德·李维斯特和伦纳德·阿德曼一起因在公钥密码学RSA加密演算法取得的杰出贡献而获得图灵奖。.
新！!: 图灵奖和阿迪·萨莫尔 · 查看更多 »
蘋果日報 (台灣)
《蘋果日報》（Apple Daily，2003年5月2日－）是香港壹傳媒在臺灣所發行的正體中文報紙，創辦人是黎智英，以香港《蘋果日報》為藍本，集團總裁為張劍虹；自2018年3月起，分為數位及紙媒編輯部，社長陳裕鑫現兼任紙媒總編輯。 臺灣《蘋果日報》的推出，亦直接打擊了同系同質的臺灣《壹週刊》的銷路。同時繼三重幫財團挾資本優勢入主報業後，此役臺灣財團報業格局確立，臺灣文人報業正式終結。《蘋果日報》的最大特色是著重圖片以及視覺化之圖表，並採用一般報紙所無的全彩印刷（包括分類廣告在內），印紙量和週末版的《紐約時報》相若。臺灣《蘋果日報》目前為臺灣最具影響力報紙之一。.
新！!: 图灵奖和蘋果日報 (台灣) · 查看更多 »
赫伯特·西蒙
#重定向 司马贺.
新！!: 图灵奖和赫伯特·西蒙 · 查看更多 »
蒂姆·伯纳斯-李
--·约翰·伯纳斯-李爵士，（Sir Timothy John Berners-Lee，），暱稱為蒂姆·伯纳斯-李（Tim Berners-Lee），英国计算机科学家。他是万维网的发明者。1990年12月25日，他成功利用網際網路实现了HTTP客戶端与服务器的第一次通讯。 伯纳斯-李是万维网联盟的主席，为关注万维网发展而创办的组织。他也是的创办人。伯纳斯-李还是麻省理工学院计算机科学及人工智能实验室创办主席及高级研究员。同时，伯纳斯-李是网页科学研究倡议会的总监。最后，他是麻省理工学院集體智慧中心咨询委员会成员。2011年，他被任命為福特基金會的董事會成員。 2004年，英女皇伊丽莎白二世向伯纳斯-李颁发大英帝国爵級司令勋章 。2009年4月，他获选为美国国家科学院外籍院士。他被《時代》雜誌列為時代100人：本世紀最重要的人物。在2012年夏季奧林匹克運動會開幕典禮上，他获得了“万维网发明者”的美誉。伯纳斯-李本人也参与了開幕典禮，在一台NeXT计算机前工作。他在Twitter上发表消息说：“这是给所有人的”，体育馆内的LCD光管随即显示出文字来。2017年，他因“发明了万维网、第一个浏览器和使得万维网得以扩展的基础协议及算法”而获得2016年度的图灵奖。.
新！!: 图灵奖和蒂姆·伯纳斯-李 · 查看更多 »
肯尼斯·艾佛森
肯尼斯·艾佛森（Kenneth E. Iverson，1920年12月17日-2004年10月19日）是一位计算机科学家，最重要的貢獻是開發了APL。1979年他因對數學表達式和編程語言理論的貢獻而得到图灵奖。 在哈佛大学當助理教授時，他發展了一套數學表達式來操作陣列，以便教授學生。1960年，他開始在IBM跟工作，按他開發的數學表達式建立了APL。 其後他和(Roger Hui)（出生于香港后去加拿大）發明了J语言。.
新！!: 图灵奖和肯尼斯·艾佛森 · 查看更多 »
肯·汤普逊
肯尼斯·蓝·汤普逊（Kenneth Lane Thompson，）小名肯·汤普逊（Ken Thompson），美国计算机科学学者和工程师。駭客文化圈子通常称他为“ken”。在贝尔实验室工作期间，汤普逊设计和实现了Unix操作系统。他创造了B语言——C语言的前身，而且他是Plan 9操作系统的创造者和开发者之一。2006年，汤普逊进入Google公司工作，与他人共同设计了Go语言。他與丹尼斯·里奇同為1983年圖靈獎得主。 此外，肯·汤普逊还参与过正则表达式和UTF-8编码的设计，改进了文本编辑器，创造了编辑器。他曾制造过专门用于下国际象棋的电脑“”，并建立了。.
邵逸夫獎
邵逸夫獎（The Shaw Prize）由香港已故著名的影視製作人邵逸夫爵士於2002年11月創立，以表彰在科學學術研究上取得「對人類生活产生深遠影響」的成果的科學家。邵逸夫獎是一個重要的全球性的科學獎項，被稱為「東方諾貝爾獎」。.
艾伦·佩利
艾倫·傑·佩利（Alan Jay Perlis，），生于美国宾夕法尼亚州匹兹堡，是美国计算机程序设计领域的科学家，首届图灵奖的获得者。.
艾伦·凯
艾倫·科提斯·凱伊（Alan Curtis Kay，），美国计算机科学家，在面向对象编程和窗口式图形用户界面方面作出了先驱性贡献，他是Smalltalk的最初設計者。2003年获得图灵奖。目前担任Viewpoints研究院院长，加州大学洛杉矶分校兼职教授。曾任Apple公司院士，惠普公司资深院士。.
艾伦·图灵
艾伦·麦席森·图灵，OBE，FRS（Alan Mathison Turing，又译阿兰·图灵，Turing也常翻譯成--林或者杜林，）是英国計算機科學家、数学家、邏輯學家、密码分析学家和理论生物学家，他被视为计算机科学與人工智慧之父。 在第二次世界大战期间，图灵曾在“政府密码学校”（GC&CS，今政府通信总部）工作。政府密码学校位于布萊切利園，是英国顶级机密情报机构。图灵在这里从事密码破译工作，有一段时间，他领导了（Hut 8）小组，负责德国海军密码分析。 期间他设计了一些加速破译德国密码的技术，包括改进波兰战前研制的机器，一种可以找到恩尼格玛密码机设置的机电机器。 图灵在破译截获的编码信息方面发挥了关键作用，使盟军能够在包括大西洋战役在内的许多重要交战中击败纳粹，并因此帮助赢得了战争。 图灵对于人工智能的发展有诸多贡献，例如图灵曾写过一篇名为《》的论文，提問「机器会思考吗？」（Can Machines Think?），作為一种用于判定机器是否具有智能的测试方法，即图灵测试。至今，每年都有试验的比赛。此外，图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。 图灵是著名的男同性恋者，并因为其性倾向而遭到当时的英国政府迫害，职业生涯尽毁。他亦患有花粉过敏症。 图灵还是一位世界级的长跑运动员。他的马拉松最好成绩是2小時46分03秒（手動計時），比1948年奥林匹克运动会金牌成绩慢11分钟。1948年的一次跨国赛跑比赛中，他跑赢了同年奥运会银牌得主。.
艾伦·纽厄尔
艾伦·纽厄尔（Allen Newell，）是计算机科学和认知信息学领域的科学家，曾在兰德公司，卡内基梅隆大学的计算机学院、泰珀商学院和心理学系任职和教研。他是信息处理语言（IPL）发明者之一，并写了该语言最早的两个AI程序，合作开发了逻辑理论家（Logic Theorist 1956年）和一般问题解决器General Problem Solver。1975年他和赫伯特·西蒙（司马贺）一起因人工智能方面的基础贡献而被授予图灵奖。.
新！!: 图灵奖和艾伦·纽厄尔 · 查看更多 »
艾伦·爱默生
艾伦·爱默生（Ernest Allen Emerson，）是一名美国德克薩斯州大學奧斯汀分校计算机科学家和荣誉教授。2007年，他与爱德蒙·克拉克和约瑟夫·斯发基斯一起因在取得的杰出贡献而获得图灵奖。.
新！!: 图灵奖和艾伦·爱默生 · 查看更多 »
艾兹格·迪科斯彻
#重定向 艾兹赫尔·戴克斯特拉.
新！!: 图灵奖和艾兹格·迪科斯彻 · 查看更多 »
英特尔
英特爾公司（Intel Corporation，、）是世界上最大的半導體公司，也是第一家推出x86架構處理器的公司，總部位於美國加利福尼亞州聖克拉拉。由羅伯特·諾伊斯、高登·摩爾、安迪·葛洛夫，以“集成電子”（Integrated Electronics）之名在1968年7月18日共同創辦公司，將高階晶片設計能力與領導業界的製造能力結合在一起。英特爾也有開發主機板晶片組、網路卡、快閃記憶體、繪圖晶片、嵌入式處理器，與對通訊與運算相關的產品等。“Intel Inside”的廣告標語與Pentium系列處理器在1990年代間非常成功的打響英特爾的品牌名號。 英特爾早期在開發SRAM與DRAM的記憶體晶片，在1990年代之前這些記憶體晶片是英特爾的主要業務。在1990年代時，英特爾做了相當大的投資在新的微處理器設計上與培養快速崛起的PC工業。在這段期間英特爾成為PC微處理器的供應領導者，而且市場定位具有相當大的攻勢與有時令人爭議的行銷策略，就像是微軟公司一樣支配著PC工業的發展方向。而Millward Brown Optimor發表的2007年在世界上最強大的品牌排名顯示出英特爾的品牌價值由第15名掉落了10個名次到第25名。 而主要競爭對手有AMD、NVIDIA及Samsung。.
電子計算機
--，亦稱--，计算机是一种利用数字电子技术，根据一系列指令指示其自动执行任意算术或逻辑操作序列的设备。计算机遵循被称为“程序”的一般操作集的能力使他们能够执行极其广泛的任务。 计算机被用作各种工业和消费设备的控制系统。这包括简单的特定用途设备（如微波炉和遥控器）、工业设备（如工业机器人和计算机辅助设计），以及通用设备（如个人电脑和智能手机之类的移动设备）等。尽管计算机种类繁多，但根据图灵机理论，一部具有最基本功能的计算机，应当能够完成任何其它计算机能做的事情。因此，理论上从智能手机到超级计算机都应该可以完成同样的作业（不考虑时间和存储因素）。由于科技的飞速进步，下一代计算机总是在性能上能够显著地超过其前一代，这一现象有时被称作“摩尔定律”。通过互联网，计算机互相连接，极大地提高了信息交换速度，反过来推动了科技的发展。在21世纪的现在，计算机的应用已经涉及到方方面面，各行各业了。 自古以来，简单的手动设备——就像算盘——帮助人们进行计算。在工业革命初期，各式各样的机械的出现，其初衷都是为了自动完成冗长而乏味的任务，例如织机的编织图案。更复杂的机器在20世纪初出现，通过模拟电路进行复杂特定的计算。第一台数字电子计算机出现于二战期间。自那时以来，电脑的速度，功耗和多功能性不断增加。在现代，机械计算--机的应用已经完全被电子计算机所取代。 计算机在组成上形式不一，早期计算机的体积足有一间房屋的大小，而今天某些嵌入式计算机可能比一副扑克牌还小。当然，即使在今天依然有大量体积庞大的巨型计算机为特别的科学计算或面向大型组织的事务处理需求服务。比较小的，为个人应用而设计的称为微型计算机（Personal Computer，PC），在中國地區简称為「微机」。我們今天在日常使用“计算机”一词时通常也是指此，不过现在计算机最为普遍的应用形式却是嵌入式，嵌入式计算机通常相对简单、体积小，并被用来控制其它设备——无论是飞机、工业机器人还是数码相机。 同计算机相关的技术研究叫计算--机科学，而「计算机技术」指的是将计算--机科学的成果应用于工程实践所派生的诸多技术性和经验性成果的总合。「计算机技术」与「计算机科学」是两个相关而又不同的概念，它们的不同在于前者偏重于实践而后者偏重于理论。至於由数据为核心的研究則称為信息技术。 传统上，现代计算机包括至少一个处理单元（通常是中央处理器（CPU））和某种形式的存储器。处理元件执行算术和逻辑运算，并且排序和控制单元可以响应于存储的信息改变操作的顺序。外围设备包括输入设备（键盘，鼠标，操纵杆等）、输出设备（显示器屏幕，打印机等）以及执行两种功能（例如触摸屏）的输入/输出设备。外围设备允许从外部来源检索信息，并使操作结果得以保存和检索。.
電腦科學家
電腦科學家（Computer scientist）是指一類具有資深電腦科學知識，並從事相關研究的人物。電腦科學家通常從事計算與資訊理論方面的研究，有時也關注這些理論在電腦系統中的應用。 與電腦工程師相對，電腦科學家通常對電腦系統的理論，而非實作，更加感興趣，儘管有時電腦科學家的工作也涉及到硬體系統。電腦科學家通常會對電腦科學的某一分支進行深入研究，但是這些分支都建立在對計算系統的理論研究上。.
Google有限公司（Google LLC；中文：谷--歌），是美国Alphabet Inc.的子公司，业务范围涵盖互联网广告、互联网搜索、云计算等领域，开发并提供大量基于互联网的产品与服务，其主要利润来自于AdWords等广告服务。Google由在斯坦福大学攻读理工博士的拉里·佩奇和谢尔盖·布林共同创建，因此两人也被称为“Google Guys”。1998年9月4日，Google以私营公司的形式创立，目的是设计并管理互联网搜索引擎“Google搜索”。2004年8月19日，Google公司在纳斯达克上市，后来被称为“三驾马车”的公司两位共同创始人与出任首席执行官的埃里克·施密特在此时承诺：共同在Google工作至少二十年，即至2024年止。Google的宗旨是“--”（To organize the world's information and make it universally accessible and useful）；而非正式的口号则为“不作恶”（Don't be evil），由工程师阿米特·帕特尔（Amit Patel）所创，并得到了保罗·布赫海特的支持。Google公司的总部称为“-”，位于美国加州圣克拉拉县的山景城。2011年4月，佩奇接替施密特擔任首席执行官。在2015年8月，Google宣布進行资产重组。重组後，Google划归新成立的Alphabet底下。同时，此舉把Google旗下的核心搜索和廣告業務與Google無人車等新兴业务分離開來。 据估计，Google在全世界的数据中心内运营着上百万台的服务器，每天处理数以亿计的搜索请求和约二十四PB用户生成的数据。 Google自创立起开始的快速成长同时也带动了一系列的产品研发、并购事项与合作关系，而不仅仅是公司核心的网络搜索业务。Google公司提供丰富的线上软件服务，如雲端硬碟、Gmail电子邮件，包括Orkut、Google Buzz以及Google+在内的社交网络服务。Google的产品同时也以应用软件的形式进入用户桌面，例如Google Chrome网页浏览器、Picasa图片整理与编辑软件、Google Talk即时通讯工具等。另外，Google还进行了移动设备的Android操作系统以及Google Chrome OS操作系统的开发。 --分析网站Alexa数据显示，Google的主域名google.com是全世界访问量最高的站点，Google搜索在其他国家或地区域名下的多个站点（google.co.in、google.de、google.com.hk等等），及旗下的YouTube、Blogger、Orkut等的访问量都在前一百名之内。其中，社交网络服务Orkut于2014年9月关闭。.
新！!: 图灵奖和Google · 查看更多 »
IEEE榮譽獎章
IEEE荣誉奖章（英文：IEEE Medal of Honor），是国际电子电气工程学会（IEEE）的最高荣誉，也是世界电气电子工程学界的最高奖励。.
新！!: 图灵奖和IEEE榮譽獎章 · 查看更多 »
ML语言
ML是一个通用的函數式編程语言，它是由爱丁堡大学的Robin Milner及他人在二十世纪七十年代晚期开发的。它的语法是从ISWIM得到的灵感。作为元语言的ML是为了帮助在LCF定理证明机中寻找证明策略而构想出来的。（之前的元语言是pplambda，它联合了一阶逻辑演算和有类型的多态的λ演算）。它使用了Hindley-Milner类型推论算法来推测大多数值的类型，而不需要四处使用注解。 ML一般被归为非纯函数式编程语言，因为它允许副作用和指令式编程。这一点和纯函数式编程语言——例如Haskell——很不一样。 ML特性包括：傳值呼叫（Call by value）的求值策略，一级函数，带有垃圾收集的自动内存管理，参数多态，静态数据类型，类型推论，代数数据类型，模式匹配和异常处理。 不像Haskell，ML使用及早求值，也就是说所有的子表达式总是被求值。导致的一个结果是你不能使用无穷表。然而，惰性求值产生的无穷表可以通过使用匿名函数来模拟。 今天在ML家族中有好几种语言：两种主要的方言是Standard ML和Caml，其他的包括F#－针对Microsoft.NET平台的开放研究项目。ML中的思想影响了众多的语言，例如Haskell，Cyclone和Nemerle。 ML的实力大多被用于语言设计和操作（编译器、分析器、定理证明机），但是它作为通用语言也被用于生化，金融系统，和宗谱数据库，一个P2P的客户／服务器程序等等。.
Multics
Multics，名稱來自於多工資訊與計算系統（MULTiplexed Information and Computing System）的縮寫，一套分時多工作業系統，是1964年由貝爾實驗室、麻省理工學院及美国通用电气公司所共同參與研發，安裝在大型主機上。最后一个装有Multics的计算机已于2000年10月30日关闭。通过UNIX，几乎所有现代操作系统都深受Multics的影响，无论是直接 (Linux, OS X)或间接(Microsoft Windows)。 MULTICS以相容分時系統（CTSS）做基礎，建置在美國通用電力公司的大型電腦GE-645。目的是連接1000部終端機，支援300的使用者同時上線。1969年，因MULTICS計畫的工作進度過於緩慢，最後終究遭裁撤的命運，貝爾實驗室退出此計畫。當時，肯·汤普逊正在撰寫一個稱為「星際旅行」（Space Travel）的遊戲程式。贝尔实验室退出Multics計劃後，由貝爾實驗室的兩位軟體工程師肯·汤普逊與丹尼斯·里奇以C語言為基礎而發展出UNIX。通用电气及麻省理工学院仍继续开发Multics，并最终成为商业产品,由霍尼韦尔销售。.
新！!: 图灵奖和Multics · 查看更多 »
NP完全
NP完全或NP完備（NP-Complete，縮寫為NP-C或NPC），是計算複雜度理論中，決定性問題的等級之一。NPC問題，是NP（非決定性多項式時間）中最難的決定性問題。因此NP完備問題應該是最不可能被化簡為P（多項式時間可決定）的決定性問題的集合。若任何NPC問題得到多項式時間的解法，那此解法就可應用在所有NP問題上。更詳細的定義容下敘述。 一個NPC問題的例子是子集合加總問題，題目為 這個問題的答案非常容易驗證，但目前沒有任何一個夠快的方法可以在合理的時間內（意即多項式時間）找到答案。只能一個個將它的子集取出來一一測試，它的時間複雜度是Ο(2n)，n是此集合的元素數量。.
RSA加密演算法
RSA加密演算法是一种非对称加密演算法。在公开密钥加密和电子商业中RSA被广泛使用。RSA是1977年由罗纳德·李维斯特（Ron Rivest）、阿迪·萨莫尔（Adi Shamir）和伦纳德·阿德曼（Leonard Adleman）一起提出的。当时他们三人都在麻省理工学院工作。RSA就是他们三人姓氏开头字母拼在一起组成的。 1973年，在英国政府通讯总部工作的数学家克利福德·柯克斯（Clifford Cocks）在一个内部文件中提出了一个相同的算法，但他的发现被列入机密，一直到1997年才被發表。 對极大整数做因数分解的难度決定了RSA算法的可靠性。換言之，對一极大整数做因数分解愈困难，RSA算法愈可靠。假如有人找到一种快速因数分解的算法的话，那么用RSA加密的--的可靠性就肯定会极度下降。但找到这样的算法的可能性是非常小的。今天只有短的RSA钥匙才可能被强力方式--。到目前为止，世界上还没有任何可靠的攻击RSA算法的方式。只要其钥匙的长度足够长，用RSA加密的--实际上是不能被--的。 1983年9月12日麻省理工学院在美国为RSA算法申请了专利。这个专利2000年9月21日失效。由于该算法在申请专利前就已经被發表了，在世界上大多数其它地区这个专利权不被承认。.
新！!: 图灵奖和RSA加密演算法 · 查看更多 »
TCP/IP
#重定向 TCP/IP协议族.
新！!: 图灵奖和TCP/IP · 查看更多 »
UNIX
UNIX，一种计算机操作系统，具有多任务、多用户的特征。于1969年，在美国AT&T公司的贝尔实验室开发類UNIX（UNIX-like）。.
查尔斯·巴赫曼
查尔斯·威廉·巴赫曼（Charles William Bachman，），是美国计算机科学家，因其在数据库领域的工作而闻名。他的主要贡献在工业界开发实际的产品，而非学术界的教研工作。.
新！!: 图灵奖和查尔斯·巴赫曼 · 查看更多 »
查尔斯·萨克尔
查尔斯·萨克尔（Charles P. Thacker，），美国计算机科学家，美国工程院院士，美国艺术与科学院院士，計算機協會会士，微软技术院士。因设计与实现了第一台现代个人电脑Xerox Alto而荣获2009年图灵奖。.
新！!: 图灵奖和查尔斯·萨克尔 · 查看更多 »
搞笑諾貝爾獎
搞笑諾貝爾獎（Ig Nobel Prizes），又名幽默諾貝爾獎，是對諾貝爾獎的有趣模仿。獲獎成就“低俗、下流；卻又是一種社會批評，諷刺地揭露出荒謬的現象；并且是有用的研究和知識。” 搞笑諾貝爾獎由科學幽默雜誌《》主辦，授予“乍一看好笑，后又引人深思”的科學領域十大成就。該獎約於每年九月在哈佛大學桑德斯劇場舉行，隨後會有獲獎者在麻省理工學院進行公開演講。評審委員中有些是真正的諾貝爾獎得主。 這個獎項的名稱“Ig Nobel Prize”與“ignoble”（不光彩的，令人感到羞恥的）雙關。在颁奖典礼上其正式发音是/ˌɪɡnoʊˈbɛl/ ，而不是“ignoble”的发音/ɪɡˈnoʊbəl/。.
新！!: 图灵奖和搞笑諾貝爾獎 · 查看更多 »
東尼·霍爾
查爾斯·安東尼·理查德·霍爾爵士（Sir Charles Antony Richard Hoare，縮寫為C.
概率论
概率论（Probability theory）是集中研究概率及随机现象的数学分支，是研究隨機性或不確定性等現象的數學。概率论主要研究对象为随机事件、随机变量以及随机过程。对于随机事件是不可能准确预测其结果的，然而对于一系列的独立随机事件——例如掷骰子、扔硬币、抽扑克牌以及輪盤等，会呈现出一定的、可以被用于研究及预测的规律，两个用来描述这些规律的最具代表性的数学结论分别是大数定律和中心极限定理。 作为统计学的数学基础，概率论对诸多涉及大量数据定量分析的人类活动极为重要，概率论的方法同样适用于其他方面，例如是对只知道系统部分状态的复杂系统的描述——统计力学，而二十世纪物理学的重大发现是以量子力学所描述的原子尺度上物理现象的概率本质。 數學家和精算師認為概率是在0至1閉區間内的數字，指定給一發生與失敗是隨機的「事件」。概率P(A)根據概率公理來指定給事件A。 一事件A在一事件B確定發生後會發生的概率稱為B給之A的條件概率；其數值為。若B給之A的條件概率和A的概率相同時，則稱A和B為獨立事件。且A和B的此一關係為對稱的，這可以由一同價敘述：「當A和B為獨立事件時，P(A \cap B).
沃尔夫奖
沃尔夫奖（Wolf Prize）由沃尔夫基金会颁发，该基金会於1976年在以色列创立，1978年开始颁奖。创始人里卡多·沃爾夫是外交家、实业家和慈善家。 沃尔夫奖主要是奖励对推动人类科学与艺术文明做出杰出贡献的人士，每年评选一次，分别奖励在农业、化学、数学、医药和物理领域，或艺术领域中建筑、音乐、绘画、雕塑四大项目之一中取得突出成绩的人士。其中以沃尔夫数学奖影响最大。 沃尔夫奖具有终身成就性质，是世界最高成就奖之一。.
法兰·艾伦
法蘭西斯·伊麗莎白·艾倫 （Frances Elizabeth Allen，）， 暱稱法蘭·艾倫（Fran Allen）是一位计算机科学家，作为一名编译器优化领域的先驱，她的成就主要包括编译器的基本原理、代码优化和并行编译等。2006年圖靈獎得主，她是第一位獲得此獎的女性。.
朱迪亚·珀尔
朱迪亚·珀尔（Judea Pearl，），美国以色列裔计算机科学家和哲学家，因其人工智能概率方法的杰出成绩和貝氏網路的研发而知名。2011年，他因通过概率和因果推理的算法研发在人工智能取得的杰出贡献而获得图灵奖。, ACM, retrieved 2012-03-14.
新！!: 图灵奖和朱迪亚·珀尔 · 查看更多 »
惠特菲爾德·迪菲
貝利·惠特菲爾德·迪菲（Bailey Whitfield Diffie，），小名懷特·迪菲（Whit Diffie），生於美國華盛頓哥倫比亞特區，密碼學者，對公開密鑰加密技術有重大貢獻。曾提出迪菲-赫爾曼密鑰交換，並因此獲得2015年圖靈獎。.
新！!: 图灵奖和惠特菲爾德·迪菲 · 查看更多 »
浏览器
#重定向 网页浏览器.
文頓·瑟夫
文顿·格雷·瑟夫（Vinton Gray Cerf，），美國網際網路先驅，被公認為「網際網路之父」之一，與TCP/IP共同發明者羅伯特·卡恩共享了這一頭銜。他的貢獻一再得到承認和讚揚，榮譽學位和獎項包括國家技術勳章、圖靈獎 February 16, 2005、總統自由勳章 from the White House website、馬可尼獎和美國國家工程院成員。.
时序逻辑电路
在数字电路理論中，时序逻辑电路是指电路任何时刻的稳态输出不仅取决于当前的输入，还与前一时刻输入形成的状态有关。這跟組合邏輯電路相反，組合邏輯的輸出只會跟目前的輸入成一種函數關係。換句話說，时序邏輯擁有儲存元件（記憶體）来存储信息，而組合邏輯則没有。 從时序邏輯電路中，可以建出兩種形式的有限狀態機：.
新！!: 图灵奖和时序逻辑电路 · 查看更多 »
操作系统
操作系统（operating system，縮寫作 OS）是管理计算机硬件與软件資源的计算机程序，同时也是计算机系统的核心与基石。操作系统需要处理如管理與配置内存、決定系統資源供需的優先次序、控制輸入與輸出裝置、操作网络與管理文件系统等基本事務。操作系统也提供一個讓使用者與系統互動的操作界面。 操作系统的型態非常多樣，不同機器安裝的操作系统可從簡單到複雜，可從行動電話的嵌入式系统到超級電腦的大型作業系統。許多操作系统製造者對它涵盖范畴的定义也不尽一致，例如有些操作系统整合了图形用户界面，而有些僅使用命令行界面，而將图形用户界面視為一種非必要的應用程式。 操作系统理论在计算机科学中，為歷史悠久的分支；。.
愛德華·費根鮑姆
愛德華·阿爾伯特·費根鮑姆（Edward Albert Feigenbaum，），生於美國新澤西州，計算機科學家，專長於人工智能，經常被人稱為專家系統之父。為1994年圖靈獎得主。.
新！!: 图灵奖和愛德華·費根鮑姆 · 查看更多 »
数值分析
数值分析（numerical analysis），是指在数学分析（区别于离散数学）问题中，对使用数值近似（相对于一般化的符号运算）算法的研究。 巴比伦泥板YBC 7289是关于数值分析的最早数学作品之一，它给出了 \sqrt 在六十进制下的一个数值逼近，\sqrt是一個邊長為1的正方形的對角線，在西元前1800年巴比倫人也已在巴比倫泥板上計算勾股數（畢氏三元數）（3, 4, 5），即直角三角形的三邊長比。 数值分析延續了實務上數學計算的傳統。巴比倫人利用巴比伦泥板計算\sqrt的近似值，而不是精確值。在許多實務的問題中，精確值往往無法求得，或是無法用有理數表示（如\sqrt）。数值分析的目的不在求出正確的答案，而是在其誤差在一合理範圍的條件下找到近似解。 在所有工程及科學的領域中都會用到数值分析。像天體力學研究中會用到常微分方程，最優化會用在资产组合管理中，數值線性代數是資料分析中重要的一部份，而隨機微分方程及馬可夫鏈是在醫藥或生物學中生物細胞模擬的基礎。 在電腦發明之前，数值分析主要是依靠大型的函數表及人工的內插法，但在二十世紀中被電腦的計算所取代。不過電腦的內插演算法仍然是数值分析軟體中重要的一部份。.
拉吉·瑞迪
拉吉·瑞迪（Dabbala Rajagopal "Raj" Reddy，），印度裔美国计算机科学家和图灵奖获得者。他也是计算机科学和人工智能的早期先驱人之一，现任斯坦福大学和卡内基梅隆大學的教授，有超过40多年的教学经验。1979年起，他是卡内基梅隆大學计算机学院Robotics Institute的创始领导人。1994年，他因其人工智能杰出工作，获得计算机领域最高奖项图灵奖，他是该奖项亚洲第一人。.
曼纽尔·布卢姆
曼纽尔·布卢姆 （Manuel Blum，）是1995年因其計算複雜性理論杰出贡献和密码学和编程校验上的应用而获得图灵奖的一名计算机科学家。.
新！!: 图灵奖和曼纽尔·布卢姆 · 查看更多 »
重定向到这里：
杜林獎。
