点击切换搜索课件文库搜索结果(677)
文档格式:PPT 文档大小:104KB 文档页数:8
3.1信息概述 数据:记录客观事物的性质、形态和数量 特征的抽象符号(文字、数字、图表、图形、 曲线) 信息:数据经加工处理后得到信息
文档格式:PPT 文档大小:4.18MB 文档页数:46
7.1 概述 7.2 零件图的基本知识 7.3 零件图的视图选择 7.4 零件结构的工艺性 7.5 表面粗糙度符号代号及标注 7.8 零件图的看图方法与步骤 7.6 零件图的尺寸标注与技术要求 7.7 画零件图的步骤和方法
文档格式:PDF 文档大小:550.69KB 文档页数:16
一、命题演算推理形式系统P(和N)语法 二、语法的核心是推理:a? 三、P是符号演算。 四、公式的含义:真、假、永真等语义
文档格式:PDF 文档大小:156.26KB 文档页数:8
什么是数理逻辑 字面含义:数学理论的逻辑。逻辑是研 究演绎(推理)规律的学科。 广义理解:用数学方法研究演绎规律的 学科。 狭义理解:用数学方法研究数学中演绎 规律和数学基础的学科。 研究对象:推理过程的正确性标准。 是数学的一个分支。又称符号逻辑等
文档格式:PDF 文档大小:1.95MB 文档页数:81
一、推演系统N的构成 1 给定非逻辑符号集,Ng的构成如下 形式语言:
文档格式:PDF 文档大小:803.77KB 文档页数:44
1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则
文档格式:DOC 文档大小:78KB 文档页数:10
学习本章应了解设置账户的必要性,掌握账户的基本结构及层次,理解复式记账的原 理和特点,着重掌握借贷记账是的记账符号、账户结构、记账规则和试算平衡等特点, 确平行登记的涵义要点和作用
文档格式:PPT 文档大小:224.5KB 文档页数:26
• 了解和掌握IUPAC关于电池或电反应的有关符号规定,以及电池图解式的表示规则 • 标准电极电位与条件电位的区别 • 电极电位的计算 • 电池电动势的计算 • 溶度积常数和配合物稳定常数的计算 • 参比电极的选择 • 指示电极的分类
文档格式:DOC 文档大小:67KB 文档页数:5
8.1关系模式设计中的数据语义问题 数据依赖,函数依赖,多值依赖 例 8.2函数依赖 符号:R,r,,F,x,t,tx] 定义8.2-1:设R为关系模式,X,YCU,若t,ter都有如果
文档格式:DOC 文档大小:340KB 文档页数:35
MATLAB是 MATrix LABoratory(“矩阵实验室”)的缩写,是由美国 Math Works 公司开发的集数值计算、符号计算和图形可视化三大基本功能于一体的,功能强大 操作简单的语言。是国际公认的优秀数学应用软件之 20世纪80年代初期, Cleve Moler与 John Little等利用C语言开发了新一代的 MATLA B语言,此时的 MATLAB语言已同时具备了数值计算功能和简单的图形处理 功能
首页上页5051525354555657下页末页
热门关键字
搜索一下,找到相关课件或文库资源 677 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有