• 基本知识 – 多核体系结构、并行编程模型 • 内存一致性模型 – 严格一致性模型、顺序一致性模型、内存一致性模型的重要性 • 共享变量并行编程模型 – 同步、锁、临界区、条件变量、死锁、数据竞争 • 消息传递并行编程模型 – 消息传递、同步与异步

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

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

1. 大数据时代 2. 大数据概念 3. 大数据的影响 4. 大数据的应用 5. 大数据关键技术 6. 大数据计算模式 7. 大数据产业 8. 大数据与云计算、物联网的关系 9. 大数据在中医药及生物医学领域的应用

《计算机科学技术导论》课程教学资源（PPT课件讲稿）第8章 计算机科学技术的研究范及在各领域的应用

《计算机科学技术导论》课程教学资源（PPT课件讲稿）第9章 计算机科学技术学科适应领域与择业

《计算机科学技术导论》课程教学资源（PPT课件讲稿）第1章 计算机科学技术的基础知识

《计算机科学技术导论》课程教学资源（PPT课件讲稿）第5章 数据库系统与信息系统

《计算机科学技术导论》课程教学资源（PPT课件讲稿）章节目录

《计算机科学技术导论》课程教学资源（PPT课件讲稿）第10章 计算机常用软件介绍