网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
课件分类导航
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(179)
东北大学:《离散数学》课程教学资源(PPT课件讲稿)第二章 谓词逻辑
文档格式:PPT 文档大小:508KB 文档页数:98
2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论
立即下载
浙江大学:《数学建模概论》课程教学资源(PPT课件讲稿)第一章 数学建模概论(1.1)数学模型与数学建模
文档格式:PPS 文档大小:213.5KB 文档页数:6
数学模型( Mathematical Model) 是用数学符号、数学式子、程序、图形等对实际课题 本质属性的抽象而又简洁的刻划,它或能解释某些客 观现象,或能预测未来的发展规律,或能为控制某一 现象的发展提供某种意义下的最优策略或较好策略
立即下载
东北大学:《离散数学》课程教学资源(试题)2001级总本
文档格式:DOC 文档大小:35KB 文档页数:3
一.填空(共计26分) 1.(每空1分)令P:天气好Q:我有时间.R:我在家.S:我上街 将下面各个命题的符号表达式填在各个命题后面的括号内 (1).或者我上街,或者我在家.( ) (2)仅当天气好,我才上街.( )
立即下载
《Mathcad 2001在数学中的应用》实验7 矩阵运算实例
文档格式:PDF 文档大小:23.57KB 文档页数:2
本工作页介绍使用 Mathcad进行矩阵运算 1.定义矩阵的方法可以使用热键Ctrl+M或者点击 Matrix运算板上的矩阵符号按钮,在弹出的 matrix对话框中,输入待产生的矩阵的阶数
立即下载
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.9)赋值
文档格式:PDF 文档大小:2.33MB 文档页数:67
一、命题演算推理形式系统N和P 二、N和P的核心是推理。 三、但在N或P中,符号、公式本身是没有含义的。在推理过程中并不看公式的真假,而只看是否为公理或规则
立即下载
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.10)可靠性、和谐性与完备性
文档格式:PDF 文档大小:550.69KB 文档页数:16
一、命题演算推理形式系统P(和N)语法 二、语法的核心是推理:a? 三、P是符号演算。 四、公式的含义:真、假、永真等语义
立即下载
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.1)数理逻辑
文档格式:PDF 文档大小:156.26KB 文档页数:8
什么是数理逻辑 字面含义:数学理论的逻辑。逻辑是研 究演绎(推理)规律的学科。 广义理解:用数学方法研究演绎规律的 学科。 狭义理解:用数学方法研究数学中演绎 规律和数学基础的学科。 研究对象:推理过程的正确性标准。 是数学的一个分支。又称符号逻辑等
立即下载
北京大学:《离散数学》系列课程之三:《数理逻辑》第27章(27.2)一阶语言
文档格式:PDF 文档大小:1.38MB 文档页数:32
复习 一阶谓词演算的符号化: 个体变元:x,Y,z,… 个体常元:a,b,c ·谓词:Fn,Gn,Hn, 函数:fn,gn,hn, 量词:全称量词V,存在量词3
立即下载
池州学院:《数学分析》实验课
文档格式:PPT 文档大小:556.5KB 文档页数:30
前言 Newton 和 Leibnitz 创立的微积分学是 很多科学科学的基础,本课程将借助 MATLAB 语言的符号运算工具箱可以直 接对微积分学中最常见的问题,如单变 量与多变量微积分、极限、级数求和、 Taylor幂级数展开、Fourier 级数展开等 问题直接求解
立即下载
中国科学院:《数值计算方法》第三章 QR方法
文档格式:PPT 文档大小:171KB 文档页数:26
一、基本QR方法 60年代出现的QR算法是目前计算中小型矩阵的全部特征值与 特征向量的最有效方法。实矩阵、非奇异。 理论依据:任一非奇异实矩阵都可分解成一个正交矩阵Q和 一个上三角矩阵R的乘积,而且当R的对角元符号取定时,分解是 唯一的
立即下载
首页
上页
4
5
6
7
8
9
10
11
下页
末页
热门关键字
现代管理
数子电子
景观规划设计
经济模型分析与应用
江西警察学院
电压
《战略管理》
色彩应用
区域地质
清华大学
普通法
平面艺术设计
模块设计
螺栓连接
离散时间信号
科学的定义
经济法
界面设计
结构分析方法
节能设计
教育法
基础电路
环境信息工程
函数分析
国际格局与国际组织
古罗马
沟通管理
工程信息
工程控制工程
对偶问题
定额
电气
电分析
差分方程
编译
ppt]
DESIGN
access数据库
《色谱分析》
《食品工程原理》
搜索一下,找到相关课件或文库资源
179
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有