一、信息安全与密码技术 二、密码系统模型和密码体制 三、几种简单的密码体制 四、初等密码分析 五、密码学的信息论基础 六、密码学的复杂性理论基础

2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论

 关系模型概念回顾  关系模式中可能存在的异常  关系模式中存在异常的原因  关系模式的规范化

一． 多值依赖及第四范式 二． 数据依赖的公理系统  逻辑蕴涵  Armstrong公理系统  函数依赖集的闭包  函数依赖集的等价及最小函数依赖集

（一）理论课程 1《数据库原理》 2《操作系统原理》 3《TCP/IP 网络编程》 4《服务器与存储技术》 5《路由技术原理及应用》 6《信息安全概论》 7《云计算导论》 8《云计算虚拟化技术》 9《数据结构与算法》 10《C 语言程序设计》 11《Linux 程序设计》 12《面向对象程序设计》 13《数值计算方法》 14《软件工程经济学》课程设计教学大纲（理论） 15《计算机网络》 （二）实验课程 16《数据库原理》 17《操作系统原理》 18《文献检索》 19《网络编程技术》 20《数据库原理》 21《路由技术原理及应用》 22《信息安全概论》 23《云计算虚拟化技术》 24《数据结构与算法》 25《C 语言程序设计》 26《Linux 程序设计》 27《面向对象程序设计》 28《数值计算方法》 29《软件工程经济学》课程设计教学大纲（实验） 30《计算机网络》 （三）实践课程 31《C 语言程序概念实训》 32《计算机科学与技术》毕业设计教学大纲 33《毕业实习》教学大纲 34《程序设计技能实训》 35《专业教育》 36《计算机综合项目实训》 37《C 语言课程设计》

1-1 模糊逻辑的发展 1-2 模糊逻辑与计算机 1-3 模糊逻辑与人工智能 1-4 模糊逻辑技术中的几个问题 2-1 模糊逻辑及其表述 2-2 二值逻辑、多值逻辑和模糊逻辑 2-3 模糊逻辑推理方法 2-4 解模糊判决方法

4.1 概述 4.2 神经计算 4.3 模糊计算 4.4 粗糙集理论 4.5 遗传算法 4.6 进化策略 4.7 进化编程 4.8 人工生命 4.9 粒群优化 4.10 蚂群算法 4.11 自然计算 4.12 免疫算法

7.1 基本概念 7.2 三种Ｏ(n2)的简单排序 插入排序 直接插入排序 二分法插入排序 冒泡排序 选择排序 7.3 Shell排序 7.4 基于分治法的排序 快速排序 归并排序 7.5 堆排序 7.6 分配排序和基数排序 7.7 各种排序算法的理论和实验时 间代价 7.8 排序问题的下限

一、了解关系数据库有关概念 二、了解关系运算、关系代数 三、了解关系模型的数学定义 四、了解关系的规范化理论

lInformation System Development in Theory 理论上的信息系统开发 lWinburg Mini Case Study 一个小型案例研究 lLessons of the Winburg Mini Case Study 这个小型案例研究的教训 lTeal Tractors Mini Case Study 第二个小型案例研究 lIteration and Incrementation 迭代和增量 lIteration: The Newton–Raphson Algorithm 迭代: 牛顿-拉普森算法 lThe Winburg Mini Case Study Revisited 再次探讨第二个小型案例 lOther Aspects of Iteration and Incrementation 迭代和增量的其他方面 lManaging Iteration and Incrementation 管理迭代和增量 lMaintenance Revisited 再论维护