网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(319)
《离散数学》课程教学资源(PPT课件讲稿)第四章 二元关系
文档格式:PPT 文档大小:1.02MB 文档页数:57
4.1 二元关系及其表示法 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包 4.5 等价关系与划分 4.6 次序关系
《离散数学 Discrete Mathematics》课程教学资源(习题集)《集合论与图论》课堂练习3
文档格式:DOC 文档大小:36KB 文档页数:6
《离散数学 Discrete Mathematics》课程教学资源(习题集)《集合论与图论》课堂练习3
《离散数学 Discrete Mathematics》课程教学资源(习题集)《集合论与图论》课堂练习3-07解答(2006级)
文档格式:DOC 文档大小:36KB 文档页数:3
《离散数学 Discrete Mathematics》课程教学资源(习题集)《集合论与图论》课堂练习3-07解答(2006级)
《离散数学》课程PPT教学课件(讲稿)第7章 图的基本概念(7.1)无向图及有向图
文档格式:PPT 文档大小:358KB 文档页数:27
一、无向图与有向图 二、顶点的度数 三、握手定理 四、简单图 五、完全图 六、子图 七、补图
北京大学:《离散数学》系列课程之三:《数理逻辑》第27章(27.6)解释和赋值
文档格式:PDF 文档大小:233.55KB 文档页数:16
一、解释和赋值 解释是对每个符号说明其含义.赋值是指岀每个公式的真假值
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.6)命题演算自然推理形式系统N
文档格式:PDF 文档大小:1.89MB 文档页数:84
一、命题演算的自然推理形式系统N 二、怎么在计算机上实现如下有效推理:
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.5)推理形式
文档格式:PDF 文档大小:176.49KB 文档页数:11
一、前两节介绍了“命题”的形式。 二、本节介绍“推理”的形式。 三、推理是逻辑的研究对象
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.2)命题和联结词
文档格式:PDF 文档大小:225.89KB 文档页数:20
1.什么是命题? 命题是陈述客观外界发生事情的陈述句。 命题是或为真或为假的陈述句
北京大学:《离散数学》系列课程之三:《数理逻辑》第27章(27.3)一阶谓词演算自然推演系统Ng
文档格式:PDF 文档大小:1.95MB 文档页数:81
一、推演系统N的构成 1 给定非逻辑符号集,Ng的构成如下 形式语言:
北京大学:《离散数学》系列课程之三:《数理逻辑》第27章(27.1)一阶谓词演算
文档格式:PDF 文档大小:1.22MB 文档页数:35
一、命题演算形式系统: 1 命题公式 2 语法:形式公理 3 形式规则
首页
上页
16
17
18
19
20
21
22
23
下页
末页
热门关键字
房地产开发
信用制度
溶度分组
强度计算
北方工业大学
药事管理
硕士英语
可行
分析方法
东北大学
《电路分析》
教育学原理
化学中的物理方法
化学原理与方法
化学研究方法
化工信息
华中科技大学
华东交通大学
呼吸内科
光信息
公园设计
公司管理
公路工程管理
公共管理
公共案例分析
公共、关系
个体
儿童发展
创造教育学
创新思维和方法
产权经济
半导体电子
xxx
《运作管理》
《仪器分析》
《物流管理》
《食品机械与设备》
《数值分析》
《食品分析》]
《公共经济学》
搜索一下,找到相关课件或文库资源
319
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有