题库 · 计算机应用
题库首页 > 学历提升 > 自考专业(计算机应用) > 离散数学
命题与命题公式
(1320)
命题与命题联结词
(462)
命题与命题的表示
(66)
复合命题与联结词
(264)
命题公式的等值演算
(825)
命题公式
(726)
等值演算与蕴涵式
(99)
命题逻辑的推理理论
(495)
范式
(165)
小项与大项
(165)
主范式
(330)
主析取范式
(165)
主合取范式
(66)
谓词逻辑
(957)
谓词的概念与表示
(99)
量词与合式公式
(396)
谓词演算的等价式与蕴涵式
(330)
前束范式
(33)
谓词演算的推理理论
(99)
集合
(957)
集合的基本概念
(330)
集合的概念
(66)
集合的表示法
(132)
集合的运算
(495)
集合的基本运算
(297)
集合运算的恒等式
(33)
有序对与笛卡儿积
(132)
有序对
(33)
笛卡儿积
(99)
关系与函数
(2079)
关系及关系的性质
(462)
关系的定义及表示
(99)
关系的性质
(330)
关系的运算
(561)
关系的常规运算
(66)
复合关系
(165)
关系矩阵的布尔运算
(66)
关系的闭包
(165)
等价关系与序关系
(726)
等价关系
(231)
序关系
(429)
函数
(297)
函数的概念
(132)
复合函数
(165)
代数系统的一般概念
(990)
代数系统
(528)
群与半群
(429)
环与域
(33)
格与布尔代数
(330)
格的基本概念
(33)
格的定义
(33)
分配格与有补格
(264)
有补格
(264)
布尔代数
(33)
(891)
图的基本概念
(693)
图的连通性
(165)
图的表示
(33)
图的应用
(1386)
欧拉图与哈密顿图
(528)
欧拉图
(198)
哈密顿图
(165)
平面图
(198)
树及其遍历
(660)
树的基本概念
(561)