网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
课件分类导航
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
课件搜索结果(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)数理逻辑
《离散数学》课程PPT教学课件讲稿(数理逻辑)第二章 命题逻辑的等值和推理演算
复旦大学哲学系:《新编现代西方哲学》课程教学资源(PPT课件讲稿)第九章 分析哲学
北京大学:《离散数学》系列课程之一《集合论与图论》内容介绍
北京大学:《离散数学》系列课程之三:《数理逻辑》第27章(27.2)一阶语言
北京大学:《离散数学》系列课程之三:《数理逻辑》第27章(27.4)一阶谓词演算的形式系统KC
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.2)命题和联结词
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.4)联结词的完全集
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.6)命题演算自然推理形式系统N
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.8)N与P的等价性
信息科学技术学院2003-2004学年第一学期本科生期末考试试卷(数理逻辑)
国防科学技术大学:《数理逻辑》课程考试模拟试卷
国防科学技术大学:《数理逻辑》(英文版)Lecture 2 Propositional Calculus
国防科学技术大学:《数理逻辑》(英文版)Lecture 4 Propositional Calculus(Cont’d)
国防科学技术大学:《数理逻辑》(英文版)Lecture 6 Reasoning in Predicate Calculus
国防科学技术大学:《数理逻辑》(英文版)Lecture 8 Semantics
国防科学技术大学:《数理逻辑》(英文版)Lecture 10 Completenss
人民邮电出版社:《离散数学》第四章 命题逻辑(刘贵龙)
高等学校计算机专业教材:《离散数学》课程PPT课件_第四章 命题逻辑
《计算机系统概论》第一讲 数字电路与数理逻辑(陈天洲)
更多》》
热门关键字
医务社会工作
网络基础课程
交通工程
工艺规程设计
Web设计
医学科研设计
数值
数据分布
实用程序
实分析
气压
企业上市
分形
分析力学
创新大学
传热自测
北大光华
《农业生物环境原理》
生态学
沈阳化工学院
燃烧过程
普通动物学
南昌航空工业学院
媒体设计
晋中职业技术学院
建筑经济与管理
计算机辅助设计3D
机械制造工艺学
货代讲座
国史十六讲
国贸原理
光泽
公共基础课
工数分析
工厂电气
出版
6
北京邮电大学出版社
本科
半导体器件原理
搜索一下,找到相关课件或文库资源
12
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有