1、可行性分析和详细调查概述 2、管理业务调查 3、数据流程调查 4、数据字典 5、描述处理逻辑的工具 6、系统化分析 7、研究和确定管理模型 8、提出新系统的逻辑方案

第一节 可行性分析与详细调查 第二节 管理业务调查 第三节 数据流程调查 第四节 数据字典 第五节 描述处理逻辑的工具 第六节 系统化分析 第七节 研究和确定管理模型 第八节 新系统的逻辑方案

一、逻辑结构设计的任务 二、概念结构是各种数据模型的共同基础 三、为了能够用某一DBMS实现用户需求，还必须将概念结构进一步转化为相应的数据模型，这正是数据库逻辑结构设计所要完成的任务

复习命题演算推理形式系统N N中推理的每个式子都由前提和结论组成,接近 于实际推理,又称为自然推理形式系统。 ·第一个给出自然推理形式系统的是德国数学家甘岑(G. Gentzen,1909-1945),所以又称N为甘岑系统

前两节介绍的命题与命题演算是命题逻辑的内容，其基本组成单位是原 子命题。一般地，原子命题作为具有真假意义的句子至少由主语和谓语两 部分组成。 例如，电子商务是计算机技术的一个应用系统，这里“电子商务”是主 语，而“是……”是谓语。当主语改变为“电子政务”时就得到新的原子命题：

前两节介绍的命题与命题演算是命题逻辑的内容，其基本组成单位是原 子命题。一般地，原子命题作为具有真假意义的句子至少由主语和谓语两 部分组成。 例如，电子商务是计算机技术的一个应用，这里“电子商务”是主语， 而“是……”是谓语。当主语改变为“电子政务”时就得到新的原子命题：

1．1 计算机的定义和特性 1．2 计算机的发展历程 第2章 数据的表示 •本章讨论在计算机内部各类基本数据的表示方法及其相互间的等值转换。 第3章 运算器与运算方法 ● 运算器部件是计算机中的执行部件，它可以对二进制数据进行各种算术和逻辑运算； • 运算器也是计算机内部数据信息的重要通路。 ● 本章重点介绍运算器的核心部件——算术逻辑运算单元ALU的组成与工作原理，以及数据在运算器的基本运算方法

2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论

1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论

1 逻辑类问题（A类）－指设计、编码中出现的计算正确性和一致性、程 序逻辑控制等方面出现的问题，在系统中起关键作用，将导致软件死机、功能正 常实现等严重问题； 接口类问题（B类）－指设计、编码中出现的函数和环境、其他函数、全 局/局部变量或数据变量之间的数据/控制传输不匹配的问题，在系统中起重要作 用，将导致模块间配合失效等严重问题；