谓词演算课件下载_中国高校课件下载中心

类型：教学课件　大小：9.66MB　下载/浏览：5/3271　评论：4　评分：9.5　积分：10

北京大学《离散数学》完整课件，内容包括完整课件、教学大纲和作业题三大部分（一）：第一章集合第二章二元关系第三章函数第四章自然数第五章基数第六章序数第七章图第八章欧拉图与哈密顿图第九章树第十章图的矩阵表示第十一章平面图第十二章图的着色第十三章支配集、覆盖集、独立集与匹配第十五章代数系统第十六章半群与群第十七章群第十八章环与域第十九章格与布尔代数第二十章组合存在性定理第二十一章基本的计数公式第二十二章组合计数方法

关键字：北京大学离散数学数学代数系统半群格与布尔代数欧拉图哈密顿图自然数二元关系

西北政法学院：逻辑学[哲学]

类型：教学课件　大小：833.81KB　下载/浏览：19/3356　评论：7　评分：7　积分：10

章命题推理第四章真值表方法与命题演算第五章传统谓词逻辑第六章谓词演算第七章模态逻辑第八章归纳逻辑第九

关键字：西北政法学院逻辑学哲学命题推理谓词逻辑谓词演算假说侦查谬误逻辑基本规律

浙江大学：离散数学讲义[数学]

类型：电子教案　大小：2.05MB　下载/浏览：45/3468　评论：19　评分：8.2　积分：10

odel）1.1逻辑.ppt1.2命题演算.ppt1.3谓词与量词.ppt1.4-5集合.ppt2

关键字：浙江大学离散数学集合论组合论图论代数结构计算模型算法矩阵二元关系