• 离散数学和计算机科学的关系 – 离散数学的特点、与计算机科学的关系 • 基本知识 – 偏序集合、最小上界、完全偏序集合、函数序、函数的单调性和连续性 • 递归函数的定义式的求解 – 函数的不动点、递归函数定义、递归函数定义的解、不动点算子、最小不动点定理 • 编程语言递归函数的数学语义

第一单元：初识Python的世界 第二单元：Python基础知识 第三单元：Python字符串输入输出 第四单元：Python的组合数据类型 第五单元：Python程序的流程控制 第六单元：用函数实现代码复用 第七单元：正则表达式 第八单元：面向对象编程 第九单元：文件操作 第十单元：Python异常处理 第十一单元：Python的模块使用与程序打包

第九章 数控加工技术 一、数控技术概述 二、数控机床的组成及工作原理 三、数控机床的加工及其工艺规划 四、数控加工编程 第十章 先进制造技术与生产模式 一、超精密加工与微细加工 二、高速切削 三、计算机集成制造系统 四、其他先进生产模式

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

• 递归函数和不动点算子，以及PCF语言的编程实例 • 基于完全偏序集合的，带不动点算子的类型化λ演算的论域理论模型 • 不动点归纳法，这是一种对递归定义进行推理的证明方法

VB.NET的集成开发环境 VB.NET的标准控件 VB.NET数据类型 程序控制结构 面向对象及事件驱动的编程特点

3.1 面向对象软件开发概述 3.2 类的定义与对象的创建 3.3 Java的继承与多态 3.4 Java的非访问控制符 3.5 Java的包与访问控制符 3.6 Java的接口 3.7 Java的异常处理机制 3.8 内部类与匿名类 3.9 Java基础类与工具类

• 嵌入式操作系统概述 – 嵌入式操作系统体系结构 – 典型的嵌入式操作系统 • RTOS基本概念 llxx@ustc.edu.cn 2/94 – 编程模型 • RTOS内核功能 • RTOS的性能指标

内容提要 • ARM体系结构概览 – ARM历史 – ARM体系结构特征 – ARM片上总线AMBA – ARM对调试的支持 – 虚存管理 • ARM编程模型 – ARM微处理器的工作状态 – ARM体系结构的存储器模式 – ARM微处理器的操作模式 – ARM体系结构的寄存器组织 – ARM微处理器的异常状态 • Cortex M处理器

1. 定时的硬件设备 实时时钟RTC 时间戳计数器TSC 可编程间隔定时器PIT .2 Linux的计时体系结构 滴答产生机制 Jiffies变量 Linux的时钟源 xtime变量 时钟中断处理 软定时器 .3 延迟函数 4. 相关API和命令