CS Wiki
Search
搜索
暗色模式
亮色模式
探索
Home
❯
离散数学知识库总览
❯
concepts
文件夹: 离散数学/concepts
此文件夹下有121条笔记。
2026年4月21日
Bell数
离散数学
组合
递推
2026年4月21日
Hasse图
离散数学
关系
可视化
2026年4月21日
Hoare三元组
离散数学
程序验证
形式逻辑
断言
2026年4月21日
n元关系
离散数学
关系
数据库
2026年4月21日
onto函数
离散数学
高级计数技术
onto函数
函数
2026年4月21日
主定理
离散数学
算法
主定理
复杂度
2026年4月21日
乘法法则
离散数学
计数
基本法则
2026年4月21日
事件
离散数学
概率论
集合论
2026年4月21日
二元关系
离散数学
关系
集合
2026年4月21日
二叉搜索树
离散数学
树
搜索
算法
2026年4月21日
二部图
离散数学
图论
组合
2026年4月21日
二项分布
离散数学
概率论
分布
2026年4月21日
二项式定理
离散数学
计数
代数
2026年4月21日
二项式系数
离散数学
计数
排列组合
2026年4月21日
传递闭包
离散数学
关系
算法
2026年4月21日
伯努利试验
离散数学
概率论
分布
2026年4月21日
偏序关系
离散数学
关系
代数
2026年4月21日
全概率公式
离散数学
概率论
2026年4月21日
关联规则
离散数学
数据挖掘
关系
2026年4月21日
几何分布
离散数学
概率论
分布
2026年4月21日
分治算法
离散数学
算法
分治算法
分治
2026年4月21日
分配问题
离散数学
计数
组合数学
2026年4月21日
切比雪夫不等式
离散数学
概率论
不等式
2026年4月21日
划分
离散数学
集合
关系
2026年4月21日
加权图
离散数学
图论
算法
2026年4月21日
加法法则
离散数学
计数
基本法则
2026年4月21日
可重排列
离散数学
计数
排列组合
2026年4月21日
哈密顿路径
离散数学
图论
路径
2026年4月21日
图的着色
离散数学
图论
着色
2026年4月21日
多重集排列
离散数学
计数
排列组合
2026年4月21日
字典序
离散数学
计数
算法
序理论
2026年4月21日
完全图
离散数学
图论
特殊图
2026年4月21日
容斥原理
离散数学
计数
集合论
2026年4月21日
帕斯卡三角形
离散数学
计数
数学史
2026年4月21日
平面图
离散数学
图论
平面性
2026年4月21日
广义二项式定理
离散数学
高级计数技术
广义二项式定理
代数
2026年4月21日
强归纳法
离散数学
归纳法
证明方法
强归纳
2026年4月21日
循环不变量
离散数学
程序验证
算法设计
循环
2026年4月21日
拉姆齐理论
离散数学
组合数学
图论
2026年4月21日
拓扑排序
离散数学
关系
算法
2026年4月21日
排列
离散数学
计数
排列组合
2026年4月21日
排列生成算法
离散数学
算法
计数
2026年4月21日
排列组合恒等式
离散数学
计数
恒等式
2026年4月21日
数学归纳法
离散数学
归纳法
证明方法
数学基础
2026年4月21日
斯特林数
离散数学
计数
组合数学
2026年4月21日
方差
离散数学
概率论
统计量
2026年4月21日
有向图
离散数学
关系
图论
2026年4月21日
期望值
离散数学
概率论
统计量
2026年4月21日
条件概率
离散数学
概率论
2026年4月21日
树图
离散数学
计数
树结构
2026年4月21日
样本空间
离散数学
概率论
基本概念
2026年4月21日
格
离散数学
关系
代数
2026年4月21日
概率
离散数学
概率论
基本概念
2026年4月21日
概率分布
离散数学
概率论
分布
2026年4月21日
欧拉函数
离散数学
数论
欧拉函数
组合
2026年4月21日
特征方程
离散数学
高级计数技术
特征方程
代数
2026年4月21日
独立性
离散数学
概率论
2026年4月21日
生成函数
离散数学
高级计数技术
生成函数
幂级数
2026年4月21日
程序正确性
离散数学
程序验证
形式方法
软件工程
2026年4月21日
笛卡尔积
离散数学
集合
关系
2026年4月21日
等价关系
离散数学
关系
代数
2026年4月21日
算法复杂度
离散数学
算法
复杂度
渐近分析
2026年4月21日
线性递推关系
离散数学
高级计数技术
线性递推关系
递推
2026年4月21日
组合
离散数学
计数
排列组合
2026年4月21日
组合生成算法
离散数学
算法
计数
2026年4月21日
结构归纳
离散数学
归纳法
证明方法
递归结构
2026年4月21日
良序性
离散数学
序理论
数学基础
归纳法
2026年4月21日
蒙特卡洛方法
离散数学
概率论
算法
2026年4月21日
贝叶斯定理
离散数学
概率论
统计推断
2026年4月21日
贪心算法
离散数学
算法
优化
2026年4月21日
连通图
离散数学
图论
连通性
2026年4月21日
递归定义
离散数学
递归
定义方法
数学基础
2026年4月21日
递归算法
离散数学
算法
递归
分治
2026年4月21日
递推关系
离散数学
高级计数技术
递推关系
序列
2026年4月21日
错排问题
离散数学
高级计数技术
错排问题
组合
2026年4月21日
随机变量
离散数学
概率论
2026年4月21日
零一矩阵
离散数学
关系
矩阵
2026年4月21日
马尔可夫不等式
离散数学
概率论
不等式
2026年4月21日
鸽巢原理
离散数学
计数
组合数学
2026年4月20日
RSA密码系统
离散数学
数论与密码学
RSA
公钥密码学
大整数分解
费马小定理
中国剩余定理
2026年4月20日
中国剩余定理
离散数学
数论
中国剩余定理
CRT
同余方程组
2026年4月20日
二进制
离散数学
数论
二进制
二进制加法
二进制乘法
算法
2026年4月20日
伪随机数
离散数学
计算机科学
伪随机数
线性同余法
随机数生成
2026年4月20日
公钥密码学
离散数学
数论与密码学
公钥密码学
Diffie-Hellman
数字签名
同态加密
RSA
2026年4月20日
函数
离散数学
基本结构
函数
单射
满射
双射
反函数
函数复合
取整函数
2026年4月20日
函数增长
离散数学
算法
函数增长
2026年4月20日
原根
离散数学
数论
原根
离散对数
阶
2026年4月20日
古典密码
离散数学
数论与密码学
古典密码
凯撒密码
仿射密码
维吉尼亚密码
换位密码
频率分析
2026年4月20日
可满足性
离散数学
逻辑与证明
可满足性
SAT问题
功能完备性
NP完全性
2026年4月20日
同余
离散数学
数论
同余
同余类
交换环
等价关系
2026年4月20日
命题逻辑
离散数学
逻辑与证明
命题逻辑
逻辑联结词
真值表
条件语句
2026年4月20日
哈希函数
离散数学
计算机科学
哈希函数
冲突解决
哈希表
2026年4月20日
基数
离散数学
基本结构
基数
可数集
不可数集
对角线论证
Schröder-Bernstein定理
连续统假设
2026年4月20日
大O记号
离散数学
算法
大O记号
渐近分析
2026年4月20日
密码学
离散数学
数论与密码学
密码学
密码分析
对称密钥
公钥密码学
2026年4月20日
嵌套量词
离散数学
逻辑与证明
嵌套量词
量词顺序
前束范式
2026年4月20日
序列与求和
离散数学
基本结构
序列
求和
递推关系
斐波那契数列
等差数列
等比数列
2026年4月20日
快速幂
离散数学
数论
快速幂
模幂算法
反复平方法
2026年4月20日
推理规则
离散数学
逻辑与证明
推理规则
假言推理
归结原理
量词推理
谬误
2026年4月20日
整除
离散数学
数论
整除
带余除法
2026年4月20日
最大公约数
离散数学
数论
最大公约数
最小公倍数
互素
2026年4月20日
校验码
离散数学
计算机科学
校验码
ISBN
UPC
错误检测
2026年4月20日
模运算
离散数学
数论
模运算
同余
2026年4月20日
模逆元
离散数学
数论
模逆元
扩展欧几里得算法
2026年4月20日
欧几里得算法
离散数学
数论
欧几里得算法
辗转相除法
GCD
2026年4月20日
渐近分析
离散数学
算法
渐近分析
2026年4月20日
矩阵
离散数学
基本结构
矩阵
矩阵运算
0-1矩阵
布尔矩阵
转置
对称矩阵
2026年4月20日
算术基本定理
离散数学
数论
素数
唯一分解
算术基本定理
2026年4月20日
算法
离散数学
算法
搜索算法
排序算法
递归
贪心算法
2026年4月20日
素数
离散数学
数论
素数
素数定理
埃拉托斯特尼筛法
梅森素数
2026年4月20日
线性同余方程
离散数学
数论
同余方程
线性同余
2026年4月20日
补码
离散数学
数论
补码
二进制
计算机算术
2026年4月20日
证明方法
离散数学
逻辑与证明
直接证明
反证法
逆否证明法
分情况证明
存在性证明
唯一性证明
2026年4月20日
谓词逻辑
离散数学
逻辑与证明
谓词逻辑
量词
全称量词
存在量词
命题函数
2026年4月20日
贝祖定理
离散数学
数论
贝祖定理
扩展欧几里得算法
模逆元
2026年4月20日
费马小定理
离散数学
数论
费马小定理
伪素数
Carmichael数
2026年4月20日
进制表示
离散数学
数论
进制转换
二进制
八进制
十六进制
2026年4月20日
逻辑电路
离散数学
逻辑与证明
逻辑电路
逻辑门
组合电路
布尔代数
2026年4月20日
逻辑等价
离散数学
逻辑与证明
逻辑等价
重言式
德摩根定律
可满足性
2026年4月20日
集合
离散数学
基本结构
集合
子集
幂集
笛卡尔积
2026年4月20日
集合运算
离散数学
基本结构
集合运算
集合恒等式
德摩根律
多重集