Axiom Schemata for F Axiom Schema 1 A ∨ A ⊃ A Axiom Schema 2 A ⊃ (B ∨ A) Axiom Schema 3 A ⊃ B ⊃ (C ∨ A ⊃ (B ∨ C)) Axiom Schema 4 ∀xA ⊃ Sxt A where t is a term free for the individual variable x in A Axiom Schema 5 ∀x(A ∨ B) ⊃ (A ∨ ∀xB) provided that x is not free in A

Substitutivity of Equivalence Let A,M and N be wffs and let AMN be the result of replacing M by N at zero or more occurrences (henceforth called designate occurrences) of M in A. 1. AMN is a wff. 2. If |= M ≡ N then |= A ≡ AMN

Theory of Equivalence Relations (A, R) (E1) For all x : xRx. (E2) For all x, y : If xRy then yRx. (E3) For all x, y, z : If xRy and yRz then xRz. Logic in Computer Science – p.2/16

1.(每题2分,共10分)判断题(若正确,则在题前的括号中打√;否则,打): (a)()若合式公式A是永真式当且仅当合式公式B是永真式,则AB是永真式。 (b)()若合式公式A是可满足的,则~A是不可满足的。 (c)()v((,x)y~(,y)是可满足的 (d)()设P是一个由P系统增加单个合式公式pq作为公理所得到的系统,则P是协调的

6.4线性空域滤波器 ◼ 线性空域滤波器 ◼ 与频域滤波器的关系 ◼ 线性平滑滤波 ◼ 锐化滤波

6.1.2高通滤波器 6.1.3带通（带阻）滤波器 6.1.4同态滤波器

6.4线性空域滤波器 ◼ 线性空域滤波器 ◼ 与频域滤波器的关系 ◼ 线性平滑滤波 ◼ 锐化滤波

◼ 1、图像分割 ◼ 2、图像描述 8.1 图像分割 Image Segmentation ◼ 1、概述和分类 ◼ 2、基于灰度的分割技术 ◼ 3、基于梯度的分割技术 ◼ 4、彩色图像分割技术 ◼ 5、分割评价 8.2 图像描述 Image Description ◼ 1、概述和分类 ◼ 2、链码描绘子 ◼ 3、傅立叶描绘子 ◼ 4、矩

7.4 无误差编码技术 Lossless Compression Techniques 7.5 有误差编码技术——映射器

◼ 系统的构成 ◼ 数字化设备 ◼ 存储设备 ◼ 处理设备 ◼ 输出设备 ◼ 处理软件