注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. oracle入门基础

  2. 第一部分 Oracle SQL*PLUS基础 23 第一章 Oracle数据库基础 23 §1.1 理解关系数据库系统（RDBMS） 23 §1.1.1 关系模型 23 §1.1.2 Codd十二法则 24 §1.2 关系数据库系统（RDBMS）的组成 24 §1.2.1 RDBMS 内核 24 §1.2.2 数据字典概念 25 §1.3 SQL、SQL*Plus及 PL/SQL 25 §1.3.1 SQL和SQL*PLUS的差别 25 §1.3.2 PL/SQL语言 27 §1.4 登录 到

  3. 所属分类：其它

    • 发布日期：2009-07-20
    • 文件大小：3145728
    • 提供者：ddcgy

  1. Oracle8i_9i数据库基础

  2. 第一部分 Oracle SQL*PLUS基础 23 第一章 Oracle数据库基础 23 §1.1 理解关系数据库系统（RDBMS） 23 §1.1.1 关系模型 23 §1.1.2 Codd十二法则 24 §1.2 关系数据库系统（RDBMS）的组成 24 §1.2.1 RDBMS 内核 24 §1.2.2 数据字典概念 25 §1.3 SQL、SQL*Plus及 PL/SQL 25 §1.3.1 SQL和SQL*PLUS的差别 25 §1.3.2 PL/SQL语言 27 §1.4 登录到S

  3. 所属分类：其它

    • 发布日期：2010-03-03
    • 文件大小：544768
    • 提供者：mayudong1

  1. Oracle8i_9i数据库基础.pdf

  2. 第一部分 Oracle SQL*PLUS基础............................................................. 24 第一章 Oracle数据库基础....................................................................... 24 §1.1 理解关系数据库系统（RDBMS）................................................. 2

  3. 所属分类：其它

    • 发布日期：2010-03-10
    • 文件大小：2097152
    • 提供者：yuchuanfeng

  1. 2005-2009软件设计师历年真题

  2. 软件设计师考试真题 附带2010年的考试大纲 考试科目1：计算机与软件工程知识 　1．计算机科学基础 　　1.1 数制及其转换 　　　　　• 二进制、十进制和十六进制等常用制数制及其相互转换 　　1.2 数据的表示 　　　　　• 数的表示（原码、反码、补码、移码表示，整数和实数的机内表示，精度和溢出） 　　　　　• 非数值表示（字符和汉字表示、声音表示、图像表示） 　　　　　• 校验方法和校验码（奇偶校验码、海明校验码、循环冗余校验码） 　　1.3 算术运算和逻辑运算 　　　　　• 逻辑代数的

  3. 所属分类：其它

    • 发布日期：2010-05-18
    • 文件大小：8388608
    • 提供者：mathria

  1. ANTLR中文手册Cownew版

  2. 前言 ANTLR是什么 ......................................................................................................................... 5 第1章 ANTLR规范: 元语言（Meta-Language） ......................................................................... 6 1.1元语

  3. 所属分类：C++

    • 发布日期：2010-06-01
    • 文件大小：1048576
    • 提供者：rq2004

  1. 基于谓词逻辑的 Prolog 程序设计(知网下的)

  2. prolog是面向逻辑、 面向问题,描述逻辑关系和抽象概念,处理对象是知识(确切地说是符号)的一种逻辑型人工智能程序设计语言。

  3. 所属分类：专业指导

    • 发布日期：2010-10-25
    • 文件大小：523264
    • 提供者：mindyym

  1. 实现图的遍历算法 深度优先遍历

  2. 2． 系统设计 1．用到的抽象数据类型的定义 图的抽象数据类型定义： ADT Graph{ 数据对象V：V是具有相同特性的数据元素的集合，称为顶点集 数据关系R： R={VR} VR={|v,w∈V且P(v,w),表示从v到w的弧， 谓词P(v,w)定义了弧的意义或信息} 基本操作P： CreatGraph(&G,V,VR) 初始条件：V是图的顶点集，VR是图中弧的集合 操作结果：按V和VR的定义构造图G DestroyGraph(&G) 初始条件：图G存在 操作结果：销毁图G InsertV

  3. 所属分类：其它

    • 发布日期：2010-11-29
    • 文件大小：126976
    • 提供者：suibian211900

  1. 软件工程-理论与实践(许家珆)习题答案

  2. 习 题 答 案 习题一答案 一、选择题 1. 软件的主要特性是(A B C)。 A) 无形 B) 高成本 C) 包括程序和文档 　　D) 可独立构成计算机系统 2. 软件工程三要素是(C D)。 A) 技术、方法和工具　 B) 方法、工具和过程　 C) 方法、对象和类　 D) 过程、模型、方法 3. 包含风险分析的软件工程模型是(A)。 A) 螺旋模型 B) 瀑布模型 C) 增量模型 D) 喷泉模型 4. 软件工程的主要目标是(C)。 A) 软件需求 　B) 软件设计　 C) 风险分析 　D)

  3. 所属分类：C

    • 发布日期：2011-01-12
    • 文件大小：303104
    • 提供者：fengjliang2009

  1. 程序重构预处理在提高软件模型检测效率中的应用

  2. 针对软件模型检测目前很难处理大型程序的问题,提出用程序重构技术对待检的源代码进行预处理,以提高模型检测算法的效率.程序重构将大型程序分解成语义一致的小型过程的集合,由于模型检测算法中过程总结边可单独计算,而且在程序中对某过程的调用可能有多次,这种预处理可以避免状态空间的重复搜索,从而降低模型检测算法在空间和时间上的开销.根据表达程序性质的线性时序逻辑LTL公式的构成,给出了程序重构预处理前后程序语义相等的充分条件;并给定程序和性质公式,用blast作为程序模型检测实验工具,比较程序重构预处理前

  3. 所属分类：咨询

    • 发布日期：2011-03-29
    • 文件大小：359424
    • 提供者：iwsdiwsd

  1. 现代编译程序设计 (Modern Compiler Design)

  2. 现代编译程序设计 (Modern Compiler Design) 第1章 导论 1 1.1 为什么学习编译程序构造 4 1.1.1 编译程序构造是非常成功的 4 1.1.2 编译程序构造的广泛应用 6 1.1.3 编译程序包含普遍适用的算法 6 1.2 一个简单的传统的模块化编译程序/解释程序 6 1.2.1 抽象语法树 7 1.2.2 范例编译程序的结构 8 1.2.3 范例编译程序的语言 9 1.2.4 范例编译程序的词法分析 10 1.2.5 范例编译程序的语法分析 11 1.2.6

  3. 所属分类：其它

    • 发布日期：2011-07-29
    • 文件大小：16777216
    • 提供者：lilongherolilong

  1. 数据库基础

  2. 第一部分 Oracle SQL*PLUS基础 23 第一章 Oracle数据库基础 23 §1.1 理解关系数据库系统（RDBMS） 23 §1.1.1 关系模型 23 §1.1.2 Codd十二法则 24 §1.2 关系数据库系统（RDBMS）的组成 24 §1.2.1 RDBMS 内核 24 §1.2.2 数据字典概念 25 §1.3 SQL、SQL*Plus及 PL/SQL 25 §1.3.1 SQL和SQL*PLUS的差别 25 §1.3.2 PL/SQL语言 27 §1.4 登录到S

  3. 所属分类：Oracle

    • 发布日期：2012-09-22
    • 文件大小：4194304
    • 提供者：jssg_gp

  1. 《离散数学》第七章_图论-第3-4节

  2. 《离散数学》课程是信息与计算科学专业的专业基础课程，也是应用性很强的一门数学课。离散数学是现代数学的一个重要分支，它是以数理逻辑、集合论、关系与函数、代数结构与布尔代数为讲授对象。是理论性较强、应用性较广、集理论性与应用性为一体的学科。 设置本课程的目的是：通过本课程的学习，使学生了解和掌握关于离散数学的基本概念及其相关理论，以现代数学的方法，初步掌握处理离散结构所必须的一些基本数学工具和方法，为后继课程的学习作必要的理论准备。同时也要培养学生抽象思维、逻辑推理，符号演算和慎密概括的能力，从而

  3. 所属分类：专业指导

    • 发布日期：2013-04-24
    • 文件大小：1048576
    • 提供者：sdau20104555

  1. 计算机科学的基础

  2. 序 第 1 章　计算机科学：将抽象机械化 第 2 章　迭代、归纳和递归 第 3 章　程序的运行时间 第 4 章　组合与概率 第 5 章　树 第 6 章　表数据模型 第 7 章　集合数据模型 第 8 章　关系数据模型 第 9 章　图数据模型 第 10 章　模式、自动机和正则表达式 第 11 章　模式的递归描述 第 12 章　命题逻辑 第 13 章　利用逻辑设计计算机元件 第 14 章　谓词逻辑

  3. 所属分类：讲义

    • 发布日期：2016-05-13
    • 文件大小：13631488
    • 提供者：linlin_198844

  1. 四级数据库重难点(word版)

  2. 第1章 引言 1. 数据是描述现实世界事物的符号记录，是用物理符号记录下来的可以识别的信息。 数据是信息的符号表示，是载体；信息是数据的语义解释，是内涵。 2. 数据模型是对现实世界数据特征的抽象，是数据库系统的形式框架，用来描述数据的一组概念和定义，包括描述数据、数据联系、数据操作、数据语义以及数据一致性的概念工具。 满足三条件：比较真实地模拟现实世界；易于人们理解；易于计算机实现 三个组成要素：数据结构（静态，数据对象本身结构及之间的联系）、数据操作（对数据对象操作及操作规则的集合）和完整

  3. 所属分类：其它

    • 发布日期：2009-01-21
    • 文件大小：140288
    • 提供者：courage0603

  1. 编程原本.[美]Alexander Stepanov(带详细书签).pdf

  2. 本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。 第1章 基础 1 1.1 理念范畴：实体,类别,类属 1 1.2 值 2 1.3 对象 4 1.4 过程 6 1.5 规范类型 7 1.6 规范过程 8 1.7 概念 10 1.8 总结 14 第2章 变换及其轨道 15 2.1 变换 15 2.2 轨道 18 2.3 碰撞点 21 2.4 轨道规模的度量 27 2.5 动作

  3. 所属分类：其它

    • 发布日期：2018-12-22
    • 文件大小：31457280
    • 提供者：kxjrzyk

  1. 传智播客扫地僧视频讲义源码

  2. 本教程共分为5个部分，第一部分是C语言提高部分，第二部分为C++基础部分，第三部分为C++进阶部分，第四部分为C、C++及数据结构基础部分，第五部分为C_C++与设计模式基础，内容非常详细. 第一部分 C语言提高部分目录 01_初学者的企业用人标准寻找引言 02_socketclient_api模型的抽象_初学者应知的标准_传智扫地僧 03_本套视频总体课程简介 04_就业班课程总体简介_课堂答疑 05_初学者建立信心 06_学员学习标准_排序及问题抛出 07_数组做函数参数退化问题剖析_传智

  3. 所属分类：C/C++

    • 发布日期：2019-04-03
    • 文件大小：116
    • 提供者：uestczyh

  1. 第1章数理逻辑（谓词逻辑）-2019.pdf

  2. 离散数学是计算机学科的经典核心基础课程。课程内容主要包括集合论，数理逻辑，关系理论，图论相关内容，为进一步学习计算机科学的基本理论和方法以及之后的专业课打下良好的基础。通过这门课程的学习，将会培养学生的抽象思维能力，逻辑推理能力，缜密概括能力以及分析和解决实际问题的能力。 离散数学 教学课件（配方世昌《离散数学（第三版）》） 第1章 数理逻辑（谓词逻辑部分）文档作者：中南大学计算机学院 郑瑾副教授

  3. 所属分类：讲义

    • 发布日期：2020-01-28
    • 文件大小：329728
    • 提供者：jialChen

  1. 不可满足子式在谓词抽象中的应用与分析

  2. 不可满足子式在谓词抽象中的应用与分析

  3. 所属分类：其它

    • 发布日期：2021-03-05
    • 文件大小：786432
    • 提供者：weixin_38694699

  1. 基于谓词抽象的测试用例约简生成方法

  2. 基于谓词抽象的测试用例约简生成方法

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：92160
    • 提供者：weixin_38658405

  1. 不可满足子式在谓词抽象中的应用与分析

  2. 不可满足子式在谓词抽象中的应用与分析

  3. 所属分类：其它

    • 发布日期：2021-04-02
    • 文件大小：1048576
    • 提供者：weixin_38748207
« 12 »