2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论

• 离散数学的性质、内容 • 学习此课的目的 • 学习此课的方法 • 命题的表示、命题的演算 • 命题演算中的公式，及其应用 • 命题逻辑推理

本课程为专业基础课,也是专业主干课程(学位课程),本课程 是计算机科学的算法理论基础和软件设计的技术基础,主要研究信 息的逻辑结构及其基本操作在计算机中的表示和实现。 课程的任务是学会分析研究计算机加工的数据结构的特性;

从数据库逻辑设计中如何构成一个好的数据库模式这 一问题出发,阐述了关系规范化理论研究的实际背景。 规范化理论:各级范式及可能存在的问题

VLAN是一个按不同功能、不同项目组或不同的应用进行逻辑划分的交换网络,不区分这 些用户的物理位置。VLAN拥有与物理局域网相类似的属性,利用ⅥLAN可以将不在同 物理局域网的终端划分到一个VLAN组中

一、VLAN概述和用途 VAN(Virtual Local Area Network)是局域网的仿真,它允 许数据的传送不受物理网络限制。借助第三层交换机的路由功 能及强有力的网管软件,可以对网络结构进行逻辑更改,避免 了昂贵耗时的物理重构,减少网管开销

设计的任务是从信息需求中综合出数据结构的表示、程序结构、接口特征和过程细节。主要描述高层各部分的相关关系和底层所需要的逻辑操作

第一节命题与联结词 第二节公式与解释 第三节范式 第四节公式恒真性的判定 第五节公式的蕴涵 第六节形式演绎

第一节谓词与量词 第二节公式与解释 第三节等价与蕴涵 第四节前束范式 第五节谓词演算的演绎与推理

1.了解软件测试的目的和原则。 2.了解软件错误的分类。 3.了解软件测试的过程和策略。 4.了解软件测试用例设计的方法,掌握逻辑覆盖、基本路径测试、因果图等测试用例设计方法。 5.了解程序静态测试的方法