◼ 什么是句法分析 ◼ 与形式语言句法分析的比较 ◼ 上下文无关语法的分析策略 ◼ 自顶向下分析法 ◼ 自底向上分析法 ◼ 左角分析法 ◼ 上下文无关语法的分析算法 ◼ 移进－归约算法 ◼ Marcus确定性分析算法 ◼ CYK算法 ◼ Earley算法 ◼ Tomita算法 ◼ Chart算法 ◼ 概率上下文无关语法 ◼ 组块分析与部分分析

上编 课文阅读部分 议论文阅读欣赏编 记叙文阅读欣赏编 诗歌阅读欣赏篇 小说、戏剧阅读欣赏篇 下编 应用文写作部分 一、行政公文写作 二、普通事务文书写作 三、调查报告 四、毕业论文 五、演讲稿 六、述职报告 七、日常事务文书

（一）理论课程 1《计算机 C 语言程序设计》课程教学大纲 2《PLC 原理及应用》课程教学大纲 3《电子线路辅助设计》课程教学大纲 4《电装实习》实习教学大纲 5《单片机原理及应用》课程教学大纲 6《单片机原理及应用》实验教学大纲 7《信号分析与处理》课程教学大纲 8《电路分析基础》课程教学大纲 9《虚拟仪器技术》课程教学大纲 10《数字电子电路》课程教学大纲 11《工程训练 2》课程教学大纲 （二）实践课程 12《电装实习》实习教学大纲 13《毕业设计》教学大纲

 2.1 信源的数学模型及分类  2.2 离散信源的信息熵  2.3 信息熵的基本性质和定理  2.4 离散无记忆的扩展信源  2.5 离散平稳信源  2.6 马尔可夫信源  2.7 信源剩余度与自然语言的熵

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 码制转换程序的设计

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