文件名称:北京邮电大学离散数学课件
文件大小:1.16MB
文件格式:RAR
更新时间:2012-04-22 04:11:37
北邮 离散数学
包括离散数学数理逻辑简介 命题 命题演算 命题范式 谓词演算 等等
【文件预览】:
北京邮电大学_离散数学
----离散数学ch2[1]谓词演算.ppt(635KB)
----离散数学ch1[2]命题演算.ppt(502KB)
----离散数学ch2[2]谓词逻辑的等值 .ppt(928KB)
----离散数学ch2[4]应用.ppt(446KB)
----离散数学ch1[4]命题演算的推理.ppt(479KB)
----离散数学ch0[1].ppt(451KB)
----离散数学ch1[1]命题.ppt(361KB)
----离散数学ch1[3]命题范式.ppt(195KB)
----离散数学ch2[3]推理演算.ppt(643KB)
----离散数学ch1[0]数理逻辑简介.ppt(217KB)