【教学内容】 1.框架和框架网页的概念 2.框架网页的常见种类 框架网页设计过程 【教学目的】 使学生掌握框架网页的结构,能熟练制作框架网页

【教学内容】 讲解HTML中制作表格的标志 【教学目的】 使学生掌握简单表格的制作 【教学重点】 表格中单元格的合并操作

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

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

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

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

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

9.1 公开密钥密码体制的基本原理 9.2 RSA算法

19.1 病毒及相关威胁 19.2 计算机病毒的防治策略

18.1 入侵者 18.2 入侵检测 18.3 口令管理