2.1 对称密码系统的模型 2.2 代换密码(Substitution) 2.3 Transposition Ciphers 置换密码 2.4 Rotor Machines转轮密码机 2.5 Steganography隐写术

-λ表示法和λ演算系统概述 -类型和类型系统的扼要讨论 -基于表达式的归纳、基于证明的归纳和良基归纳

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第6章 递归类型

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第2章 泛代数和代数数据类型

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第1章 引言

2.1 对称密码系统的模型 2.2 代换密码(Substitution) 2.3 Transposition Ciphers 置换密码 2.4 Rotor Machines转轮密码机 2.5 Steganography隐写术

【教学内容】 讲解 JavaScript语言的主要特点, JavaScript代码在html中的插入方法,以及 使用 alert()窗口方法

分布式虚拟环境：虚拟现实的基础理论、算法及实现项目结题报告（分布并行图形绘制技术及系统）

【教学内容】 讲解HTML中复选框、多行文本框、下拉列表的使用 【教学目的】 使学生掌握综合性表单的制作

【教学内容】 讲解HTML中框架标志及相应的属性 【教学目的】 使学生掌握框架标志及属性,学会熟练使用HTML标志设计框架网页