证明方法与相关记法
x1.证明方法
0.数学概念
1.证明方法
- 直接法(A=>B)
- 对位证明法(非B => 非A)
- 反证法(非(A且非B))
- 归纳法
- k=1成立
- k=n(k≤n)成立,那么k=n+1成立
x2.记法
- X为集合,x为元素
- ∈和(不属于)
- {x~1~,x~2~,x~3~,……}
- X\Y(X减Y)表示一个集合,由在X中但不在Y中的所有元素组成的集合,是X的子集。
- f:X→Y,表示“f是一个从集合X到集合Y的函数”
- x:=y表示一个算术赋值操作,表示“将y赋予x”
- 符号$△_=$表示“定义为相等”
- 01
计算机系统的硬件结构
10-12
- 02
计算机系统概论
10-12
- 03
进程
10-12
- 更多文章>