网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(1151)
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.8)N与P的等价性
文档格式:PDF 文档大小:752.21KB 文档页数:23
一、命题演算推理形式系统N和P 二、相同之处: 都由四个组成部分 一公式的构成方式相同 一都是为了推理
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.9)赋值
文档格式:PDF 文档大小:2.33MB 文档页数:67
一、命题演算推理形式系统N和P 二、N和P的核心是推理。 三、但在N或P中,符号、公式本身是没有含义的。在推理过程中并不看公式的真假,而只看是否为公理或规则
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.4)联结词的完全集
文档格式:PDF 文档大小:195.24KB 文档页数:18
为什么只考虑五个联结词?即 这五个联结词能否表示所有联结词? 这五个联结词是否有多余的? 要回答这两个问题,必须回答:
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.10)可靠性、和谐性与完备性
文档格式:PDF 文档大小:550.69KB 文档页数:16
一、命题演算推理形式系统P(和N)语法 二、语法的核心是推理:a? 三、P是符号演算。 四、公式的含义:真、假、永真等语义
北京大学:《离散数学》系列课程之三:《数理逻辑》第27章(27.4)一阶谓词演算的形式系统KC
文档格式:PDF 文档大小:204.26KB 文档页数:16
一、KC是一个较Nc简洁的谓词演算形式系统 二、Kc是在P的基础上建立的 三、Kc的各组成部分如下:
北京大学:《离散数学》系列课程之一《集合论与图论》第22讲 图的矩阵表示
文档格式:PDF 文档大小:912.91KB 文档页数:52
1.关联矩阵M(D),M(G) 2.用基本联矩阵M(G)求所有生成树 3.邻接矩阵A(D),相邻矩阵A(G) 4.用A的幂求不同长度通路(回路)总数 米 5.可达矩阵P(D),连通矩阵P(G) 6.单源最短路径问题, Dijkstra算法
北京大学:《离散数学》系列课程之一《集合论与图论》第18讲 哈密顿图
文档格式:PDF 文档大小:887.18KB 文档页数:48
1.周游世界,哈密顿通(回)路,哈密顿图 2.判定哈密顿图的必要条件 3.判定哈密顿图的充分条件 4.边不重的哈密顿回路 5.货郎问题,计算复杂性
北京大学:《离散数学》系列课程之一《集合论与图论》第8讲 等价关系与序关系
文档格式:PDF 文档大小:1.16MB 文档页数:63
一、等价关系,等价类,商集 二、划分,第二类 Stirling数 三、偏序,线序,拟序,良序 四、哈斯图 五、特殊元素:最?元,极?元,?界,?确界 六、(反)链
北京大学:《离散数学》系列课程之一《集合论与图论》第9讲 函数
文档格式:PDF 文档大小:859.72KB 文档页数:44
1 函数,偏函数,全函数真偏函数 2 单射,满射双射计数问题 3 象,原象 4 常数函数,恒等函数,特征函数,单调函数, 5 自然映射 6 合成(复合)反函数,单边逆(左逆右逆) 7 构造双射(有穷集,无穷集)
西北大学信息科学与技术学院:《信息与编码》第六章 波形信源和波形信道
文档格式:PPT 文档大小:415.5KB 文档页数:47
第一节波形信源的统计特性和离散化 第二节连续信源和信源的信息测度 第三节具有最大熵的连续信源 第四节连续信道和波形信道的分类 第五节连续信道和波形信道的信息传输率 第六节连续信道和波形信道的信道容量 第七节连续信道编码定理
首页
上页
105
106
107
108
109
110
111
112
下页
末页
热门关键字
盈利能力
普通微生物学
机械设计制造
国际货物运输
共振
《食品分析》
重庆大学
中断技术
制图与人机工程学
应数
液压传动与气压传动
学习管理
信息技术教学与课程
小波分析
物流战略与运作管理
无数
微生物与免疫
社区护理学
企业偿债能力
控制器
科学史
解调电路
教师职业能力
交通运输与管理
计算机信息技术基础
环境与规划设计
海洋地理
哈尔滨工程大学
光波
公共组织财务管理
多媒体演示设计
电子学
大学心理健康教育
草原管理学
《市场营销》
《汽车设计》
《中级财务会计》
CPA财务与成本管理
《遗传学》
《食品生物化学》
搜索一下,找到相关课件或文库资源
1151
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有