一.填空(共计26分) 1.(每空1分)令P:天气好Q:我有时间.R:我在家.S:我上街 将下面各个命题的符号表达式填在各个命题后面的括号内 (1).或者我上街,或者我在家.( ) (2)仅当天气好,我才上街.( )

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

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

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

课程目的和基本要求：·课程性质 技术基础 ·基础知识要求 数学分析(或者高等数学),离散数学 ·主要特点 抽象和形式化 理论证明和构造性 基本模型的建立与性质

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

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

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

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