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

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

保证数据一致性是对数据库的最基本的要求。事务是 数据库的逻辑工作单位。只要DBMS能够保证系统中一切 事务的原子性、一致性、隔离性和持续性,也就保证了 数据库处于一致状态。为此DBMS必须能够进行数据库恢 复和并发控制。(数据库恢复技术和并发控制技术是数 据库管理系统的重要组成部分。)

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

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

第10章系统工程 10.1基于计算机的系统 基于计算机的系统:软件、计算机程序、数据结构和相关文档,他们被用于实现所需的逻辑方法、规程和控制。硬件、提供计算能力的电子设备和提供外部功能的电子机械设备如传感器、马达和抽水泵等。人员硬件和软件的操作者和用户。数据库通过软件访问的大型的有组织的信息结合

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

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

学习目标: 一、掌握算术、逻辑和布尔运算符 二、自动类型转换和强制类型转换 三、条件判断语句 四、 switch结构

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