2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

一、《离散数学》 二、《集合论与图论》 三、《代数结构与组合数学》 四、《数理逻辑》

第1章 绪论 第2章 文法 第3章 有穷状态自动机 第4章 正则表达式 第5章 RL的性质 第6章 上下文无关语言 第7章下推自动机 第8章 CFL的性质 第8章 上下文无关语言的性质 第9章 图灵机 第10章 上下文有关语言

2004~2005学年第二学期 科目:离散数学考试试题A卷答案 一、1.A2.C3.C4.D5.a6.b7.b8.a9.c10.c 二、11.(PUQ)UO12.(\x)(x1ax1B)13.{a,b,c},{b,c,d

7.1引言 7.2离散时间信号——序列 7.3离散时间系统的数学模型

5.1 离散时间信号 5.2 离散系统的数学模型和模拟 5.3 离散系统的零输入响应 5.4 离散系统的零状态响应

5.1 离散时间信号 5.2 离散系统的数学模型和模拟 5.3 离散系统的零输入响应 5.4 离散系统的零状态响应

5.1 离散时间信号 5.2 离散系统的数学模型和模拟 5.3 离散系统的零输入响应 5.4 离散系统的零状态响应