计算机理论文库下载_中国高校课件下载中心

文档格式：PPT　文档大小：578KB　文档页数：140

5.1 问题的提出 5.2 规范化 5.3 数据依赖的公理系统 *5.4 模式的分解 5.5 小结

文档格式：PPS　文档大小：932KB　文档页数：29

4.1 数据依赖 4.2 范式 4.3 关系模式的规范化

文档格式：PPS　文档大小：934.5KB　文档页数：29

4.1 数据依赖 4.2 范式 4.3 关系模式的规范化

文档格式：PPT　文档大小：323.5KB　文档页数：29

2.1计算机中常用的组合逻辑电路 2.2时序逻辑电路 2.3时序逻辑电路设计基础有限状态机理论 2.4阵列逻辑电路

文档格式：DOC　文档大小：79.5KB　文档页数：3

重庆工学院教学日历计划表项目全总学时分配课程名称:程序设计基础(C语言理论

文档格式：PPT　文档大小：277KB　文档页数：31

学习要点 1、候选键、替代键和外来键 2、完全函数依赖、部分函数依赖、传递函数依赖 3、1NF、2NF和3NF 4、关系模式的分解

文档格式：PPT　文档大小：162KB　文档页数：33

第2章谓词逻辑 2.1谓词逻辑基本概念 2.2谓词公式及其解释 2.3谓词逻辑等值式 2.4一阶逻辑的推理理论

文档格式：PPT　文档大小：418KB　文档页数：45

二十世纪九十年代初,关系数据库的理论已经成熟,各大公司竞相推出 RDBMS产品。但遇到一系列技术问题:

文档格式：PPT　文档大小：156KB　文档页数：32

5.1 软件及软件技术 5.2 操作系统 (OS:Operating System) 5.3 程序设计语言及语言处理程序 5. 4 计算机软件理论基础和算法

文档格式：PPT　文档大小：1.55MB　文档页数：114

7.1 不确定性及其类型 7.2 不确定性知识的表示 7.3 不确定性推理的一般模式 7.4 确定性理论（可信度方法） 7.5 证据理论、7.6 模糊理论