一、理解万维网(World Wide Web)的工作原理; 二、能够描述 Internet和万维网的特征及其服务; 三、了解学术论文写作的有关知识

第六章异步时序逻辑电路 异步时序逻辑电路中没有统一的时钟脉冲信号,电路状态的改变是外部输入信号变化直接作用的结果。 根据电路结构和输入信号形式的不同,异步时序逻辑电 路可分为脉冲异步时序逻辑电路和电平异步时序逻辑电路两 种类型。 两类电路均有 MealyMoore型和型两种结构模型

第四章组合逻辑电路 本章知识要点: 一、组合逻辑电路分析和设计的基本方法; 二、组合逻辑电路设计中的几个实际问题; 三、组合逻辑电路中的竞争与险象问题

第6章代数系统 6.1代数系统的概念 6.2代数系统的同态和同构 6.3代数系统的积代数 6.4半群与独异点 6.5群与交换群 6.6环与域 6.7格与布尔代数

第4章关系 4.1集合的笛卡儿积 4.2二元关系的概念及其特性 4.3二元关系的运算 4.4关系的闭包运算 4.5等价关系与集合的划分 4.6偏序关系

第7章图论 7.1无向图及有向图 7.2通路、回路与连通性 7.3图的矩阵表示 7.4欧拉(Euler)图 7.5哈密尔顿(Hamilton)图 7.6二部图 7.7平面图 7.8树

Chapter 6 Software Engineering Requirements: 1、掌握软件的生命周期的基本术语与知识; 2、了解软件工程的发展趋势; 3、了解软件设计方法; 4、了解软件安全的有关知识; 5、掌握复杂定语(从句)的翻译技巧

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 命题演算的自然推理形式系统N 1.8 例题选解 习题一