中国科学技术大学：《离散数学》课程教学资源（PPT课件讲稿）第二部分 集合论 第三章 集合代数
文件格式: PPT大小: 398.5KB页数: 28
2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用
文件格式: PPT大小: 899KB页数: 86
1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统
文件格式: PPT大小: 1.56MB页数: 87
第一章 矩阵及其应用 第二章 行列式 第三章 矩阵的秩与线性方程组 第4章 向量空间 第5章 相似矩阵 第6章 二次型
文件格式: PDF大小: 1MB页数: 132
ON-LINE LIST COLOURING OF RANDOM GRAPHS
文件格式: PDF大小: 196.82KB页数: 13
香港大学：Solving Polynomial Equations（2006.12.5）
文件格式: PDF大小: 256.96KB页数: 76
Examples of voting system What should be an ideal voting system ? Arrow's Impossibility Theorem Main idea of the proof of Arrow's Impossibility Theorem Yes-no voting systems and the dimension of these systems. How to quantify political power ? Examples of power indices and their applications to the LEGCO voting system
文件格式: PDF大小: 580.84KB页数: 95