网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
课件搜索结果(30)
点击切换搜索文库
普通逻辑学(电子教案)
[
哲学
]
类型:电子教案 大小:269.82KB 下载/浏览:5/2409 评论:4 评分:8.5 积分:10
单
命题
及其推理、模态
命题
及其推理、普通逻辑的基本规律、论证等:第一章绪论第二章词项第三章简单
命题
及
关键字:
逻辑学
普通逻辑学
哲学
论证
归纳推理
假说
普通逻辑
词项
复合命题
简单命题
类比推理
哈尔滨理工大学:离散数学
[
数学
]
类型:教学课件 大小:11.46MB 下载/浏览:34/5098 评论:17 评分:8.1 积分:10
概述.ppt01、
命题
逻辑基本概念.ppt02、
命题
逻辑等值演算.ppt03、
命题
逻辑的推理理论.p
关键字:
哈尔滨理工大学
离散数学
命题逻辑
一阶逻辑
集合代数
函数
代数系统
欧拉图
矩阵
根树
哈密顿图
有补格
逻辑学
[
社会
]
类型:电子教案 大小:419.24KB 下载/浏览:34/2344 评论:8 评分:7.1 积分:10
命题
及其推理第三章真值表的判定作用第四章简单
命题
的基本要素—概念第五章性质
命题
及其推理第六章关系
命题
关键字:
逻辑学
论
真值表
命题
假说
天津大学:离散数学
[
数学
]
类型:电子教案 大小:58.55KB 下载/浏览:9/1343 评论:2 评分:6.5 积分:10
天津大学离散数学电子课件,内容包括
命题
逻辑、谓词逻辑、非古典逻辑、模型论、证明论、递归论、公理化集合
关键字:
天津大学
命题逻辑
谓词逻辑
证明论
集合论
CPA考试审计讲义
[
管理
]
类型:参考资料 大小:168.56KB 下载/浏览:2/1067 评论:2 评分:7 积分:10
《CPA考试审计》ppt,内容包括考试情况、
命题
原则、复习方法等。
关键字:
CPA
杨文萍
命题原则
复习
考试
形式逻辑学参考资料
[
数学
]
类型:参考资料 大小:21.31KB 下载/浏览:15/1434 评论:8 评分:9.1 积分:10
形式逻辑学参考资料,主要讲解的内容有
命题
逻辑、词项逻辑、谓词逻辑等。
关键字:
逻辑学
命题逻辑
词项逻辑
谓词逻辑
离散数学课件
[
数学
]
类型:教学课件 大小:248.11KB 下载/浏览:37/2549 评论:9 评分:6.3 积分:10
PPT格式的课件,内容丰富,章节包括:第1章
命题
逻辑第2章谓词逻辑第3章集合第4章关系第5章函数第6
关键字:
命题逻辑
谓词逻辑
集合
关系
函数
代数
西北政法学院:逻辑学
[
哲学
]
类型:教学课件 大小:833.81KB 下载/浏览:19/3356 评论:7 评分:7 积分:10
套习题:第一章绪论第二章
命题
的逻辑分析第三章
命题
推理第四章真值表方法与
命题
演算第五章传统谓词逻辑第
关键字:
西北政法学院
逻辑学
哲学
命题推理
谓词逻辑
谓词演算
假说
侦查
谬误
逻辑基本规律
高等学校计算机专业教材:离散数学
[
数学
]
类型:电子教案 大小:185.1KB 下载/浏览:21/2581 评论:11 评分:7.8 积分:10
章集合的概念第二章二元关系第三章集合的基数第四章
命题
逻辑第五章谓词逻辑第六章代数结构第七章格与布尔代
关键字:
离散数学
数学
集合
二元关系
命题逻辑
谓词逻辑
布尔代数
图
树
刘贵龙
人民邮电出版社
哈密尔顿图
二分图
高等学校21世纪教材:离散数学
[
数学
]
类型:电子教案 大小:1.1MB 下载/浏览:35/1811 评论:6 评分:8.5 积分:10
第一章:
命题
逻辑第二章:谓词逻辑第三章:集合第四章:关系第五章:函数第六章:代数结构概念及性质第七章
关键字:
命题逻辑
离散数学
谓词逻辑
集合
关系
函数
1
[2]
[3]
下一页
相关文库资源
多值逻辑中的命题相关性与逻辑运算研究
概率逻辑中的命题相关性与逻辑运算
浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.2)命题演算 Propositional Equivalences
浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.1.2)命题演算 Propositional Equivalences
人民邮电出版社:《离散数学》第四章 命题逻辑
上海交通大学:《推理与思维训练》教学资源(PPT课件)第三章 必然性推理(下)
《逻辑学》课程PPT:第二章 复合命题及其推理
浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.1.3)谓词与量词 Predicates and Quantifiers
浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.3)谓词与量词 Predicates and Quantifiers
北京大学:《离散数学》系列课程之三《数理逻辑》第26章 命题逻辑(26.3)命题形式和真值表
东南大学远程教育:《离散数学》课程教学资源(PPT课件讲稿)第一章 数理逻辑(命题逻辑)
西北政法大学(西北政法学院):《逻辑学》课程教学资源(PPT课件讲稿)第二章 命题的逻辑分析
东南大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑
河北工业大学:《离散数学》课程PPT教学课件(讲稿)第二章 谓词逻辑
西北政法大学(西北政法学院):《逻辑学》课程教学资源(PPT课件讲稿)第七章 模态逻辑
《智能控制理论与方法》教学资源(PPT讲义课件)模糊逻辑与推理
北京大学:《离散数学》系列课程之三《数理逻辑》第26章 命题逻辑(26.2)命题和联结词
西安交通大学:《智能控制理论与方法》课程教学资源(PPT课件讲稿)模糊逻辑与模糊推理
西安交通大学:《智能控制理论与方法》课程教学资源(PPT课件讲稿)模糊逻辑与推理(2)
西北政法大学(西北政法学院):《逻辑学》课程教学资源(PPT课件讲稿)第二章 命题的逻辑分析
更多》》
热门关键字
SQL数据库
MATLAb
中外民族民俗
质点动力学
右江民族医学院
现代组织理论与管理
现代生物学
位移
同时
罗宾斯
老年医学
矿山地质学
九江职业技术学院
教育学原理
计算器
计算模型
胡中月 安徽大学
管理学原理
高职应用数学
电极法
道路勘测与设计]
OSPF
java程序设计
cet6
IP
b2c
《薪酬管理》
C++语言编程
IT企业管理
it项目管理
Java+Web程序设计
java+继承
java开发综合设计
java课程设计
JAVA语言编程设计
k
labview与虚拟仪器设计
LED显示器
Linux
Linux编程
搜索一下,找到相关课件或文库资源
30
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有