网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(579)
《离散数学》课程PPT教学课件(讲稿)第1章 命题逻辑(1.6)命题逻辑的推理理论
文档格式:PPT 文档大小:141.5KB 文档页数:18
一、推理的形式结构 二、判断推理是否正确的方法 三、推理定律与推理规则 四、构造证明法
2017年高考语文全国卷信息归集与高考命题预测_2017年高考语文全国卷信息归集与高考命题预测
文档格式:DOC 文档大小:68KB 文档页数:11
2017年高考语文全国卷信息归集与高考命题预测_2017年高考语文全国卷信息归集与高考命题预测
西北政法大学(西北政法学院):《逻辑学》课程教学资源(PPT课件讲稿)第三章 命题推理
文档格式:PPT 文档大小:308KB 文档页数:39
一、推理及其种类 二、有效推理与正确推理 三、命题推理及其特征 四、蕴涵析取推理及其应用
西安交通大学:《MATLAB程序设计》课程教学资源(讲义)第5章 关系和逻辑运算
文档格式:DOC 文档大小:29.5KB 文档页数:8
除了传统的数学运算, MATLAB支持关系和逻辑运算。如果你已经有了一些编程经验, 就会对这些运算熟悉。这些操作符和函数的目的是提供求解真/假命题的答案。一个重要的应用是控制基于真/假命题的一系列 MATLAB命令(通常在M文件中)的流程,或执行次序
2012年湖南省高考语文命题透析_2012年湖南省高考语文命题透析
文档格式:DOC 文档大小:58.5KB 文档页数:6
2012年湖南省高考语文命题透析_2012年湖南省高考语文命题透析
西北政法大学(西北政法学院):《逻辑学》课程教学资源(PPT课件讲稿)第六章 谓词演算
文档格式:PPT 文档大小:299KB 文档页数:32
一、性质命题内部结构的现代谓词分析 二、关系命题内部结构的现代谓词分析 三、一元谓词演算的自然演绎推证分析 四、二元谓词演算的自然演绎推证分析
北京大学:《离散数学》系列课程之三《数理逻辑》第26章 命题逻辑(26.9)赋值
文档格式:PDF 文档大小:2.33MB 文档页数:67
一、命题演算推理形式系统N和P 二、N和P的核心是推理。 三、但在N或P中,符号、公式本身是没有含义的。在推理过程中并不看公式的真假,而只看是否为公理或规则
东北大学:《离散数学》课程教学资源(试题)2001级总本
文档格式:DOC 文档大小:35KB 文档页数:3
一.填空(共计26分) 1.(每空1分)令P:天气好Q:我有时间.R:我在家.S:我上街 将下面各个命题的符号表达式填在各个命题后面的括号内 (1).或者我上街,或者我在家.( ) (2)仅当天气好,我才上街.( )
西北政法大学(西北政法学院):《逻辑学》课程教学资源(PPT课件讲稿)第四章 真值表方法与命题演算
文档格式:PPT 文档大小:229KB 文档页数:45
一、完全真值表法的判定功用 二、归谬赋值法的操作与判定 三、命题演算证明方法的应用与构造
西安交通大学:《精通MATLAB》课程教材讲义(综合辅导与指南)第5章 关系和逻辑运算
文档格式:DOC 文档大小:29.5KB 文档页数:8
除了传统的数学运算, MATLAB支持关系和逻辑运算。如果你已经有了一些编程经验, 就会对这些运算熟悉。这些操作符和函数的目的是提供求解真/假命题的答案。一个重要的 应用是控制基于真/假命题的一系列 MATLAB命令(通常在M文件中)的流程,或执行次 序
首页
上页
8
9
10
11
12
13
14
15
下页
末页
热门关键字
宏定义
汉语文学
光纤技术
等温
visualc++课程设计
《c语言》
法语入门
二战
二级]
二胡
动态量
电子化
电压]
电流]
第8章
第2日语
等压
大学英语-2
超声诊断
不知到
包装
包销
包庇]
z域分析
VB程序设计语言
S区元素
Oracle软件设计
ORACLE数据库
PLC应用技术
PLC原理
GIS应用技术
FLASH应用
Euler方程
Matlab程序设计
Matlab环境与应用
DSP课程设计
.NET数据库程序设计
*病理学
DM设计
DSMAX动画
搜索一下,找到相关课件或文库资源
579
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有