网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(579)
华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1/2)
文档格式:PPT 文档大小:1.07MB 文档页数:87
1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论
2013年下半年国考资格证笔试系列讲座:教师资格证考试幼儿园保教知识与能力命题规律与重点点拨
文档格式:PPT 文档大小:3.27MB 文档页数:48
一、命题规律之总览 二、命题规律之近看 三、重点之四两拨千斤
西安电子科技大学出版社:《计算机操作系统》课程教材教学资源(讲义与试题)第9章 综合模拟试题(含答案)
文档格式:DOC 文档大小:203KB 文档页数:21
判断改错题(判断下列命题的正确性,并对错误命题说明理由,正确命题不加说明。(10分) 1.一个作业由若干作业步组成,在多道程序系统中这些作业步可以并发执行 2.多道程序的引入主要是为了提高CP的利用率 3.不同进程所包含的程序必定相同
西安电子科技大学出版社:《计算机操作系统》课程教材教学资源(讲义与试题)第9章 综合模拟试题(含答案)
文档格式:DOC 文档大小:429KB 文档页数:46
判断改错题(判断下列命题的正确性,并对错误命题说明理由,正确命题不加说明。(10分) 1.一个作业由若干作业步组成,在多道程序系统中这些作业步可以并发执行 2.多道程序的引入主要是为了提高CP的利用率
西北政法大学(西北政法学院):《逻辑学》课程教学资源(PPT课件讲稿)第五章 传统谓词逻辑
文档格式:PPT 文档大小:355KB 文档页数:54
一、词项的特征明确方法 二、性质命题的认知与对当关系 三、性质命题主谓项的周延性与传统谓词 四、推理的有效性 五、命题的变形推理考察 六、三段论的分析与应用
西北政法大学(西北政法学院):《逻辑学》课程教学资源(试卷习题)练习题及参考答案
文档格式:DOC 文档大小:564.5KB 文档页数:126
第一章绪论 第二章命题的逻辑分析 第三章命题推理的形式 第四章真值表方法与命题演算 第五章传统谓词逻辑 第六章谓词演算 第七章模态逻辑 第八章归纳逻辑 第九章假说与侦查假设 第十章论证与论辩 第十一章谬误 第十二章逻辑基本规律
北京大学:《高等代数》课程教学资源(讲义)第二章 向量空间与矩阵(2.2)矩阵的秩
文档格式:DOC 文档大小:87KB 文档页数:2
第二章2矩阵的秩 2.1.1矩阵的行秩与列秩、矩阵的转置 定义2.1矩阵的行秩与列秩。 一个矩阵A的行向量组的秩成为A的行秩它的列向量组的秩称为A的列秩。 命题2.1矩阵的行(列)初等变换不改变行(列)秩 证明只需证明行变换不该行秩。容易证明经过任意一种初等行变换,得到的行向 量组与原来的向量组线性等价,所以命题成立。证毕。 定义2.2矩阵的转置 把矩阵A的行与列互换之后,得到的矩阵A称为矩阵A的转置矩阵 命题2.2矩阵的行(列)初等变换不改变列(行)秩
《普通逻辑学》课程教学资源(讲义)第五章 模态命题及其推理
文档格式:DOC 文档大小:92KB 文档页数:13
“模态”一词是英文“modal”的音译,原意为“样式的”,“情态的”。模态逻辑是研究包 含模态词“必然”、“可能”的模态命题及其推理的科学。模态逻辑历史很悠久,早在两千多年 前,亚里士多德就对模态命题做过许多讨论,研究了模态词和模态三段论,但在很长一段时间 里模态逻辑的价值被忽略了,因而模态逻辑基本上没有得到发展。直到本世纪初,美国逻辑学 家 Lewis用数理逻辑的方法和观点对模态逻辑作了系统的研究,这才使模态逻辑的发展进入了 一个崭新的时期
北京大学:《离散数学》系列课程之三《数理逻辑》第26章 命题逻辑(26.7)命题演算推理形式系统P
文档格式:PDF 文档大小:1.44MB 文档页数:53
复习命题演算推理形式系统N N中推理的每个式子都由前提和结论组成,接近 于实际推理,又称为自然推理形式系统。 ·第一个给出自然推理形式系统的是德国数学家甘岑(G. Gentzen,1909-1945),所以又称N为甘岑系统
高等学校计算机专业教材:《离散数学》课程PPT课件_第四章 命题逻辑
文档格式:PPT 文档大小:101.5KB 文档页数:8
本章是数理逻辑中的最基本内容, 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容;能将自然语言符号化; 能用等价式、蕴涵式等进行命题 演算和推理;能用逻辑推理的方 法解决一些实际问题
首页
上页
3
4
5
6
7
8
9
10
下页
末页
热门关键字
五金
普通心理学`
教师美学
会计
环境与社会保护
化学反应
和声
汉语教学
韩语听力
过滤
国际
构成学
分区
分化
方言学
法学概念
二战
多媒体应用基础
电子线路
电路学
电机]
电机
第十章
地质学
地震
大学
材料学
材料加工工程
包装]
包装
W
RC电路
PVT关系
Matlab程序设计
oracle数据库
ORCALE数据库
LINUX基础和应用
GIS设计
Euler方程
DNA合成
搜索一下,找到相关课件或文库资源
579
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有