2.1 二元关系 2.2 关系的性质 2.3 关系的运算 2.4 关系数据库的一个实例 2.5 关系的闭包 2.6 等价关系与划分 2.7 次序关系
文件格式: PDF大小: 944.29KB页数: 151
1.1 集合的表示 1.2 集合的子集 1.3 笛卡尔积 1.4 集合的运算 1.5 罗素悖论
文件格式: PDF大小: 795.17KB页数: 140
复旦大学：《离散数学 Discrete Mathematics》英文讲义_15 Application and Limitations
文件格式: PDF大小: 153.44KB页数: 4
复旦大学：《离散数学 Discrete Mathematics》英文讲义_14 Soundness and Completeness of Predicate Logic
文件格式: PDF大小: 59.23KB页数: 5
复旦大学：《离散数学 Discrete Mathematics》英文讲义_13 Tableau Proof of Predicate Logic
文件格式: PDF大小: 44.21KB页数: 4
复旦大学：《离散数学 Discrete Mathematics》英文讲义_12 Semantics of Predicated Language
文件格式: PDF大小: 152.95KB页数: 6
复旦大学：《离散数学 Discrete Mathematics》英文讲义_11 Term, Formula and Formation Tree
文件格式: PDF大小: 141.07KB页数: 6
复旦大学：《离散数学 Discrete Mathematics》英文讲义_10 Predicates and Quantifiers
文件格式: PDF大小: 124.08KB页数: 5
复旦大学：《离散数学 Discrete Mathematics》英文讲义_09 Deduction from Premises,Compactness, and Applications
文件格式: PDF大小: 191.05KB页数: 7