概率统计与数理逻辑课件下载_中国高校课件下载中心

类型：教学课件　大小：715.15KB　下载/浏览：4/2870　评论：3　评分：8　积分：10

结点等）。第一部分数理逻辑第一章命题逻辑第二章谓词逻辑第二部分集合论第三章集合与关系第四章函数第三

立即下载

关键字：离散数学图论格和布尔代数代数系统集合论数理逻辑命题逻辑

国防科学技术大学：数理逻辑（英文）[计算机]

类型：电子图书　大小：3.7MB　下载/浏览：2/1215　评论：1　评分：6　积分：10

国防科学技术大学《数理逻辑》pdf电子图书（英文版），附课程考试模拟试卷。

立即下载

关键字：国防科学技术大学数理逻辑王戟

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

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

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

立即下载

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

北京大学：离散数学（三）[数学]

类型：试卷习题　大小：139.31KB　下载/浏览：2/1634　评论：2　评分：10　积分：10

纲和作业题三大部分（三）：一、集合论与图论.pdf三、数理逻辑.pdf二、代数结构与组合数学.pdf

立即下载

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

简明数学百科全集（原版英文）[数学]

类型：电子图书　大小：179.43MB　下载/浏览：1/933　评论：1　评分：10　积分：10

简明数学百科全集》，全套共分四部，内容共涵盖分析、代数、几何、拓朴、数理逻辑等各方面知识，内容丰富。

立即下载

关键字：简明数学数学分析代数几何拓朴数理逻辑百科

离散数学[数学]

类型：电子教案　大小：964.5KB　下载/浏览：21/1399　评论：4　评分：5.5　积分：10

包括数理逻辑、集合论、代数系统、图论。

立即下载

关键字：离散数学数理逻辑集合论代数系统

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

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

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

立即下载

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

北京大学：离散数学（二）[数学]

类型：教学大纲　大小：202.64KB　下载/浏览：2/1602　评论：2　评分：10　积分：10

进度安排（1）集合论与图论.pdf（2）代数结构与组合数学.pdf（3）数理逻辑.pdf教学计划大纲

立即下载

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

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

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

pt4.1计数原理.ppt4.4排列与组合.ppt4.5排列与组合的生成.ppt5关系.ppt7图

立即下载

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

北京大学：离散数学（一）[数学]

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

配第十五章代数系统第十六章半群与群第十七章群第十八章环与域第十九章格与布尔代数第二十章组合存在性定理

立即下载

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