• 基本知识 – 计算、计算模型、并行计算模型 • 图灵机概述 – 图灵的基本思想、基本图灵机、图灵机的变种 • λ演算 – λ表达式的文法、 λ演算的变换规则、Church数码 • 递归函数 – 直观意义的可计算函数、原始递归函数、递归函数

• 基本知识 – 计算、计算模型、并行计算模型 • 图灵机概述 – 图灵的基本思想、基本图灵机、图灵机的变种 • 演算 – 表达式的文法、 演算的变换规则、Church数码 • 递归函数 – 直观意义的可计算函数、原始递归函数、递归函数

➢ 信息安全概述 ➢ 计算机病毒及防治 ➢ 网络安全技术 ➢ 数据加密与数字签名 ➢ 防火墙技术 ➢ 网络社会责任与计算机职业道德规范

◼ 计算机的发展 ◼ 计算机系统组成及基本工作原理 ◼ 计算机硬件系统的组成 ◼ 计算机软件系统的组成

所谓符号计算是指在运算时无须事先对变 量赋值,而将所得到结果以标准的符号形式 来表示。 Math WorksMaple公司以的内核作为符号计 算引擎(Engine),依赖 Maple已有的函数 库,开发了实现符号计算的两个工具箱: 基本符号工具箱和扩展符号工具箱

所谓符号计算是指在运算时无须事先对变 量赋值,而将所得到结果以标准的符号形式 来表示。 Math WorksMaple公司以的内核作为符号计 算引擎(Engine),依赖 Maple已有的函数 库,开发了实现符号计算的两个工具箱: 基本符号工具箱和扩展符号工具箱

对于从事计算机科学工作的人们来说，集合论是必不可少的基础知识。例如程序设计语言、数据结构、形式语言等都离不开子集、幂集、集合的分类等概念。集合成员表和范式在逻辑设计、定理证明中也都有重要应用。本部分从集合的直观概念出发，介绍了集合论中的一些基本概念和基本理论。集合论是研究集合的一般性质的数学分支，它研究集合不依赖于组成它的事物的特性的性质。集合论总结出由各种对象构成的集合的共同性质，并用统一的方法来处理。集合论的特点是研究对象的广泛性，集合是各种不同对象的抽象，这些对象可以是数或图形，也可以使任意其它事务

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

• 基本知识 – 可计算理论, 计算资源, 计算复杂性理论, 算法分析 • 复杂性的计量 – 问题规模、复杂性函数、最坏、最好和平均三种情况的时间复杂性 • 复杂性的渐近行为及其阶 – 复杂性的渐近行为、渐近意义下的记号O、记号O的运算规则、复杂性渐近阶分析的重要性 • 算法复杂性渐近阶的分析 – 算法的复杂性渐近阶的分析、语句规则的例举

一、特殊矩阵的实现 特殊矩阵的实现常见的特殊矩阵有零矩阵、幺矩阵、单位矩阵、三角形矩阵等,这类特殊矩阵在线性代数中具有通用性;还有一类特殊矩阵在专门学科中有用,如有名的希尔伯特( Hilbert)矩阵、范德蒙( Vandermonde)矩阵等1.零矩阵:所有元素值为零的矩阵称为零矩阵。零矩阵可以用 zeros函数实现