1、考试内容:
第一章 集合、映射与运算 (考核比重:10%)
(1)集合的有关概念
(2)映射的有关概念
(3)运算的定义及性质
(4)集合的运算
(5)集合的划分与覆盖
第二章 关系(考核比重:15%)
(1)关系的概念
(2)关系的运算
(3)关系的性质
(4)关系的闭包
(5)等价关系
(6)相容关系
(7)偏序关系
第三章 命题逻辑(考核比重:15%)
(1) 命题的有关概念
(2) 逻辑联结词
(3) 命题公式及其真值表
(4) 命题等值的命题公式
(5) 命题公式的范式
(6) 联结词集合的功能完备性
(7) 命题逻辑中的推理
第四章 谓词逻辑(考核比重:15%)
(1) 个体、谓词、量词和函词
(2) 谓词公式及命题的符号化
(3) 谓词公式的解释及类型
(4) 逻辑等值的谓词公式
(5) 谓词公式的前束范式
(6) 谓词逻辑中的推理
第五章 代数结构(考核比重:15%)
(1) 代数结构简介
(2) 群的定义及性质
(3) 环和域
(4) 格与布尔代数
第六章 图论(考核比重:20%)
(1) 图的基本概念
(2) 节点的度数
(3) 子图、图的运算和图同构
(4) 路与回路
(5) 图的连通性
(6) 图的矩阵表示
(7) 赋权图及短路径
第七章 几类特殊的图(考核比重:10%)
(1) 欧拉图
(2) 哈密尔顿图
(3) 无向图
(4) 有向图
2、考试的要求和目的
《离散数学》是属于现代数学的范畴,是一门重要的专业基础课。它在计算机程序设计语言、数据结构、操作系统、软件工程、数据库、人工智能等方面都有着广泛的应用。本课程包括数理逻辑、集合论、代数结构和图论四个部分的内容。通过本课程的学习,培养学生的抽象思维和缜密概括的能力,使学生具有独立学习和工作的能力。
7.3表达式的翻译“掌握”如下翻译:算数表达式、布尔表达式
3.3正则表达式形式定义“领会”如下的概念:正则表达式“掌握”如下方法:正则表达式转化为NFA
第七章几类特殊的图(考核比重:10%)(1)欧拉图(2)哈密尔顿图(3)无向图(4)有向图
考试的内容、要求和目的1、考试内容:第一章集合、映射与运算(考核比重:10%)(1)集合的有关概念(2)映射的有关概念(3)运算的定义及性质(4)集合的运算(5)集合的划分与覆盖第二章关系(考核比重:15%)(1)关系的概念(2)关系的运算(3)关系的性质(4)关系的闭包(5)等价关系(6)相容关系(7)偏序关系第三章命题逻辑(考核比重:15%)(1)命
(三)考核的知识点与考核要求1.1程序的翻译及运行“领会”如下的概念:源程序、目标程序、解释程序、编译程序1.2编译过程概述“领会”编译程序的工作过程,包括:词法分析程序的作用、语法分析程序的作用、语义分析程序的作用、使用中间代码的意义、优化、目标代码的生成1.3编译程序的结构框图“识记”编译程序的总体框架1.4编译程序的开发“领会”自编译、交叉编译、自展、移植,开发技术。第2章
6.3LR(K)分析方法“识记”自下向上语法分析方法的思想及逻辑结构。“掌握”如下构造方法:LR(0)项目集规范族、LR(1)项目集规范族、LR(0)分析表、SLR(1)分析表、LR(1)分析表、LALR(1)分析表。第7章语义分析及中间代码生成(考核比重:15%)(一)课程内容(二)要求与目的本章要求:了解属性文法的概念,了解使用中间代码的意义及几种中间代码的形式,掌握赋值语句、布
第二章关系(考核比重:15%)(1)关系的概念(2)关系的运算(3)关系的性质(4)关系的闭包(5)等价关系(6)相容关系(7)偏序关系
5.4LL(K)分析方法“掌握”:LL(1)的逻辑结构、分析表的生成、分析过程的描述
2.3语法树和二义性“领会”如下概念:语法树、句型、子树、短语、简单短语、句柄、文法二义性“掌握”如下方法:由句型构造语法树,找出短语、简单短语、句柄,证明二义性文法。
3.4下推自动机PDA“领会”如下的概念:下推自动机第4章词法分析(考核比重:5%)(一)课程内容(二)要求与目的本章要求:了解词法分析器的功能,熟悉词法分析的过程和方法。本章重点:单词的分类。(三)考核的知识点与考核要求