命题逻辑课件下载_中国高校课件下载中心

类型：教学课件　大小：11.46MB　下载/浏览：34/4201　评论：17　评分：8.1　积分：10

命题逻辑基本概念.ppt02、命题逻辑等值演算.ppt03、命题逻辑的推理理论.ppt04、一阶逻辑

立即下载

关键字：哈尔滨理工大学离散数学命题逻辑一阶逻辑集合代数函数代数系统欧拉图矩阵根树哈密顿图有补格

华东交通大学：离散数学[数学]

类型：电子教案　大小：832.83KB　下载/浏览：25/2731　评论：18　评分：6.9　积分：10

学离散数学前6章，内容包括：01、命题逻辑.ppt02、一阶逻辑.ppt03、集合的基本概念和运算

立即下载

关键字：华东交通大学集合二元关系函数格和布尔离散数学

天津大学：离散数学[数学]

类型：电子教案　大小：58.55KB　下载/浏览：9/1172　评论：2　评分：6.5　积分：10

天津大学离散数学电子课件，内容包括命题逻辑、谓词逻辑、非古典逻辑、模型论、证明论、递归论、公理化集

立即下载

关键字：天津大学命题逻辑谓词逻辑证明论集合论

离散数学课件[数学]

类型：教学课件　大小：248.11KB　下载/浏览：37/2060　评论：9　评分：6.3　积分：10

格式的课件，内容丰富，章节包括：第1章命题逻辑第2章谓词逻辑第3章集合第4章关系第5章函数第6章代

立即下载

关键字：命题逻辑谓词逻辑集合关系函数代数

高等学校21世纪教材：离散数学[数学]

类型：电子教案　大小：1.1MB　下载/浏览：35/1651　评论：6　评分：8.5　积分：10

第一章：命题逻辑第二章：谓词逻辑第三章：集合第四章：关系第五章：函数第六章：代数结构概念及性质第七章

立即下载

关键字：命题逻辑离散数学谓词逻辑集合关系函数

高等学校计算机专业教材：离散数学[数学]

类型：电子教案　大小：185.1KB　下载/浏览：21/2214　评论：11　评分：7.8　积分：10

念第二章二元关系第三章集合的基数第四章命题逻辑第五章谓词逻辑第六章代数结构第七章格与布尔代数第八章

立即下载

关键字：离散数学数学集合二元关系命题逻辑谓词逻辑布尔代数图树刘贵龙人民邮电出版社哈密尔顿图二分图

西安电子科技大学出版社：离散数学[数学]

类型：教学课件　大小：10.08MB　下载/浏览：45/3185　评论：12　评分：8.9　积分：10

著，李林娜作，共十章，章节完整：第1章命题逻辑第2章一阶逻辑第3章集合的基本概念和运算第4章二元关

立即下载

关键字：西安电子科技大学集合二元关系函数格和布尔蔡英刘均梅离散数学李林

形式逻辑学参考资料[数学]

类型：参考资料　大小：21.31KB　下载/浏览：15/1209　评论：8　评分：9.1　积分：10

形式逻辑学参考资料，主要讲解的内容有命题逻辑、词项逻辑、谓词逻辑等。

立即下载

关键字：逻辑学命题逻辑词项逻辑谓词逻辑

离散数学[数学]

类型：电子教案　大小：2.21MB　下载/浏览：55/2261　评论：10　评分：6.6　积分：10

包括命题逻辑、谓词逻辑、集合、二元关系、函数、代数系统、群、环和域、格与布尔代数。

立即下载

关键字：离散数学数学

人民邮电出版社：离散数学（刘贵龙）[数学]

类型：电子教案　大小：185.08KB　下载/浏览：9/1240　评论：1　评分：10　积分：10

念第二章二元关系第三章集合的基数第四章命题逻辑第五章谓词逻辑第六章代数结构第七章格与布尔代数第八章

立即下载

关键字：人民邮电出版社刘贵龙集合二元格与布尔图树