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

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

• 基本知识 – 可计算理论, 计算资源, 计算复杂性理论, 算法分析 • 复杂性的计量 – 问题规模、复杂性函数、最坏、最好和平均三种情况的时间复杂性 • 复杂性的渐近行为及其阶 – 复杂性的渐近行为、渐近意义下的记号O、记号O的运算规则、复杂性渐近阶分析的重要性 • 算法复杂性渐近阶的分析 – 算法的复杂性渐近阶的分析、语句规则的例举

• 基本知识 – 人−机−物三元世界、云计算、未来网、物联网、泛在网、图灵机计算模型、网域计算模型 • 交互计算 – 经典计算与交互计算、交互的特点、交互的机器模型、能描述交互的演算 • 从归纳到余归纳 – 良基集、非良基集、余归纳、互模拟 • 从代数到余代数 – 笛卡尔积, 可区分并, 余代数, 代数和余代数的区别

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

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

一． 源码正确编译的条件，软件运行的环境要求： java:jdk1.5,eclipse3.0 开发,开发环境：windows xp。运行需要 java:jre1.5 支持

早期程序员们使用机器语言(Machine Language) 来进行编程运算,直接对以二进制表示的机器代 码进行操作。后来为了便于阅读,人们开始用一 些特定的符号来代替某些操作,然后由专门的转 换程序将这些符号转换为机器语言。这种语言相 对于机器语言来说,比较容易记忆 和学习,被称为符号语言,或汇编语言

1.把问题抽象为一个带有一般性的数学问题,即数 学化。这一步要引入一些数学概念,给出所求问题 的已知条件、所要求的结果、以及在已知条件和所 要求的结果之间存在着的隐式或显式的联系

5.1程序设计概念 5.2程序设计语言的发展 5.3程序设计语言中的一些术 5.4结构化程序设计方法 5.5面向对象程序设计 5.6流行语言介绍 5.7程序设计语言的发展趋势