自然语言处理概述 自然语言处理的挑战 自然语言处理的应用 自然语言处理实战

北京中医药大学：《数据科学导论》课程教学资源（PPT课件）第3章 计算机网络

北京中医药大学：《数据科学导论》课程教学资源（PPT课件）第2章 计算机基础

3.1 磁盘碎片整理工具── Vopt 3.2 数据恢复工具── FinalData 3.3 硬盘分区工具── PartitionMagic

中国科学技术大学：《多元统计分析》课程教学资源（课件讲义）第二讲 多元数据的可视化技术

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第2章 数据流分析（Nielson等）Principles of Program Analysis - Data Flow Analysis

• 直观地介绍余归纳的定义、余归纳的证明原理和余代数 • 形式地介绍递归类型 • 形式地介绍归纳类型和余归纳类型 • 解释 – 代数方法是从“构造的”角度研究抽象数据类型 – 余代数方法是从“观察的”的角度描述像对象、自动机、进程、软件构件等基于状态的系统

– 多态类型系统的语法，包括直谓式的，非直谓式的和type: type版本 – 直谓式多态λ演算，包括和其它两个系统之间的联系，它的等式证明系统和归约、多态声明 – 非直谓式多态λ演算的纵览 – 数据抽象和存在类型 – 类型表达式的分类

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

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第2章 数据流分析（补充）