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

计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机...

量子计算机（英語：Quantum computer）是一种使用量子力学進行通用計算的設備。但這与电子计算机（或稱傳統電腦）不同，量子計算用來儲存數據的對象是量子位元，它使用量子演算法操作數據。然而，与经典计算机的比特只能处于两个状态之一（0或1）不同，量子比特可以处于这两个基态之间的叠加态...

多型或多态性可以是下列意思： 多型 (生物學)（polymorphism）：一個物種的同一種群中存在兩種或多種明顯不同的表型 多态 (计算机科学)（polymorphism）：為不同資料類型的實體提供統一的介面，或使用一個單一的符號來表示多個不同的類型。 多型...

计算。第一台数字电子计算机出现于第二次世界大战期间。自那时以来，电脑的速度，功耗和多功能性則不断增加。在现代，机械计算机的应用已经完全被电子计算机所取代。 计算机在组成上形式不一。依然有大量体积庞大的巨型计算机为特别的科学计算...

多个父類別，比如C++编程语言；而在有些编程语言中，一个子類只能继承自一个父類別，比如Java编程语言，这时可以透過實作接口来实现与多重继承相似的效果。 現今物件導向程式設計技巧中，繼承並非以繼承類別的「行為」為主，而是繼承類別的「型態」，使得元件的型態一致。另外在設計模式中提到一個守則，「多...

计算机编程语言的构造，是创建对象的蓝图，描述了所创建的对象共同的特性和方法。 类的更严格的定义是由某种特定的元数据所组成的内聚的包。它描述了一些对象的行为规则，而这些对象就被称为该类的实例。类有接口和结构。接口描述了如何通过方法与类及其实例互操作，而结构描述了一个实例中数据如何划分为多...

部件功能 部件间接口 並且電腦系统架構著重於「負責了計算機架構的中心功能：計算」的中央處理器（CPU）內部的執行動作與記憶體的存取。 注意，不要与处理器领域的微体系结构/微架構（Microarchitecture）相混淆。 以常见的冯·诺伊曼计算机的设计为例，体系结构设计包括了： 指令集架構（Instruction...

计算机因其低耗電和低廉的生產成本，而於現代盛行。1970 年，布魯納多夫構建了一個增強版本，他稱之為Сетунь 70。在1973年美國開發了在二進位计算机上模擬三進制計算的Ternac模擬器。 随着技术进步，真空管和晶体管等计算机...

除了在通用量子计算方面的进展，中性原子平台还在量子模拟、量子传感等多个前沿方向展现出广阔的应用前景。 中性原子量子计算机的架构依赖于原子物理学和激光技术的多项进展，核心环节包括原子的有效囚禁与冷却、量子比特阵列的构建、量子比特的编码方式以及量子态的精确初始化与读出。...

marshalling可译作集结、结集、编码、编组、编集、安整、数据打包、列集等，是计算机科学中把一个对象的内存表示变换为适合存储或发送的数据格式的过程。典型用于数据必须在一个程序的两个部分之间移动，或者必须从一个程序移动到另一个程序。Marshalling类似于序列化，可用于一个对象与一个远程对...

计算机科学中, 同步（synchronization）是指两个不同但有联系的概念：进程同步与数据同步。进程同步指多个进程在特定点会合（join up）或者握手使得达成协议或者使得操作序列有序。数据同步指一个数据集的多份拷贝一致以维护完整性。常用进程同步原语实现数据同步。 多...

算法（英語：algorithm），在数学（算学）和计算机科学之中，指一个被定义好的、计算机可施行其指示的有限步骤或次序，常用于计算、数据处理和自动推理。算法可以使用条件语句通过各种途径转移代码执行（称为自动决策），并推导出有效的推论（称为自动推理），最终实现自动化。...

在计算机科学中，指標（英語：Pointer），是在许多程式語言中用来存储内存地址的变量。指针变量的值直接指向（points to）存在该地址的对象的值。所指向的可以是计算机内存中的另一个值，或者在某些情况下，是内存映射计算机硬件的值。 在1964年，哈羅德·勞森發明了最早的指標。他在PL/I中實作...

计算化学（computational chemistry）是理论化学的一个分支，主要目的是利用有效的数学近似以及电脑程序计算分子的性质，例如总能量、偶极矩、四极矩、振动频率、反应活性等，并用以解释一些具体的化学问题。计算化学这个名词有时也用来表示计算机科学与化学的交叉学科。...

计算机科学裡的狀態空間是對應一系統中所有可能組態的离散空间。狀態空間是可以瞭解系統行為的抽象化工具，常用在人工智能以及博弈论中。 以玩具問題Vacuum World為例，吸塵器和灰塵可以存在的組態只有有限多個，因此狀態空間是有限個。而從一開始計數，隨時間遞增的計數系統也是離散的，數量則是無限多...

软件主题 自由软件主题 计算机程序设计主题 软件测试主题 信息技术主题 计算机科学主题 工程主题 计算 计算机 计算机科学 電腦程式設計 程序设计语言 源代碼 软件工程 軟體開發 算法 資訊業 数据结构 软件开发过程 软件开发工具 軟體度量 数字图像处理 计算机图形学 办公自动化 计算机网络 数据库 电子表格...

某些病毒具有感染性，比如感染中毒用户计算机上的可执行文件，如exe、bat、scr、com格式，通过这种方法达到自我复制，对自己生存保护的目的。通常也可以利用网络共享的漏洞，复制并传播给邻近的计算机用户群，使邻里通过路由器上网的计算机或网吧的计算机的多台计算机的程序全部受到感染。...

Interoperability Interface） 硬碟機介面（英语：Hard disk drive interface） 實現 (計算機科學)（英语：Implementation (computer science)） 继承 (计算机科学) 模块化编程 基于组件的软件工程 虚继承 Hookway...

态空间，逼近了量子计算优越性。 2020年12月4日，潘建伟带领的团队成功构建76个光子的量子计算原型机“九章”，达成量子计算优越性。 2011年，当选为中国科学院院士。 2015年潘建伟和陆朝阳的多自由度量子傳態研究獲得英国物理学会2015年度十大科学突破榜首，譽為當年度世界最重大發現。...

遞迴（英語：recursion）在電腦科學中是指一種通過重複將問題分解為同類的子問題而解決問題的方法。 遞迴式方法可以被用於解決很多的電腦科學問題，因此它是電腦科學中十分重要的一個概念。 絕大多數程式語言支援函式的自呼叫，在這些語言中函式可以通過呼叫自身來進行遞迴。計算理論可以證明遞迴的作用可以完全取代迴圈，因此有很多...

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

在計算機技术中，虛擬化（技術）或虛擬技術（英語：Virtualization）是一種資源管理技術，是将计算机的各種實體资源（CPU、内存、磁盘空间、網路適配器等），予以抽象、转换后呈现出来並可供分割、組合為一個或多個電腦組態環境。由此，打破實體結構間的不可切割的障礙，使用戶可以比原本的組態...

計算物理學（英語：Computational physics）是研究如何使用數值方法分析可以量化的物理学問題的学科。 历史上，计算物理学是计算机的第一项应用；目前计算物理学被视为计算科学的分支。 计算物理有时也被视为理论物理的分支学科或子问题，但也有人认为计算物理与理论物理与实验物理联系紧密，又相对独立，是物理学第三大分支。...

云机器人 聚类分析 认知架构 认知计算 认知科学——研究人腦和意識的跨領域學科 组合优化 计算化学——化学分支 计算复杂性理论——數學理論 计算语言学——跨学科研究领域 计算数学 计算神经科学 计算数论 计算统计学 计算机科学——研究信息和計算的理論基礎 计算机视觉——從影像中擷取可電腦化的資訊 联结主义...

多态的形式，也被称作子类型多态（英語：subtype polymorphism）或者包含多态（英語：inclusion polymorphism）。在面向对象程序设计中，多态一般仅指这里所说的「子类型多态」，而「参数多态」则一般被称作泛型编程。...

的技术，它可以实现物体的三维成像、定量相位成像、多波长成像和偏振态成像等多维信息的获取。数字全息摄影不需要成像透镜，只需通过计算机模拟衍射过程来重建物体的波前分布。数字全息摄影具有制作成本低、成像速度快、记录和再现灵活等优点，已经在生物医学、材料科学、工业检测、数据存储等领域得到了广泛的应用。 全息摄影...

克核聚变反应试验性装置，属于中国国家“九五”重大科学工程。EAST是国际上稳态磁约束聚变研究的重要实验平台，其研究成果将为未来国际热核聚变实验反应堆(ITER)实现稳态高约束放电提供科学和工程实验支持。 中国为了在近堆芯的高参数条件下研究等离子体的稳态和先进运行，深入探索实现聚变发电的物理及工程问题...

Prior在1960年代介入的基于模态逻辑的特殊的时间逻辑系统。它后来被计算机科学家特别是阿米尔·伯努利和逻辑学家进一步的开发。中国著名计算机科学家唐稚松在这一领域亦有较深入的研究，并写有专著《时序逻辑程序设计与软件工程》。 时间逻辑首先被亚里士多德深入研究过，他的著作中有粗糙形式的一阶时间模态...

2005. ISBN 978-0-13-147954-8.  软件主题 计算机科学主题 計算機 操作系统内核 实时操作系统-分时系统-多任务-嵌入式系统-单一用户-多用户 对称多处理机（SMP）-集群（Cluster）-分布式计算 64位操作系统 操作系统列表 （英文） OS的历史 （页面存档备份，存于互联网档案馆）...

邵岭是人工智能领域的科学家和企业家。他的研究兴趣包括计算机视觉、机器学习、生成式人工智能、多模态人工智能以及视觉和语言。 邵岭2001年毕业于中国科学技术大学，获得工学学士学位。后赴英国牛津大学，并分别于2002年和2005年获得硕士和博士学位，师从约翰·迈克尔·布雷迪（英语：J. Michael...