点击切换搜索课件文库搜索结果(187)
文档格式:PDF 文档大小:23.57KB 文档页数:2
本工作页介绍使用 Mathcad进行矩阵运算 1.定义矩阵的方法可以使用热键Ctrl+M或者点击 Matrix运算板上的矩阵符号按钮,在弹出的 matrix对话框中,输入待产生的矩阵的阶数
文档格式:PDF 文档大小:2.33MB 文档页数:67
一、命题演算推理形式系统N和P 二、N和P的核心是推理。 三、但在N或P中,符号、公式本身是没有含义的。在推理过程中并不看公式的真假,而只看是否为公理或规则
文档格式:PDF 文档大小:550.69KB 文档页数:16
一、命题演算推理形式系统P(和N)语法 二、语法的核心是推理:a? 三、P是符号演算。 四、公式的含义:真、假、永真等语义
文档格式:PDF 文档大小:156.26KB 文档页数:8
什么是数理逻辑 字面含义:数学理论的逻辑。逻辑是研 究演绎(推理)规律的学科。 广义理解:用数学方法研究演绎规律的 学科。 狭义理解:用数学方法研究数学中演绎 规律和数学基础的学科。 研究对象:推理过程的正确性标准。 是数学的一个分支。又称符号逻辑等
文档格式: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 级数展开等 问题直接求解
文档格式:PPT 文档大小:171KB 文档页数:26
一、基本QR方法 60年代出现的QR算法是目前计算中小型矩阵的全部特征值与 特征向量的最有效方法。实矩阵、非奇异。 理论依据:任一非奇异实矩阵都可分解成一个正交矩阵Q和 一个上三角矩阵R的乘积,而且当R的对角元符号取定时,分解是 唯一的
文档格式:DOC 文档大小:340KB 文档页数:35
MATLAB是 MATrix LABoratory(“矩阵实验室”)的缩写,是由美国 Math Works 公司开发的集数值计算、符号计算和图形可视化三大基本功能于一体的,功能强大 操作简单的语言。是国际公认的优秀数学应用软件之 20世纪80年代初期, Cleve Moler与 John Little等利用C语言开发了新一代的 MATLA B语言,此时的 MATLAB语言已同时具备了数值计算功能和简单的图形处理 功能
文档格式:PPT 文档大小:3.87MB 文档页数:159
1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 命题演算的自然推理形式系统N 1.8 例题选解 习题一
文档格式:PDF 文档大小:500.76KB 文档页数:48
1.连加号(∑)在数学中,为了使数学式表示简单明确,通常要规定一些特殊符号.连加号就是其 中之一
首页上页56789101112下页末页
热门关键字
搜索一下,找到相关课件或文库资源 187 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有