1. 逻辑和证明
1.1 命题逻辑
命题:命题是一个陈述语句,它或真或假,但不能既真又假
例1.
Let p, q, and r be the propositions:
p: You get an A on the final exam.
q: You do every exercise in this book.
r: You get an A in this class.
Write these propositions using p, q, and r and logical connectives (including negations).
c) To get an A in this class, it is necessary for you to get an A on the final.
答:r → p
命题的否命题:¬p → ¬q 是 p → q 的否命题
例2.
State the converse, contrapositive, and inverse of each of these conditional statements.
c) When I stay up late, it is necessary that I sleep until noon.
答:
Converse: If I sleep until noon, then I stayed up late.
Contrapositive: If I do not sleep until noon, then I did not stay up late.
Inverse: If I don’t stay up late, then I don’t sleep until noon.
表达 p → q 的术语
1.2 命题逻辑的应用
系统规范说明
例3.
conditional-disjunction equivalence:p → q ≡ ¬p ∨ q
例4.
Find a compound proposition involving the propositional variables p, q, and r that is true when p and q are true and r is false, but is false otherwise.
答:p ∧ q ∧ ¬r
1.3 命题等价式
双条件命题的逻辑等价式
1.4 析取范式与合取范式
析取范式:由有限个简单合取式构成的析取式
合取范式:由有限个简单析取式构成的合取式
极小项与极大项:
主析取范式:由极小项构成的析取范式
主合取范式:由极大项构成的合取范式
1.5 前束范式
前束范式:一个谓词公式,如果量词都在全式的开头,它们的作用域,延伸到整个公式的末尾,则该公式称为前束范式
例5.
设个体域 D={a,b,c}, 消去下列各式的量词:
答:
蕴含式量化前件随辖域变化
蕴含式量化后件随辖域变化
1.6 推理规则
论证的有效性:如果前提均真时,结论为真,则称该论证形式是有效的
推理规则
肯定结论的谬误
否定假设的谬误
1.7 证明方法和策略
构造性的、非构造性的
2. 基本结构
2.1 集合
子集与真子集
基数
幂集
2.2 函数
恒等映射:f(x) = x
单射
满射
函数的合成
函数的逆
2.3 集合的基数
无限集
无限集可以分为两种:一种与自然数集具有相同的基数(可数无限),一种与自然数集具有不同的基数(不可数)
3. 算法
3.1 函数的增长
大O记号
大Θ记号
4. 数论
4.1 整除
4.2 模算术
4.3 欧几里得算法
例6.
最大公约数是除法序列中最后一个非零余数
4.4 模的逆
4.5 求解同余方程
4.6 快速模指数运算
4.7 中国剩余定理
例7.
4.8 费马小定理
例8.
5. 归纳与递归
5.1 强归纳法
5.2 递归
良定义
6. 计数
6.1 鸽巢原理
广义鸽巢原理
6.2 树图
例9.
6.3 排列与组合
6.4 排列与组合的推广
有重复的组合
例10.
用于求给定线性方程的整数解的个数
例11.
具有不可区别物体的集合的排列
例12.
中英词汇对照
proposition: 命题
converse: 逆命题
contrapositive: 逆否命题
inverse: 否命题
conjunction: 合取
disjunction: 析取
principal disjunctive normal form: 主析取范式
prenex normal form: 前束范式
absorbtion law: 吸收律
tautology: 永真式
predicates: 谓词
argument: 论证
resolution: 消解率
contraposition: 反证法
rational: 有理的
cardinality: 基数
the identity function: 恒等映射
meet: 交集
join: 并集
associative: 可结合的
quarter: 25 dime: 10 nickel: 5 penny: 1
pairwise: 成对的
relative prime: 互素的
inductive: 归纳
recursive: 递归的
polynomials: 多项式
coefficients: 系数
lowercase: 小写
permutation: 排列
tie: 并列
dozen: 12个
nested: 嵌套的