网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
课件分类导航
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(102)
复旦大学:《数理逻辑》课程教学资源(讲义)第5章 一阶语言的结构和真值理论
文档格式:PDF 文档大小:289.34KB 文档页数:10
第1节 一阶语言的结构 第2节 可定义性 第3节 同态和同构
复旦大学:《数理逻辑》课程教学资源(讲义)第7章 递归论基本知识
文档格式:PDF 文档大小:381.72KB 文档页数:22
第1节 原始递归函数 第2节 递归函数 第3节 图灵机 第4节 图灵可计算函数与部分递归函数 第5节 递归可枚举集
复旦大学:《数理逻辑》课程教学资源(讲义)第9章 哥德尔第一不完全性定理、第10章 哥德尔第二不完全性定理
文档格式:PDF 文档大小:532.34KB 文档页数:46
第1节 可表示性 第2节 语法的算术化 第3节 不动点引理和递归定理 第4节 不可定义性,不完全性和不可判定性 第1节 可证性条件 第2节 第二可证性条件 (D2) 的证明 第3节 第三可证性条件 (D3) 的证明 第4节 哥德尔第二不完全性定理 第5节 自然的不可判定语句
上海交通大学:《离散数学》课程教学资源(PPT课件)数理逻辑——第9章 集合
文档格式:PPT 文档大小:1.25MB 文档页数:134
9 . 1 集合的概念和表示方法 9.2 集合间的关系和特殊集合 9.3集合的运算 9.4 集合的图形表示法 9.5 集合运算的性质和证明 9.6 有限集合的基数 9.7 集合论公理系统
《离散数学》课程PPT教学课件讲稿(数理逻辑)第二章 命题逻辑的等值和推理演算
文档格式:PPT 文档大小:173KB 文档页数:74
2.1 等值定理 2.2 等值公式 2.2.3 置换规则 2.2.4 等值演算举例 2.4 联结词的完备集 2.4.1 命题联结词的个数 2.4.2 联结词的完备集 2.5 对偶式 2.6 范式
中国科学技术大学:《离散数学》课程教学资源(PPT课件讲稿)第一部分 数理逻辑 第一章 命题逻辑(主讲:肖明军)
文档格式:PPT 文档大小:1.58MB 文档页数:94
1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统
中国科学技术大学:《离散数学》课程教学资源(PPT课件讲稿)第一部分 数理逻辑 第二章 谓词逻辑
文档格式:PPT 文档大小:899KB 文档页数:86
2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用
上海交通大学:《离散数学》课程教学资源(PPT课件讲稿)第一部分 数理逻辑(主讲:董笑菊)
文档格式:PPT 文档大小:1.19MB 文档页数:72
命题的基本概念 命题联结词 命题合式公式、重言式 自然语句的形式化
东南大学:《离散数学》课程教学资源(PPT课件讲稿)第一部分 数理逻辑 第1章 命题逻辑基本概念
文档格式:PPT 文档大小:1.27MB 文档页数:59
命题与联结词 命题及其分类 联结词与复合命题 命题公式及其赋值
《数理逻辑》课程教学资源(PPT课件讲稿)第1章 命题逻辑的基本概念
文档格式:PPT 文档大小:216.5KB 文档页数:53
命题逻辑研究的是命题的推理演算. 命题逻辑的基本概念 命题联结词 合式公式、重言式 自然语句的形式化
首页
上页
2
3
4
5
6
7
8
9
下页
末页
热门关键字
园林景观与设计
有效教学
法学方法论
电路讲]
光干涉
光度分析
构件设计
供应
工业工程导论
工科数学
工程控制工程]
工程管理
高效焊接方法
概率统计
分子生物
分子]
分离系统
防爆
番禺职业技术学院
多元
多媒体应用
对称
东北农业大学]
电池]
地壳]
地基
单臂电桥
大一数学
大学英语/大学英语听力
创意设计]
传播经济学
编译]
ERP原理
《排球》
保健学]
PDF
CI形象设计
《和声》
“微机原理”
《测控电路》
搜索一下,找到相关课件或文库资源
102
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有