Knuth），計算理論與演算法研究者，曾寫作TeX。 愛達·勒芙蕾絲 (Ada Lovelace) ，英國發明家，史上第一位程式設計師。 高登·摩爾，英語：Gordon Moore，工程師，Intel創始人之一，以摩爾定律著名。 克里夫·莫勒爾，英語：Cleve Barry Moler，美國數學家及計算機科學家...

计算科学 计算机——根據指令對數據進行處理的機器 计算机体系结构 计算机数据存储——電子設備 计算机伦理 计算机图形学——计算机学科 计算机硬件历史 计算机网络——採用單一技術相互連接的自治電腦 计算机程序——使用计算机语言编写的指令序列，可以执行特定的计算机工作 计算机科学——研究信息和計算的理論基礎...

计算机体系结构：关于计算机或计算机信息系统的“硬件”。 计算机科学主题 未解決的计算机科學問題 计算机科学家的学术家谱 计算机科学家 计算 计算机科学的历史 中国计算机科学大事年表 信息学 学术计算机科学系列表 计算机科学会议列表 计算机科学家列表 计算机科学开放问题列表 计算机科学出版物列表 计算机科学先驱列表 软件工程主题列表...

科學家通常會對電腦科學的某一分支進行深入研究，但是這些分支都建立在對計算系統的理論研究上。 电脑科学家常被软件出版商，科学研究和发展组织雇佣，通过发展理论以创造新科技。电脑科学家也会被大学等教育机构雇佣。电脑科学家可以更实际地运用他们的知识，进入软件工程或IT咨询领域。因为電腦科學...

数学家 化学家 物理学家 天文学家 医学家 生理学家 生物学家 动物学家 植物学家 生态学家 神經科學家 心理学家 计算机学家 航天学家 地理学家 宇宙学家 遗传学家 病毒学家 树木学家 昆虫学家 地质学家 爬虫学家 水力学家 水文学家 鱼类学家 运动医学家 鳞翅目昆虫学家 湖泊学家 矿物学家 鸟类学家...

Award），又譯杜林獎、A.M.图灵奖，是计算机协会（ACM）于1966年设立的獎項，专门奖励对计算机事业作出重要贡献的个人。其名称取自世界计算机科学的先驱、英国科学家、曼徹斯特大学教授艾伦·图灵（A.M. Turing），这个奖设立目的之一是纪念这位現代计算机科學的奠基者。获奖者必须是在计算机...

超级计算机（英語：Supercomputer），指能够执行一般个人电脑无法处理的高速运算的计算机，规格与性能比个人计算机强大许多。现有的超级计算机运算速度大都可以达到每秒一万亿次以上。「超级计算」（supercomputing）這名詞第一次出現，是在1929年《纽约世界报》关于IBM为哥伦比亚大学...

科学运算技术要想获得理解，主要需要通过在计算机上实现的数学模型进行分析。 科学家和工程师发展了计算机程序和应用软件，来为被研究的系统建立模型，並以多種輸入參數運行這些程序。一般来说，这些模型需要大量的运算（通常为浮点运算），常在超级计算机或分布式运算平台上执行。 数值分析是运算科学中使用的技法的重要基础。...

中国科学院计算技术研究所（简称“中科院计算所”）是中国科学院下属的计算机科学技术研究机构，成立于1956年，是中国第一个专门从事计算机领域研究的专门机构。所址位于北京市海淀区中关村，并建有苏州、上海、烟台等多个分所（分部）。现任所长为陈熙霖研究员。 计算所有处理器芯片全国重点实验室、中国科学院智能信...

大型计算机（英語：mainframe），又称大型机、大型主机、主机服务器等，是從IBM System/360开始的一系列计算机及與其兼容或同等級的计算机，主要用于大量數據和关键项目的计算，例如银行金融交易及数据处理、人口普查、企业资源规划等。 现代大型计算机...

《计算机技术与发展》 《计算机科学》 《小型微型计算机系统》 《计算机应用研究》 《计算机应用与软件》 《计算机科学与探索》 《计算机工程与科学》 《微电子学与计算机》 《计算机工程与设计》 CCF终身成就奖 CCF王选奖 CCF海外杰出贡献奖 CCF优秀博士学位论文奖 CCF-IEEE CS青年科学家奖 CCF夏培肃奖...

在20世纪初期，首批程式設計師中就包含计算机领域中的女性，她們對電腦業界贡献良多。 自18世紀起，女性就參與计算科学技术发展。例如：妮可-雷訥·勒波特預測了哈雷彗星；瑪麗亞·米切爾計算了金星運動过程；愛達·勒芙蕾絲設計了首套由電腦執行的算法，首次為程式語言設計出編譯器。自19世紀到第二次世界大戰，...

計算機科學獎項列表是與計算機科學獎項的索引。包括计算机协会、IEEE、其它計算機科學、信息科学以及計算機科學競賽獎項的列表。 計算機科學最高獎項是ACM图灵奖，通常被認為是計算機科學領域的諾貝爾獎。其它頂級獎項包括IEEE约翰·冯·诺伊曼奖章、京都獎。 计算机协会頒發了許多計算機科學獎項，通常由特別部門管理。...

Yao；1946年12月24日—），男，汉族，湖北孝感人，生于上海，中国计算机科学家，2000年图灵奖得主，是目前唯一一位获得此奖项的华人。现任清华大学人工智能学院院长, 清华大学交叉信息研究院院长、清华大学理论计算机科学研究中心主任兼教授、香港中文大學博文講座教授、新竹國立清華大學榮譽講座，以及國立臺灣大學特聘研究講座教授。...

sm）的讨论，人工智能领域之中针对Cyc项目的讨论）。二者之间的那些差别在很大程度上只是侧重点的问题。与计算机科学领域的研究人员相比，哲学家们则较少关心建立固定不变的受控词表。然而，计算机科学家们则较少参与有关首要原则的讨论（比如，关于是否存在诸如不变本质（fixed...

Norvig，1956年12月4日—）是一名美國计算机科学家，專長為人工智慧，為JScheme的共同作者之一。現為Google公司研究總監，曾任Google搜索质量总监（Director of Search Quality）。 諾米格畢業於布朗大學應用數學系，於柏克萊加州大學取得计算机科学博士學位。曾服務於NASA。...

科學定为在理论科学、实验科学和计算科学之后的第四科学科学。 数据科学家是把统计学知识和计算机程式设计知识相结合，并将其用于深度分析数据来获得数据见解的职业。 1960年代，彼得·諾爾就首次提議要用「數據科學（data science、Datalogy）」來替代「計算機科學（computer...

未解決的計算機科學問題：如果一个问题的解可以快速检验正确性，那么这个问题一定可以快速求解吗？ P/NP问题是理论计算机科学中计算复杂度理论领域至今未解决的问题，是克雷数学研究所七題千禧年大奖难题之一。P/NP问题包括复杂度类P与NP的关系。1971年由史提芬·古克（Stephen A. Cook）和列昂尼德·列文（英语：Leonid...

应崇福（1993），声学家 周兴铭（1993），计算机专家、教育家 朱兆文（1993），土壤学家 吴祖泽（1993），实验血液学家 吴常信（1993），动物遗传育种学家 陈宜张（1995），神经生理学家 王阳元（1995），微电子学家 徐祖耀（1995），材料学家 於崇文（1995），地球化学家、地质学家 沈珠江（1995），岩土工程专家...

沈向洋，BBS（1966年10月—），江苏溧水人，中国计算机科学家，香港科技大学校董会主席。沈向洋凭借对计算机视觉和计算机图形学的研究以及开发必应搜索而闻名。他除了担任微软全球资深副总裁以外，还领导必应搜索团队。自2016年以来，他担任微软人工智能和研究集团（Microsoft AI & Research...

Cook），计算机科学家、NP完备理论开发者、图灵奖获得者 杰弗里·辛顿 ( Geoffrey Hinton ) ，计算机科学家、人工神经网路和深度学习专家、2018年图灵奖获得者 伊利亚·莎士科尔(Ilya Sutskever（英语：Ilya Sutskever）) ，计算机科学家、OpenAI首席科学家 考克斯特（H...

杨强（1961年—），北京人，中国人工智能科学家，香港科技大学計算機科學與工程學系主任、讲席教授，大學新明工程学教授、大数据研究所主任。兼任深圳大学计算机与软件学院特约教授、博士生导师。 1985年于马里兰大学天体物理专业获得硕士学位。1987年于马里兰大学计算机系获得硕士学位。1989年马里兰大学计算机系获得博士学位。...

子类型（也叫做子类型多态或包含多态）：一个名字指称很多不同的类的实例，这些类有某个共同的超类。 在1967年，英国计算机科学家克里斯托弗·斯特雷奇在他的讲义合集《编程语言中的基础概念（英语：Fundamental Concepts in Programming...

本列表收录中国计算机学会历任会士（CCF Fellow）。自2008年起，中国计算机学会至今（2020年12月）已遴选150位会士。 注：按拼音排序。   表示该会士同时为中国科学院或中国工程院院士。 会士. 中国计算机学会. [2017-12-12]. （原始内容存档于2017-12-23）. ...

科学技术大学、耶鲁大学。美国国家工程院院士。現職普林斯頓大學计算机系终身教授，為分布式共享存储处理机研究的權威。 1954年出生，从小喜欢动手製作。16岁初中毕业，之后进入长春第二有色金属冶炼厂当了一名工人，2年后离开。1973年，大学招考工农兵大学生，他进入吉林大学计算机...

Max Adleman，1945年12月31日—），美国理論計算機科學家和南加州大学计算机科学家和分子生物学教授。1977年，他与罗纳德·李维斯特和阿迪·萨莫尔一起发明了RSA加密演算法和DNA运算而知名。RSA被广泛使用在计算机安全应用上，包括https。2002年，他与罗纳德·李维斯特和阿...

计算机科学技术（ТИ） 信息安全（学士、硕士） 材料科学（学士、硕士） 机械工程（学士、硕士） 技术机器和设备 设计工程软件工程行业（学士、硕士） 技术流程和生产自动化（学士、硕士） 创新 纳米技术和微系统 艺术材料加工技术 飞机和火箭发动机设计（专家） 地面交通和技术工具（专家） 计算机科学（ИТ）...

Maurice Vincent Wilkes，1913年6月26日—2010年11月29日），英国计算机科学家。设计和制造了世界上第一台存储程序式电子计算机EDSAC，在“工程和软件等计算机领域都有许多开创性成果”。 威尔克斯1913年6月26日生于英国斯塔福德郡的达德利。于1931-1934...

科学主题 理工 大眾科学 伪科学 迷信 學術 同行評審 科學研究 科学学 科学哲学 自然辩证法 科学知识社会学 科學史 科学主义 科学文艺 科学实验 科学革命 科学归纳法 科学演绎法 科学理论 科学预见 科学模型 科学共同体 科学观察 科学分类 科学发现 大科学 科技 “……现代科学...

哲学家就餐问题（英語：Dining philosophers problem）是在计算机科学中的一个经典问题，用来演示在并发计算中多线程同步时产生的问题。 1971年，荷蘭计算机科学家艾兹赫尔·戴克斯特拉提出了一个同步问题，即假设有五台计算机都试图访问五份共享的磁带驱动器。稍后，这个问题被東尼·霍...

虚拟机（英語：virtual machine），在计算机科学中的体系结构裡，是指一种特殊的软件，可以在计算机平台和終端用戶之间建立一种环境，而終端用戶则是基于虚拟机这个软件所建立的环境来操作其它软件。虚拟机（VM）是计算机系统的仿真器，通过软件模拟具有完整硬件系统功能的、运行在一个完全隔离环境中的...