一、等势,优势,劣势,绝对优势,绝对劣势 二、Cantor定理, Schroder-Bernstein-定理 三、基数(势),,N 四、有穷集,无穷集,可数集(可列集) 五、基数运算

一、关系幂(power)运算 二、关系闭包(closure)

1.有序对与卡氏积 2.二元关系 3.二元关系的基本运算

1 函数,偏函数,全函数真偏函数 2 单射,满射双射计数问题 3 象,原象 4 常数函数,恒等函数,特征函数,单调函数, 5 自然映射 6 合成(复合)反函数,单边逆(左逆右逆) 7 构造双射(有穷集,无穷集)

1.预备知识,无向图,有向图,相邻,关联 2.度,握手定理度数列,可(简单)图化 3.图同构 4.图族

1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则

1.命题、命题符号化 2.合式公式、真值表、永真式 3.逻辑等值式、推理定律 4.形式化证明

一、名词解释: 1总分类账 2集合分配类账户 3明细分类账 4.业务账户 5实账户本期发生额

（1)精确逻辑(传统逻辑)的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中,命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题,组合成另一个命题的过 程

ADO是 Active Data Object缩写,是针对当前 Microsoft软件所支持的数据进行操作的最有效、最简单、功能最强大的方法。它能自如地控制数据的显示、查询以及对数据的修改、删除和添加。通过本章 学习,应该掌握以下内容: 1.ADO各种对象和集合 2.利用ADO存取组件进行数据库连接利用 Dreamweaver编辑各种超连接的方法