天津理工大学：《离散数学》课程教学资源（PPT课件）第节章 图的基本概念 7.1 无向图及有向图 7.2 通路、回路、图的连通性
文件格式: PPTX大小: 291.48KB页数: 35
天津理工大学：《离散数学》课程教学资源（PPT课件）第二章 谓词逻辑 Predicate Logic 2.5 谓词演算的等价式与蕴含式（2/2）、2. 6 前束范式（Prenex normal form）
文件格式: PPTX大小: 405.79KB页数: 20
天津理工大学：《离散数学》课程教学资源（PPT课件）第二章 谓词逻辑 Predicate Logic 2.5 谓词演算的等价式与蕴含式（1/2）
文件格式: PPTX大小: 219.12KB页数: 9
天津理工大学：《离散数学》课程教学资源（PPT课件）第二章 谓词逻辑 Predicate Logic 2.4 变元的约束（Bound of variable）
文件格式: PPTX大小: 257.89KB页数: 6
天津理工大学：《离散数学》课程教学资源（PPT课件）第二章 谓词逻辑 Predicate Logic 2.3 一阶逻辑合式公式及解释
文件格式: PPTX大小: 185.97KB页数: 5
天津理工大学：《离散数学》课程教学资源（PPT课件）第二章 谓词逻辑 Predicate Logic 2.2 命题函数与量词（Propositional functions & Quantifiers）
文件格式: PPTX大小: 333.03KB页数: 22
天津理工大学：《离散数学》课程教学资源（PPT课件）第二章 谓词逻辑 Predicate Logic 2.1 谓词的概念与表示（Predicate and Its Expression）
文件格式: PPTX大小: 413.79KB页数: 8
3.3 集合中元素的计数 集合的基数与有穷集合 包含排斥原理 有穷集的计数 4.1 集合的笛卡儿积和二元关系 有序对 笛卡儿积及其性质 二元关系的定义 二元关系的表示
文件格式: PPTX大小: 460.23KB页数: 38