在计算机科學中，抽象化（英語：Abstraction）是將資料與程序，以它的語意來呈現出它的外觀，但是隱藏起它的實作細節。抽象化是用來減少程式的複雜度，使得程式設計師可以專注在處理少數重要的部份。一個電腦系統可以分割成幾個抽象層（Abstraction layer），使得程式設計師可以將它們分開處理。...

理論計算機科學（英語：Theoretical computer science，縮寫为TCS）是计算机科学的一个分支，它主要研究有关计算的相对更抽象化，逻辑化和数学化的问题，例如计算理论，算法分析，以及程序设计语言的语义。尽管理论计算机科学本身并非一个单独的研究主题，从事这个领域的研究人员在電腦科學的研究者里自成一派。...

抽象在不同領域中的不同意思： 抽象藝術，指非描述性的美術品，尤其是指繪畫方面的。 抽象知識，指生成知識的知識，是知識的精華。 抽象化，指由實體抽離出概念的思考過程。 抽象化 (計算機科學)，指高级的模型，和低级的实体相对。 抽象化 (數學)，指提取數學概念精華的過程。 集合抽象化，一種描述集合的方式。...

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

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

抽象概念。但是也由于很多人用“对象”指類別和它们的实例这两者。 抽象类被定义为永远不会也不能被实例化为具体的对象。它往往用于定义一种抽象上的概念，在类的继承关系中它往往被定义在较上层的位置。在程序设计的实践活动中，抽象...

在计算机科学中，硬件虚拟化（英語：Hardware virtualization）是一种对计算机或操作系统的虚拟。虚拟化对用户隐藏了真实的计算机硬件，表现出另一个抽象计算平台。 虚拟化这个概念，在1960年为了描述虚拟机（实验性的IBM M44/44X系统）被第一次提出。对虚拟机的架设和管理被称为平台虚拟化，现在也被称为服务器虚拟化。...

在计算机科学中，实化（英語：reification）是把抽象的想法（idea）转化为明确的数据模型或程序设计语言创建的其他对象的过程。通过实化，以前是隐式的、未表示的、可能是不可表示的被显式形成可概念（逻辑或计算）操作的。非正式地，实化也常被称作在特定系统范围内把某些东西变为“头等公民”即物件化。...

抽象数据。 出于让信息／知识更容易被理解、传播和控制，将其用容易感知的方式进行呈现，包含但不仅限于视觉，听觉，嗅觉，触觉等等。 教育可视化通常是在计算机上创建一个模拟的图形来表示需要展示的物体。这是非常有用的，例如展示原子的结构，因为原子太小了，通过教育可视化很容易学习，且无需购买昂贵并难以使用的科学设备。...

特设多态：为个体的特定类型的任意集合定义一个共同接口。 参数多态：指定一个或多个类型不靠名字而是靠可以标识任何类型的抽象符号。 子类型（也叫做子类型多态或包含多态）：一个名字指称很多不同的类的实例，这些类有某个共同的超类。 在1967年，英国计算机科学家克里斯托弗·斯特雷奇在他的讲义合集《编程语言中的基础概念（英语：Fundamental...

信息可视化（英語：Information visualization，infovis）是对抽象数据进行（交互式的）可视化表示以增强人类感知的研究。抽象数据包括数值和非数值数据，如文本和地理信息。然而，信息可视化不同于科学可视化：“信息可视化侧重于选取的空间表征，而科学可视化注重于给定的空间表征”。...

抽象機器（英語：Abstract machine），又稱抽象電腦（abstract computer），利用自動機理論，建立出電腦硬體或軟體的理論模型。把運算過程抽象化，一般來說是採用離散時間模型，可應用於電腦科學或電腦工程。在計算理論中，抽象機器經常被當成是一種思想實驗，用來推論可計算性（comp...

化生产。 1964年到1972年的計算機一般被稱為第三代計算機。大量使用集成电路，典型的機型是IBM360系列。 到了1970年代，積體電路技术的引入大大地降低了计算机生产成本，计算机也从此开始走向千家万户。1972年以後的計算機習慣上被稱為第四代計算機。基於大規模積體电路，及後來的超大規模積體电路。Intel...

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

Obama）总统创立了该计划“全民计算机科学”计划，以赋予美国这一代学生以使数字经济蓬勃发展所需的适当的计算机科学的能力。计算思维意味着像计算机科学家一样思考或解决问题。计算思维是理解问题和制定解决方案所需的思维过程。计算思维涉及逻辑，评估，模式，自动化和泛化。职业准备可以通过多种方式整合到学习和教学环境中。...

抽象資料型別（英語：Abstract data type，縮寫：ADT）是计算机科学中具有类似行为的特定类别的数据结构的数学模型；或者具有类似语义的一种或多种程序设计语言的数据类型。抽象数据类型是间接定义的，通过其上的可执行的操作以及这些操作的效果的数学约束（与可能的代价）。 例如，抽象...

and low level）是在邏輯學及計算機科學相關領域中，與「推論的一種技術：抽象化」有關的概念。由於不同的人類在思考時，偏好「將特定命題抽象化或具體化成自己容易思考的程度」。「高階、低階」就是指稱「命題抽象化的程度」。命題越抽象，就越高階。越具體而不抽象，就越低階。 「高階、低階」在權能的概念裡，指稱的是權能的大小及多寡。...

抽象化后，选出事物、事件较具代表性质的属性，这便成为信息世界的实体；最后通过各种媒体（特别指电子计算机存储器），将这些属性整理、压缩，转换作数据，并以此形式保存在计算机数据库中。这便是转换的三个大体步骤：现实世界的客观事物→信息世界的抽象实体属性→机器世界的数据记录。 信息技术主题 计算机科学主题...

计算机的理論變得豐富起來。1982年，理查德·費曼在一個著名的演講中提出利用量子體系實現通用計算的想法。緊接著1985年大衛·杜斯提出了量子圖靈機模型。人們研究量子计算机最初很重要的一個出發點是探索通用計算機的計算極限。當使用計算機...

化：也就是科学与工程实践当中对于计算机建模和模拟的运用。更近一些的时候，可视化也日益尤为关注数据，包括那些来自商业、财务、行政管理、数字媒体等方面的大型异质性数据集合。1990年代初，人们发起了一个新的，称为“信息可视化”的研究领域，旨在为许多应用领域之中对于抽象...

形式科學（formal science）是指主要研究對象為抽象形態的科學，如邏輯、數學、統計學等。 抽象化 實體抽象化 嚴格抽象化 抽象結構 數學內的抽象化 電腦科學內的抽象化 奥地利經濟學派 形式科學基礎 （页面存档备份，存于互联网档案馆）（英文）...

McCormick）在其1987年关于科学可视化的定义之中，首次阐述了科学可视化的目标和范围：“利用计算机图形学来创建视觉图像，帮助人们理解科学技术概念或结果的那些错综复杂而又往往规模庞大的数字表现形式” 。 1982年2月，美国国家科学基金会在华盛顿召开了科学可视化技术的首次会议，会议认为“科学家不仅需要分析由计算机...

湾译为介面，取“仲介之面”之意。介面泛指實體把自己提供給外界（可以為另一實體）的一種抽象化物，用以由內部操作分離出外部溝通方法，使其能被修改內部而不影響外界其他實體與其互動的方式，就如物件導向程式設計提供的多重抽象化。 介面是兩實體交換資料的媒介，交換資料的實體可以是軟體、電腦硬體、外部设备、人等等...

巨集（英語：Macro），是一種批量處理的稱謂。 计算机科学裡的宏是一种抽象（Abstraction），它根据一系列预定义的规则替换一定的文本模式。解释器或编译器在遇到宏时会自动进行这一模式替换。对于编译语言，宏展开在编译时发生，进行宏展开的工具常被称为宏展开器。宏这一术语也常常被用于许多类似的环...

堆疊（stack）又稱為棧或堆叠，是计算机科學中的一種抽象資料型別，只允許在有序的線性資料集合的一端（稱為堆疊頂端，top）進行加入数据（push）和移除数据（pop）的運算。因而按照後進先出（LIFO, Last In First Out）的原理運作，堆疊常用一維数组或連結串列來實現。常與另一種有序的線性資料集合佇列相提並論。...

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

在计算机科学中，容器是指一種类、数据结构、或者抽象数据类型，其实例为其他类的对象。换言之，它们以一种遵循特定访问规则的方法来存储对象。容器的大小取决于其包含的对象（或元素）的数目。潜在的不同容器类型的实现可能在空间和时间复杂度上有所差别，这使得在给定应用场景中选择合适的某种实现具有灵活性。 容器可以三种方式看待：...

三维计算机图形（英語：3D computer graphics）是電子計算機和特殊三维软件帮助下创造的作品。一般来讲，该术语可指代创造这些图形的过程，或者三维计算机图形技术的研究领域，及其相关技术。该術語也用于指代这些模型本身。采用该技术的计算机科学的分支称为三维计算机图形学[來源請求]。 三维计算机...

在数学与计算机科学中，尤其是在机器学习和逆问题领域中，正则化（英语：regularization）是指为解决适定性问题或过拟合而加入额外信息的过程。 在机器学习和逆问题的优化过程中，正则项往往被加在目标函数当中。 概括来讲，机器学习的训练过程，就是要找到一个足够好的函数 F ∗ {\displaystyle...

在面向对象程序设计中，实例是任何对象的具体實現，创建一个实例被称为实例化。在基于类编程中，一个对象就是一个类的实例，对象由构造函数创建，并由析构函数销毁。該對象可以称为类实例或类对象。并非所有的类都可以被实例化，抽象类就不能被实例化。 What is instance? – Definition from...

在计算机科学和信息科学中，本体是指对概念、数据和实体之间的类别、属性和关系的表示、命名和定义，这些概念、数据和实体构成了一个、大量或所有的论域。本体提供的是特定领域之中那些存在着的对象类型或概念及其属性和相互关系；或者说，本体就是一种特殊类型的术语集，具有结构化的特点，且更加适合于在计算机...