网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(990)
高等学校计算机专业教材:《离散数学》课程PPT课件_第五章 谓词逻辑
文档格式:PPT 文档大小:107KB 文档页数:7
本章可视为前一章的深入和提高; 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同;能将自然语言符号 化;能用谓词逻辑进行推理;理 解前束范式的意义
《WORD排版教程》第9章 公式编辑器和域的使用技巧
文档格式:DOC 文档大小:260KB 文档页数:15
“公式编辑器”是 Design Science 公司的 Math Type“公式编辑器”的特别版,是 专为 Microsoft Word 应用程序定制的。 域是一种特殊的代码,用于指示 Word 在文档中插入某些特定的内容或自动完成某 些复杂的功能。例如,使用域可以将日期和时间等插入到文档中,能自动更新日期和时 间
《数学分析》第十八讲 Newton-Leibniz 公式与定积分的计算
文档格式:DOC 文档大小:338KB 文档页数:8
7-1 定积分概念与性质 7-2 可积性与可积函数类 6-3 Newton-Leibniz 公式 7-3-1 变上限定积分 7-3-2 N-L 公式
人民邮电出版社:《离散数学》第五章 谓词逻辑(刘贵龙)
文档格式:PPT 文档大小:107KB 文档页数:7
本章可视为前一章的深入和提高; 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同;能将自然语言符号 化;能用谓词逻辑进行推理;理 解前束范式的意义
2009年考研数学公式最新总结大全:《高等数学简明公式》第六章 概率论与数理统计
文档格式:PDF 文档大小:174.19KB 文档页数:4
重要公式与结论 (1) ( ) 1−= ( ) APAP (2) ( ) () () ( ) +=∪ − ABPBPAPBAP
2009年考研数学公式最新总结大全:《高等数学简明公式》第五章 线性代数
文档格式:PDF 文档大小:151.8KB 文档页数:4
一、行列式 重要公式与结论 (1)行列式按行(列)展开定理
2009年考研数学公式最新总结大全:《高等数学简明公式》第二章 解析几何
文档格式:PDF 文档大小:161.04KB 文档页数:6
一、基本问题 1.两点间距离公式
2009年考研数学公式最新总结大全:《高等数学简明公式》第一章 初等数学
文档格式:PDF 文档大小:167.46KB 文档页数:5
一、初等代数 1. 乘法公式与因式分解
2009年考研数学公式最新总结大全:《高等数学公式手册》
文档格式:PDF 文档大小:225.37KB 文档页数:16
导数公式 (tgx)'=sec (arcsin x)=.I
《微积分、线性代数》考研知识点解析:第5讲 微分学基本定理及应用2不定积分与原函数
文档格式:PDF 文档大小:256.46KB 文档页数:21
对函数的许多性态研究,最终也将由泰勒公式(Taylor 公式)给出理论依据。例 如局部极值问题,以及用于求极限的洛必达法则,都是以泰勒公式为理论依据而得 到某些有效的方法
首页
上页
13
14
15
16
17
18
19
20
下页
末页
热门关键字
证券投资与技术分析
证券技术分析
通信系统原理]
通信网技术
诗歌
设计材料
计算机语言与程序设计
计算机科学技术
证券投资原理
证券投资信息分析
证券投资
通信设备
通信软件设计
试卷习题
识
设计软件
设计表达
软式排球教学
零售
金属学原理
金属学,热处理
计算物理学
计算机导论、
计算机操作基础
采矿
br]
ppt]
UNIX分析
PHOTOSHOP应用
PLC原理
MATLAB语言设计
INTERNET基础应用
DM设计
good!
CPU设计
C/C 语言程序设计
3+.+1
2+.+6
[1]
1 1
搜索一下,找到相关课件或文库资源
990
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有