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

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

一、了解静态页面与动态页面的工作原理 二、了解目前几中动态网页技术 三、开发运行环境 四、制作一个简单的ASP网页 五、ASP的简单语法 六、ASP的注意事项

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

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

一、概述 互联网应用非常广泛,其中主要应用是WWW服务, 也即是网站建设。如何建设一个好的网站,建设一个好的 网站又需要什么样的技术?

一、学习ASP需要注意的有关问题 二、需清楚的几个基本概念 三、ASP程序编写要领 四、VBScript重要函数在实际WEB应用系统开 发中的应用