点击切换搜索课件文库搜索结果(100)
文档格式:PPT 文档大小:165.5KB 文档页数:33
关系模型的重要部分是关系操纵,关系 代数是一种抽象的查询语言,是关系数 据操纵语言的一种传统表达方式,它是 用对关系的运算来表达查询的。利用关 系代数可以演示一个查询语言从关系数 据库系统中检索信息的潜力,可以用最 简单的形式来表达所有关系数据库查询 语言必须完成的运算的集合,这些基本 的运算对解释标准查询语言SQL如何被执 行很有帮助,同时也有利于培养关系运 算的思维能力
文档格式:PPT 文档大小:305KB 文档页数:18
定义10:设A,B是两个非空集合,f是A到B的 一个二元关系。若对Va∈A,都存在唯一的b∈B, 使得(a,b)∈f,则称f是从A到B的一个映射, 定义14:设A,B,C为三个集合,称从A×B 到C的一个映射为A与B到C的一个二元 代数运算,特别地,当A=B=C时, 称为A上的一个二元运算
文档格式:PPT 文档大小:1.06MB 文档页数:40
2.1 概述 2.2逻辑代数中的运算 2.3逻辑代数的公式 2.4逻辑代数的基本规则
文档格式:PPT 文档大小:106.5KB 文档页数:6
布尔代数是计算机科学最重要的基础理论之 一,它在开关网络及数字电路的设计上有广 泛深入的应用. 布尔代数是计算机科学工作者必备的基础知 识,应掌握格与布尔代数的一般理论和方法, 除§3 Stone定理的证明细节可根据具体情 况删减外,其他内容应很好地掌握
文档格式:PPT 文档大小:737.5KB 文档页数:27
• 逻辑代数=布尔代数=开关代数 解决逻辑问题的理论方法 ,与布尔、香农有关 • 主要内容 基本逻辑关系:与、或、非及其组合 逻辑函数的表示方法:函数式 真值表 卡诺图 逻辑图 逻辑函数的化简方法:代数法和卡诺图法
文档格式:PPT 文档大小:88KB 文档页数:3
一、插值问题 给定函数f(x)在区间a,b]上的一组n+1个不同的点 a≤x
文档格式:DOC 文档大小:975KB 文档页数:164
《科技论文写作》 《数学分析》 《高等代数与解析几何》 《概率论及数理统计 A》 《复变函数 A》 《常微分方程》 《大学物理 C》 《物理实验 C》 《C/C++语言程序设计 B》 《C/C++语言程序设计 B》实验 《数据结构与算法》 《数据结构与算法》实验 《数据库原理及其应用》 《数据库原理及其应用》实验 《离散数学》 《数值分析》 《实变函数与泛函分析》 《计算机图形学》 《计算机图形学》实验 《面向对象程序设计(Java)》 《面向对象程序设计(Java)》实验 《软件工程》 《软件系统分析与设计》 《软件系统分析与设计》实验大纲 《微分方程数值解》 《运筹学基础》 《数学物理方程》 《矩阵分析》 《计算机网络》 《计算机网络》实验 《软件质量保证与测试》 《软件质量保证与测试》课程设计 《软件过程改进与管理》 《VB 程序设计》 《VB 程序设计》实验 《计算机组成原理》 《计算机组成原理》实验 《操作系统》 《操作系统》实验 《数学分析专题研究》 《高等代数专题研究》 《拓扑学》 《组合数学》 《应用随机过程》 《软件工程日语》 《数学建模》 《数值计算综合实习》 《计算机课程综合实习》 《认识实习》 《毕业实习》
文档格式:DOC 文档大小:219KB 文档页数:3
1.线性谐振子的代数解法 现在我们介绍解谐振子能量本征方程的代数方法,采用Dirac符号进行分析和推导。 线性谐振子的 Hamiltonian是(这里不涉及采用什么表示)
文档格式:PPT 文档大小:594KB 文档页数:62
3.1关系数据模型 3.1.1 关系模式 3.1.2 关系操作 3.2关系模型的完整性规则 3.2.1 关系的三类完整性约束 3.2.2 实体完整性 3.2.3 参照完整性 3.2.4 用户自定义完整性 3.3关系代数的基本运算 3.3.1 传统的集合运算 3.3.2 专门的关系运算 3.3.3 关系代数表达式及其应用实例 *3.4关系演算 元组关系演算 域关系演算 3.5 查询优化 3.5.1 查询优化的一般策略 3.5.2 代数表达式的等价变换规则 3.5.3 优化算法
文档格式:PPT 文档大小:565.5KB 文档页数:42
• 直观地介绍余归纳的定义、余归纳的证明原理和余代数 • 形式地介绍递归类型 • 形式地介绍归纳类型和余归纳类型 • 解释 – 代数方法是从“构造的”角度研究抽象数据类型 – 余代数方法是从“观察的”的角度描述像对象、自动机、进程、软件构件等基于状态的系统
上页12345678下页末页
热门关键字
搜索一下,找到相关课件或文库资源 100 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有