谓词逻辑课件下载_中国高校课件下载中心

类型：教学课件　大小：2.3MB　下载/浏览：12/4106　评论：11　评分：6.2　积分：10

涛主讲。共9章内容，主要讲解人工智能概述、基于谓词逻辑的机器推理、产生式系统、知识表示、机器学习、专

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

的逻辑分析第三章命题推理第四章真值表方法与命题演算第五章传统谓词逻辑第六章谓词演算第七章模态逻辑第

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

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

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

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

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

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

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

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

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

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

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

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

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

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

类型：电子教案　大小：822.28KB　下载/浏览：13/5287　评论：5　评分：9　积分：10

内容章节包括：第一篇：数理逻辑命题逻辑、谓词逻辑第二篇：集合论集合与关系、寒暑第三篇：代数系统代数