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

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

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

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

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

【引例】求下列三阶线性代数方程组的近似解 2x1-5x2+4x3=5 x1+5x2-2x3=6 x1+2x2+4x3=5 MATLAB程序为: A=2-54:15-2;-124]

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

【引例】求下列三阶线性代数方程组的近似解 2x1-5x2+4x3=5 x1+5x2-2x3=6 x1+2x2+4x=5 MATLAB程序为: A=2-54:15-2;-124] b=[5;6;5] X=A\\b

（一）理论课程 1《数据库原理》 2《物联网工程导论》 3《Java 程序设计》 4《操作系统原理》 5《物联网安全技术》 6《数据结构与算法》 7《ARM 基础》 8《嵌入式系统技术》 9《数字电路基础》 10《RFID 原理及应用》 11《物联网应用系统设计》 12《Web 前端开发技术》 13《C 语言程序设计》 14《Linux 程序设计》 15《传感器技术及应用》 16《物联网工程规划与设计》 17《物联网通信技术》 18《面向对象程序设计》 19《数值计算方法》 20《网络编程技术》 21《移动开发技术》 22《计算机网络》 23《单片机基础》课程设计教学大纲 24《计算机组成原理》课程设计教学大纲 25《Java Web 应用开发》 26《web 开发技术》 27《C++程序设计》 （二）实验课程 28《数据库原理》 29《Java 程序设计》 30《操作系统原理》 31《文献检索》 32《物联网安全技术》 33《数据结构与算法》 34《ARM 基础》 35《Linux 系统管理》 36《嵌入式系统技术》 37《数字电路基础》 38《RFID 原理及应用》课程 39《物联网应用系统设计》 40《Web 前端开发技术》 41《C 语言程序设计》 42《Linux 程序设计》 43《传感器技术及应用》 44《物联网工程规划与设计》 45《物联网通信技术》课程 46《面向对象程序设计》 47《数值计算方法》 48《网络编程技术》 49《移动开发技术》 50《计算机网络》 51《单片机基础》 52《计算机组成原理》 53《Java Web 应用开发》课程 54《web 开发技术》课程 55《C++程序设计》 （三）实践课程 56《C 语言程序概念实训》 57《计算机科学与技术》毕业设计教学大纲 58《毕业实习》教学大纲 59《程序设计技能实训》 60《计算机综合项目实训》 61《专业教育》 62《嵌入式系统技术》课程设计教学大纲 63《C 语言课程设计》

（一）理论课程 1《高等数学 A1》课程教学大纲 2《高等数学 A2》课程教学大纲 3《高等数学 B1》课程教学大纲 4《高等数学 B2》课程教学大纲 5《高等数学 A+(1)》课程教学大纲 6《高等数学 A+（2）》课程教学大纲 7《高等数学 B+（2）》课程教学大纲 8《大学物理 A(1)》课程教学大纲 9《大学物理 A(2)》课程教学大纲 10《大学物理 B》课程教学大纲 11《计算机基础（基础应用）》课程教学大纲 12《计算机基础（Office 高级应用）》课程教学大纲 13《计算机基础（VB）》课程教学大纲 14《计算机基础（C）》课程教学大纲 （二）实验课程 15《计算机基础（基础应用）》实验教学大纲 16《计算机基础（Office 高级应用）》实验教学大纲 17《计算机基础（VB）》实验教学大纲 18《计算机基础(C)》实验教学大纲