第一章证据法学概述 第一节 证据法学的研究对象 第二节 证据法学的理论基础 第三节 证据法学的体系 第四节 证据法学的研究方法 第二章 外国证据制度的历史沿革 第一节 神示证据制度 第二节 法定证据制度 第三节 自由心证证据制度 第四节内心确信证据制度 第三章 中国证据制度的历史发展 第一节中国古代证据制度 第二节中国近代证据制度 第三节中国当代证据制度

第一节 映射与函数 二、映射 三、函数 一、集合 第二节 数列的极限 二 、收敛数列的性质 三 、极限存在准则 一、数列极限的定义

一、教学目的： 编译原理课程是计算机科学与技术专业学生的专业骨干课之一。通过学习这门课 程，使学生掌握编译程序的基本原理、方法和实现技术，使学生更好的理解程序 语言的内部机制，培养学生初步掌握设计大型系统软件的方法、技术以及设计大 型软件的能力

一、简答题（60 分） 1． 编译程序在逻辑上由哪几部分组成？ 六个阶段: 词法分析,语法分析,语义分析,中间代码生成,中间代码优化和目标代码生成

1. 小语言Micro的定义 2. Micro程序的编译过程 3. 表达式的处理

一、语义处理的抽象描述。 二、作用：自动实现语法和语义检查 三、分类：

一、目标代码(单寄存器) 二、临时变量的存储空间分配 三、寄存器的分配和释放

一、描述程序设计语言中单词的一种简单而且数学化的工具。 二、表示符号串的构成模式 三、正则表达式r定义了一个符号串集合rs

一、 语法分析概述 二、文法 三、进行语法分析的几种方法 四、语法错误处理

递归下降法(Recursive-Descent Parsing) 对每个非终极符按其产生式结构产生相应 语法分析子程序. 终极符产生匹配命令 非终极符则产生调用命令 文法递归相应子程序也递归，所以称这种 方法为递归子程序方法或递归下降法