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

• 了解类型系统的重要性 – 围绕数组类型的若干实例来解释这个重要性 • 基本知识 – 类型表达式、定型断言、定型规则、类型系统 • 多态类型 – 多态函数、类型变量、多态函数的类型推断和类型检查 • 依赖类型 – 依赖类型的实例、编程语言中使用依赖类型的状况

• 基本知识 – 程序验证、程序逻辑、命题逻辑、谓词逻辑 • Hoare逻辑 – Hoare三元式、赋值公理、结构化语句的推理规 则、推论规则 • 生成验证条件的演算 – 最弱前条件演算、生成验证条件的演算 • 程序验证实例演示 – 二分查找程序

中国科学技术大学：《计算机科学导论》课程教学资源（PPT课件讲稿）第一讲 代数等式理论的自动定理证明

中国科学技术大学：《计算机科学导论》课程教学资源（PPT课件讲稿）课程简介（主讲：陈意云）

中国科学技术大学：《网络信息安全 NETWORK SECURITY》课程教学资源（PPT课件讲稿）复习提纲

1 入侵检测系统概述 2 入侵检测分类 3 入侵检测技术 4 入侵检测产品

• 黑客技术 • 信息收集类攻击 • 入侵类攻击 • 欺骗类攻击 • 拒绝服务类攻击

• 计算机病毒概述 • 计算机病毒原理 • 计算机病毒编制的关键技术 • 蠕虫 • 木马 • 病毒对抗技术

Internet安全 SSL/TLS IP Sec E-mail安全 PGP技术