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

(一)课程性质与学习目的 《脉冲与数字电路》课程是髙等学校应用电子技术、机电技术与计算机应用技 术专业的重要技术基础课程,它是具有实践性强、工程性强的特点而且又能自成体 系的课程。 本课程的任务是使学生能对数字电子技术的基本原理、基本知识和基本技能有 全面认识,熟悉数字电路的工作原理、工作特性,掌握数字电路的逻辑分析和设计 方法,具备正确运用数字集成电路的能力,并为后续课程准备必要的基础知识

2.1 数据信息的表示方法 2.1.1进位计数制及转换 2.1.2 机器数的编码格式 2.1.3 数值数据的表示方法 2.1.4 字符的表示 2.2 MIPS指令集 2.2.1 基本概念 2.2.2 MIPS的操作数 2.2.3 MIPS指令的表示 2.2.4 逻辑操作 2.2.5 决策指令 2.2.6 硬件对过程的支持 2.2.7 MIPS中32位立即数和寻址 2.2.8 翻译并执行程序

用代数方法来研究数学结构,故又叫代数结构,它将用抽象的方法来研究集合上的关系和运算。 代数的概念和方法已经渗透到计算机科学的许多分支中,它对程序理论,数据结构,编码理论的研究和逻辑电路的设计已具有理论和实践的指导意义。 §1 代数系统的引入 §2 运算及其性质 §3 半群 §4 群与子群 §5 阿贝尔群和循环群 §6* 陪集与拉格朗日定理 §7 同态与同构

1 数据管理技术的发展 1.1.1人工管理 1.1.2 文件系统 1.1.3数据库 1.1.4 XML技术 2 数据描述 1.2.1概念设计中的数据描述 1.2.2 逻辑设计中的数据描述 1.2.3物理设计中的数据描述 1.2.4数据联系的描述 3 数据模型 1.3.1 数据抽象的过程 1.3.2 概念模型 1.3.3 逻辑模型 1.3.4 外部模型 1.3.5 内部模型 1.3.6 数据库系统的体系结构 1.3.7 数据独立性 1.4.1 数据库管理系统 1.4.2 数据库系统 4 数据库管理系统和数据库系统 DB、DBMS和DBS的概念 4 计算机基础教研室 5 关系模型 1.5.1 基本术语 1.5.2 关系的定义和性质 1.5.3 关系模型的3类完整性规则 6 关系数据库的规范设计 7 数据库设计过程

3.1 面向过程的程序设计和算法 3.2 Ｃ++程序结构和语句 3.3 赋值语句 3.4 C++的输入与输出 3.5 编写顺序结构的程序 3.6 关系运算和逻辑运算 3.7 选择结构和条件语句 3.8 循环结构和循环语句

• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑：LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性？

第一章C语言概述 第二章数据类型、运算符和表达式 第三章最简单的C程序设计 第四章逻辑运算和判断选取控制 第五章循环控制 第六章数组 第七章函数 第八章编译预处理 第九章指针 第十章结构体与共用体 第十一章文件

2.1 C的数据类型 2.2 常量与变量 2.3 整型数据 2.4 实型数据 2.5 字符型数据 2.6 变量赋初值 2.7 各类数值型数据间的混合运算 2.8 算术运算符和算术表达式 2.9 赋值运算符和赋值表达式 2.10 关系运算、逻辑运算、条件运算 2.11 逗号运算符和逗号表达式

要解决系统“能做什么”的问题。通过详细 调查研究和需示分析，深入描述及研究现行系 统的工作流程及用户的各种需求，构思和设计 用户比较满意的新系统逻辑模型，并且提出适 当的计算机硬软件配置方案。系统分析阶段工 作的深入与否直接影响新系统的设计质量 和经 济性，在整个系统开发过程中起着极其重要的 作用