计算机图形学是利用计算机研究图形的表示、生成、处理、显示的学科。经过 30 多年的发展，计算机图形 学已成为计算机科学中，最为活跃的分支之一，并得到广泛的应用。本章将介绍计算机图形学的研究内容、发 展历史、应用和图形学前沿的发展方向，同时介绍一些图形硬件的基本原理，使读者对图形学的有关内容有个 概括性的了解

3.1 计算机发展史 ❖3.1.1 计算机的发展史 ❖3.1.2 计算机的类型 ❖3.1.3 计算机的发展趋势 ❖3.1.4 计算机应用领域 3.2 计算思维 ❖3.2.1 计算思维的提出 ❖3.2.2 计算和计算学科 ❖3.2.3 思维和科学思维 ❖3.2.4 计算思维 ❖3.2.5 总结

1.1 第一台电子数字计算机的诞生 1.2 计算机的发展 1.3 中国计算机发展简史 1.4 著名的计算机公司 1.5 著名的计算机科学家 1.6 计算机学术组织 1.7 计算机奖项

前言 Preface 一、课程特点 Feature 目的意义:应用科学能力培养 教学方式:讲课 自学(多媒体教学软件) 实习(计算机实习报告) 二、课程内容 Content 检索基础知识计算机检索技术网络信息资源检索利用

上一章,已经系统地介绍了定积分的基本 理论和计算方法。在这一章中,将利用这些知 识来分析解决一些实际问题。定积分的应用很 广泛,在自然科学和生产实践中有许多实际问 题最后都归结为定积分问题。本章不仅对一些 几何物理量导出计算公式,更重要的是介绍运 用“微元法”将所求的量归结为计算某个定积 分的分析方法

上一章,已经系统地介绍了定积分的基本 理论和计算方法。在这一章中,将利用这些知 识来分析解决一些实际问题。定积分的应用很 广泛,在自然科学和生产实践中有许多实际问 题最后都归结为定积分问题。本章不仅对一些 几何物理量导出计算公式,更重要的是介绍运 用“微元法”将所求的量归结为计算某个定积 分的分析方法

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

• 大数据的魅力 – 数据挖掘、大数据、大数据案例、大数据的特点 • 大数据时代的思维变革 – 样本和全体、精确性和混杂性、因果关系和相关关系 • 大数据的处理 – 几种主要处理方式、MapReduce编程模型 • 大数据的分析 – 关键技术概述、PageRank初步

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

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