通过教学使学生掌握租房商务情景中的词语与句式。 （1）如何在中国租房子。 （2）怎样和房东讨价还价。 （3）付房租的形式

• 3.1 汇编语言 • 3.2 数据传送指令 • 3.3 算术运算指令 • 3.4 逻辑操作指令 • 3.5 控制程序转移类指令 • 3.6 位操作类指令

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

1 Introduction 1.1 R website 1.2 Differences between R and S 1.3 Start with R 2 Data with R 2.1 Objects 2.2 Reading data in a file 2.3 Saving data 2.4 generating data 2.5 Manipulating objects 2.5.1 Creating objects 2.5.2 Operators 2.5.3 Accessing the values of an object: the indexing system 2.5.4 Accessing the values of an object with names 2.5.5 Arithmetics and simple functions 2.5.6 Matrix Computation

1 Graphics with R 1.1 Managing graphics 1.1.1 Graphical Functions 1.1.2 Low-level plotting commands 1.1.3 Graphical Parameters 2 Statistical Analysis with R 2.1 Formulae 2.2 Generic Functions 2.3 Packages 3 Programming with R 3.1 Flow Control 3.2 Functions 3.3 Miscellaneous programming tips 3.4 Debugging 3.5 Efficient programming 3.6 R script editors

7.1 伪指令 7.2 算术运算程序的设计 7.3 循环程序的设计 7.4 查表程序的设计 7.5 检索程序的设计 7.6 分支程序的设计 7.7 码制转换程序的设计

• 需求：gap between two domain • 嵌入式系统协同设计方法与流程 • 系统建模方法 – 基于模型的方法 llxx@ustc.edu.cn 2/71 • 可视化 – 基于语言的方法 • SystemC • 计算模型 • 协同设计环境与工具

• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet，1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性？

– RV指令系统 • 指令功能，指令格式与编码，寻址方式 – 汇编程序设计：C语言的机器表示 • 可执行程序生成：编译，汇编，链接，加载 – 指令系统特征

2.1 MCS-51单片机基本结构与类型 2.1.1 MCS-51单片机的基本结构 2.1.2 MCS-51单片机的基本类型 2.2 MCS-51单片机引脚及封装 2.2.1 MCS-51单片机引脚 2.2.2 MCS-51单片机封装 2.3 MCS-51单片机存储器组织 2.3.1 存储器组织 2.3.2 程序存储器地址空间 2.3.3 内部数据存储器空间 2.3.4 特殊功能寄存器(SFR) 2.3.5 片外数据存储器空间 2.4 复位电路