文件名称：北邮）离散数学教案.rar
文件大小：29.13MB
文件格式：RAR
更新时间：2015-05-28 14:02:43
北邮）离散数学教案.rar
北邮）离散数学教案.rar 北邮）离散数学教案.rar
【文件预览】：
（北邮）离散数学教案
----0引言.ppt(101KB)
----平面图()
--------平面图‘着色.doc(25KB)
----集合，数理逻辑()
--------10谓词和量词.ppt(1.04MB)
--------4等值关系.ppt(969KB)
--------12一阶逻辑等值演算.ppt(1.01MB)
--------1命题及其符号化.ppt(1.01MB)
--------8自然推理系统.ppt(901KB)
--------11一阶语言.ppt(1.02MB)
--------13一阶逻辑形式推理.ppt(1.12MB)
--------7推理的形式结构.ppt(1.07MB)
--------2合式公式和真值赋值.ppt(933KB)
--------5联结词的全功能集.ppt(893KB)
--------3真值表和真值函数.ppt(899KB)
--------6范式.ppt(1.07MB)
--------9常见证明方法.ppt(979KB)
--------集合论()
----集合，数理逻辑.rar(23.45MB)