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是协调的

3.1基本命令 1.help帮助命令 格式:help命令名 例如: help plo help matlablgeneral 2.what显示目录内容命令 格式:what[目录名] 例如: what matlab 显示 matlab目录下的所有M-文件

一、基本统计处理 1、查取最大值 MAX函数的命令格式有: [Y,]=max(x):将max(X)返回矩阵X的各列中的最大元 素值及其该元素的位置赋予行向量Y与;当X为向量时,则Y与I为 单变量。 [Y,=max(x,l,diM):按数组X的第DIM维的方向查 取其最大的元素值及其该元素的位置赋予向量Y与I

一、利用 Command对象来执行各种SQL指令 二、利用 Commandaccess对象调用的查询 三、利用 Commandsql对象调用 server的存储过程

本书对在我国延承了几十年的传统的线性代数教材作了重大的改革。主要是强调了把它的工程应用 放在首位,本书的取名“工程线性代数”目的就在于此。所以能做到这点,关键是采用了20世纪末的最 新科技成就,把科学计算软件MATLAB用于线性代数教学。它与传统教材的差别体现在以下几个方面

4.1 用格里高利公式求π的近似值 (while语句) 4.2 统计一个整数的位数 (do-while语句) 4.3 判断素数 (break 和 continue 语句) 4.4 求1!+2!+...+100! (循环嵌套) 4.5 循环结构程序设计

5.1数据库访问技术概述 5.2ADO组件之 Connection对象 5.3ADO组件之 RecordSet对象 5.4SQL语句操作数据库 5.5ADO组件之 Command对象 5.6ADO综合应用实例分析