在计算机系统中，任何时候基于某种模型的一个新的东西被创建后，都可以说该模型已经被实例化。这个实例通常与其他基于同一模型的实例有一个共同的数据结构，但储存在实例中的值是独立的。这样，改变一个实例中的值就不会干扰到其他一些实例的值。
在图论中，树是一种无向图，其中任意两个顶点间存在唯一一条路径。或者说，只要没有环的连通图就是树。森林是指互相不交并树的集合。树图广泛应用于计算机科学的数据结构中，比如二叉查找树，堆，Trie以及数据压缩中的霍夫曼编码等等。
位段为一种数据结构，可以把数据以位的形式紧凑的储存，并允许程序员对此结构的位元进行操作。这种数据结构的好处：
在计算机科学中，关联数组，又称映射、字典是一个抽象的数据结构，它包含着类似于的有序对。一个关联数组中的有序对可以重复也可以不重复。
Pascal是一个指令式编程和面向过程编程语言，由尼克劳斯·维尔特在1968年9月设计，在1970年发行，作为一个小型的和高效的语言，意图鼓励使用结构化编程和数据结构进行良好的编程实践。
BSON是一种电子计算机数据交换格式，主要被用作MongoDB数据库中的数据存储和网络传输格式。它是一种二进制表示形式，能用来表示简单数据结构、关联数组以及MongoDB中的各种数据类型。BSON之名缘于JSON，含义为Binary JSON。
数据库索引，是数据库管理系统中一个排序的数据结构，以协助快速查询、更新数据库表中数据。
BMP取自位图Bitmap的缩写，也称为DIB，是一种独立于显示器的位图数字图像文件格式。常见于微软视窗和OS/2操作系统，Windows GDI API内部使用的DIB数据结构与 BMP 文件格式几乎相同。
证明论是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达，例如链表，盒链表，或者树，它们根据逻辑系统的公理和推理规则构造。因此，证明论本质上是语法逻辑，和本质上是语义学的模型论形相反。和模型论，公理化集合论，以及递归论一起，证明论被称为数学基础的四大支柱之一。
在计算机科学中，持久性是系统状态的一个特征。一般计算机是将某个状态作为数据存储在电脑数据存贮器以实现持久化。程式必须将数据存储在储存设备以及从存储设备中读取数据，并且必须提供本地编程语言数据结构和存储设备数据结构之间的映射。
Mini wiki
