西安电子科技大学：《离散数学》课程教学课件（题解）第二章 谓词逻辑 2-3 谓词公式的翻译

西安电子科技大学：《离散数学》课程教学课件（题解）第二章 谓词逻辑 2-1 谓词和量词

§1 函数的概念 §2 逆函数和复合函数 §3 基数的概念 §4* 可数集与不可数集

1 推理定义及形式 2 推理定律与推理规则 3 构造证明法

§1格的概念 §2分配格 §3有补格 §4*布尔代数

2.1 个体、谓词与量词 2.2 谓词公式 2.3 谓词演算的等价式与蕴含式 2.4 前束范式 2.5 谓词逻辑的推理理论

1 、信源的数学模型及分类 2、信息量及其性质 3、离散信源的熵及性质 4、联合熵和条件熵 5、平均互信息量及其性质 6、扩展信源 7、离散有记忆信源的熵 8、马尔可夫信源的信息熵 9、离散信源的信息（速）率和信息含量效率 10、连续随机变量下的熵和平均互信息量

第2章谓词逻辑 2.1谓词逻辑基本概念 2.2谓词公式及其解释 2.3谓词逻辑等值式 2.4一阶逻辑的推理理论

第一节代数结构概述 第二节置换(1) 第二节置换(2) 第三节群 第四节子群

§2离散型随机变量 §3 随机变量的分布函数