课件搜索结果(12) 点击切换搜索文库
类型:教学课件 大小: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教学计划大纲.doc
类型:电子教案 大小:2.05MB 下载/浏览:45/2762 评论:19 评分:8.2 积分:10
)计算模型(ComputingModel)1.1逻辑.ppt1.2命题演算.ppt1.3谓词与量词.
类型:教学课件 大小:9.66MB 下载/浏览:5/2590 评论:4 评分:9.5 积分:10
北京大学《离散数学》完整课件,内容包括完整课件、教学大纲和作业题三大部分(一): 第一章 集合 第二章 二元关系 第三章 函数 第四章 自然数 第五章 基数 第六章 序数 第七章 图 第八章 欧拉图与哈密顿图 第九章 树 第十章 图的矩阵表示 第十一章 平面图 第十二章 图的着色 第十三章 支配集、覆盖集、独立集与匹配 第十五章 代数系统 第十六章 半群与群 第十七章 群 第十八章 环与域 第十九章 格与布尔代数 第二十章 组合存在性定理 第二十一章 基本的计数公式 第二十二章 组合计数方法
1[2]下一页
相关文库资源
热门关键字
搜索一下,找到相关课件或文库资源 12 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有