离散数学及其应用之第四章——数论

整除性和模算术

除法

当一个整数除以第二个非零整数除的时候，商可能是也可能不是一个整数。

定义

定理

推论

除法算法

定理

定义


注意

模算术

定义
定理


推论

模m算术

前提
性质
注意

整数表示和算法

整数表示

前提
二进制展开式
八进制和十六进制

进制转换
二进制、八进制和十六进制展开式之间的转换

整数运算算法

假定

加法算法

乘法算法

模指数运算

素数和最大公约数

素数

定义

算术基本定理

试除法

定理

注意：
素数定理

最大公约数和最小公倍数

最大公约数


最小公倍数

两者之间的关系

欧几里得算法的基础

gcd的线型组合
前提
整数a和整数b的最大公约数可表示为

定义

找出整数的线性组合以使之等于其最大公约数的两种方法

例子



引理

定理

求解同余方程

线性同余方程

前提

求解x

中国剩余定理

大整数的计算机算术

费马小定理

伪素数

前提
定义

原根和离散对数

定义

同余的应用

散列函数
伪随机数
效验码