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

类型：教学课件　大小：2.3MB　下载/浏览：8/3306　评论：7　评分：7　积分：10

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

立即下载

关键字：上海交通大学人工智能计算机卢宏涛产生式系统机器学习专家系统

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

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

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

立即下载

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

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

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

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

立即下载

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

离散数学课件[数学]

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

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

立即下载

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

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

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

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

立即下载

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

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

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

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

立即下载

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

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

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

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

立即下载

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

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

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

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

立即下载

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

离散数学[数学]

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

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

立即下载

关键字：离散数学数学

河北工业大学计算机科学技术与软件学院：离散数学（郭永芳）[计算机]

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

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

立即下载

关键字：河北工业大学计郭永芳集合论代数图论