命题逻辑

谓词逻辑

证明论

公里集合论

离散数据结构

组合，无序对象汇集，广泛用于计数

关系，序偶的集合表示对象之间的关系

图，结点和连接点的边的集合

有限状态机，为计算建模

幂集，所有子集的集合

有序n元组，自然数到某集合的关系

序偶（有序二元组）

笛卡尔积，两个集合的元素任意的序偶的集合

谓词即真值集

函数

函数的图即序偶集合