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

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

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

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

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

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

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

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

在计算机科学中，抽象解释（abstract interpretation，在上下文明確時可簡稱AI）是基于在有序集合特别是格上的单调函数，计算机程序的语义的可靠逼近理论。它可以被看作对计算机程序的部分执行，获取关于它的语义信息（比如，控制结构、数据流）而不进行所有计算。...

Development Corporation，SDC）的技術文件，當中使用了堆疊指標（stack pointer）這個名詞。 在計算機科學中，指標是一種最簡單形式的參照（reference）。 指標有兩種含義，一是作為資料類型，二是作為實體。前者如字元指標、浮點數指標等等；後者如指標物件、指標變數等。...

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

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

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

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

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

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

language），在計算機科學中，是指一種應用於抽象機器（abstract machine）的程式語言，它設計的目的，是用來幫助我們分析计算机程序。這個術語源自於編譯器，在編譯器將原始碼編譯為目的碼的過程中，會先將原始碼轉換為一個或多個的中間表述，以方便編譯器進行最佳化...

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

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

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

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

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

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

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

抽象化簡，避免由於直接以具體的機器碼撰寫程式，而在將程式移植到不同硬體時，需要重寫整個程式。其概念與目的，類似於資料結構中的抽象数据类型（Abstract data type），皆為保護程式免受變化的衝擊。 前述的現象可藉由語言現象獲得一些啟示，當人在記憶時，會抽象...

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

在计算机科学中，柯里化（英語：Currying），又译为卡瑞化或加里化，是把接受多个参数的函数变换成接受一个单一参数（最初函数的第一个参数）的函数，并且返回接受余下的参数而且返回结果的新函数的技术。这个技术由克里斯托弗·斯特雷奇以逻辑学家哈斯凱爾·加里命名的，尽管它是Moses Schönfinkel和戈特洛布·弗雷格发明的。...

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

在理论计算机科学中，自动机理论是对抽象机和它们能解决的问题的研究。自动机理论密切关联于形式语言理论，因为自动机经常按它们所能识别的形式语言类来分类。 自动机是有限状态机（FSM）的数学模型。FSM是给定符号输入，依据（可表达为一个表格的）转移函数“跳转”过一系列状态的一种机器。在常见的FSM的“米利...

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

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