网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
课件分类导航:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
课件搜索结果(12)
点击切换搜索文库
离散数学(ppt课件)
[
数学
]
类型:教学课件 大小: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]
下一页
相关文库资源
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.1)数理逻辑
复旦大学:《数理逻辑》课程教学讲义_第2章 命题逻辑
《数理逻辑》课程教学资源(PPT课件讲稿)第1章 命题逻辑的基本概念
天津大学:《离散数学》课程教学资源(PPT课件讲稿)数理逻辑讲义(第一章 命题逻辑、第二章 谓词逻辑)
《离散数学》课程PPT教学课件讲稿(数理逻辑)第二章 命题逻辑的等值和推理演算
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.5)推理形式
中国科学技术大学:《离散数学》课程教学资源(PPT课件讲稿)第一部分 数理逻辑 第二章 谓词逻辑
复旦大学:《数理逻辑》课程教学讲义_第3章 一阶逻辑的语言、第4章 形式证明
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.2)命题和联结词
东南大学:《离散数学》课程教学资源(PPT课件讲稿)第一部分 数理逻辑 第1章 命题逻辑基本概念(主讲:周德宇)
《计算机系统概论》第一讲 数字电路与数理逻辑(陈天洲)
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.6)命题演算自然推理形式系统N
北京大学:《离散数学》系列课程之三:《数理逻辑》第27章(27.3)一阶谓词演算自然推演系统Ng
《数理逻辑》课程教学资源(PPT课件讲稿)第5章 谓词逻辑的等值和推理演算
中国科学技术大学:《离散数学》课程教学资源(PPT课件讲稿)第一部分 数理逻辑 第一章 命题逻辑(主讲:肖明军)
中国科学技术大学:《离散数学》课程教学资源(PPT课件讲稿)第一部分 数理逻辑 第一章 命题逻辑(主讲:肖明军)
东南大学远程教育:《离散数学》课程教学资源(PPT课件讲稿)第一章 数理逻辑(命题逻辑)
《离散数学》课程PPT教学课件讲稿(数理逻辑)第二章 命题逻辑的等值和推理演算
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.3)命题形式和真值表
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.4)联结词的完全集
更多》》
热门关键字
ppt
BR
中风
中断系统
政治发展
习题
上
软件工程导论
就业
二维数组
二级
东北财经大学
储能电池
PS-Br储能电池
二维
动物生理学
东华大学
定价
电源
电路讲
电工电子技术
地震
地壳
创新管理
冲击强度测定
偿债能力
web设计
Visual
VisualBasic程序设计
Web技术应用
VFP语言与程序设计
VBScript
UX设计
SQL数据库
s区元素
PLC电器控制
PKI技术及原理
PCB板设计
LI
1:5
搜索一下,找到相关课件或文库资源
12
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有