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

搜索资源列表

  1. 2009年 软设大纲

  2. 2009年 软设大纲 一、考试说明 　　1．考试要求： 　　　(1) 掌握数据表示、算术和逻辑运算； 　　　(2) 掌握相关的应用数学、离散数学的基础知识； 　　　(3) 掌握计算机体系结构以及各主要部件的性能和基本工作原理； 　　　(4) 掌握操作系统、程序设计语言的基础知识，了解编译程序的基本知识； 　　　(5) 熟练掌握常用数据结构和常用算法； 　　　(6) 熟悉数据库、网络和多媒体的基础知识； 　　　(7) 掌握C程序设计语言，以及C++、Java、Visual、Basic、Visua

  3. 所属分类：其它

    • 发布日期：2009-08-31
    • 文件大小：88064
    • 提供者：sanjifeng

  1. 高级数理逻辑 教案 北京邮电

  2. 逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 数理逻辑的内容： 1、 命题逻辑系统 2、 一阶谓词逻辑系统 命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。命题是指具有具体意义的又能判断它是真还是假的句子。

  3. 所属分类：专业指导

    • 发布日期：2009-11-23
    • 文件大小：783360
    • 提供者：haha0832

  1. 计算机软件水平考试软件设计师考试大纲与培训指南（2009版）

  2. 计算机软件水平考试软件设计师考试大纲与培训指南（2009版） 一、考试说明 1．考试目标 通过本考试的合格人员能根据软件开发项目管理和软件工程的要求，按照系统总体设计规格说明书进行软件设计，编写程序设计规格说明书等相应的文档，组织和指导程序员编写、调试程序，并对软件进行优化和集成测试，开发出符合系统总体设计要求的高质量软件；具有工程师的实际工作能力和业务水平。 2．考试要求 (1) 掌握计算机内的数据表示、算术和逻辑运算方法； (2) 掌握相关的应用数学及离散数学基础知识 (3) 掌握计算机体

  3. 所属分类：其它

    • 发布日期：2010-03-25
    • 文件大小：226304
    • 提供者：z18863

  1. 数学基础经典：数学基础引论

  2. 该书以百科全书的方式向我们讲解了数学的发展史以及其发展的未来趋势，其中包括以下内容：√2的发现和毕达哥拉斯学派的危机、欧几里得的局限和几何基础研究的意义、神秘的微分学和分析算术化、布尔代数和现代逻辑的发展、集合和关系、无穷集合和数学基础的第三次危机、公理化集合论的发展及其争论、命题逻辑、谓词逻辑、数论、哥德尔不完全性原理、逻辑主义、直觉主义、希尔伯特方案和形式主义、柏拉图主义和拟经验主义等经典内容。 相信爱好数学的各位仁兄一定会在此找到乐趣。也希望对此有兴趣的人能有所收获。

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：其它

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

  1. 一阶谓词逻辑

  2. 在Ls中，把命题分解到原子命题为止，认为原子命题是不能再分解的，仅仅研究以原子命题为基本单位的复合命题之间的逻辑关系和推理。这样，有些推理用命题逻辑就难以确切地表示出来。

  3. 所属分类：专业指导

    • 发布日期：2011-09-19
    • 文件大小：196608
    • 提供者：shujuanhan

  1. SQLServer2008技术内幕T-SQL查询包含源代码及附录A

  2. 《Microsoft SQL Server 2008技术内幕:T-SQL查询》全面深入地介绍了Microsoft SQL Server 2008中高级T-SQL查询、性能优化等方面的内容，以及SQL Server 2008新增加的一些特性。主要内容包括SQL的基础理论、查询优化、查询算法及复杂度，以及在使用子查询、表表达式、排名函数、数据聚合和透视转换、TOP和APPLY、数据修改、分区表、特殊数据结构等实际应用时会遇到的各种高级查询问题和解决方案。 作为一本讲述T-SQL高级查询的专业图书，

  3. 所属分类：数据库

    • 发布日期：2011-10-27
    • 文件大小：4194304
    • 提供者：oraclecd

  1. Microsoft+SQL+Server+2008技术内幕：T-SQL查询含源代码及附录

  2. 《Microsoft SQL Server 2008技术内幕:T-SQL查询》全面深入地介绍了Microsoft SQL Server 2008中高级T-SQL查询、性能优化等方面的内容，以及SQL Server 2008新增加的一些特性。主要内容包括SQL的基础理论、查询优化、查询算法及复杂度，以及在使用子查询、表表达式、排名函数、数据聚合和透视转换、TOP和APPLY、数据修改、分区表、特殊数据结构等实际应用时会遇到的各种高级查询问题和解决方案。 作为一本讲述T-SQL高级查询的专业图书，

  3. 所属分类：SQLServer

    • 发布日期：2012-02-16
    • 文件大小：4194304
    • 提供者：xiongliuzhao

  1. sql server 2008技术内幕t -sql查询

  2. 绝对的好书 如果你想sql能力很大的提升，这本书绝对的是你的首选，初学有点难度 目录 -------------------------------------------------------------------------------- 序言 I 致谢III 前言 V 第1章 逻辑查询处理1 1.1 逻辑查询处理的各个阶段2 1.1.1 逻辑查询处理阶段简介2 1.2 客户/订单场景下的查询示例4 1.3 逻辑查询处理阶段详解5 1.3.1 步骤1：FROM阶段5 1.3.2 步骤2

  3. 所属分类：SQLServer

    • 发布日期：2012-05-04
    • 文件大小：40894464
    • 提供者：wp442638266

  1. SQL Server 2008 技术内幕 T-SQL查询(中文版)part1

  2. 这是中文版来的，由于文件大小为60几MB，但本人的上传权限只有50MB，所以分开两部分压缩上传。解压前必须与part2一起解压。part2在本人的资源里可以找到。 温馨提示：我的资源里还有英文版和源码下载，中英文结合开，效果更好！ 目录： -------------------------------------------------------------------------------- 序言 I 致谢III 前言 V 第1章 逻辑查询处理1 1.1 逻辑查询处理的各个阶段2 1.1

  3. 所属分类：SQLServer

    • 发布日期：2012-05-10
    • 文件大小：40894464
    • 提供者：lxm850918

  1. SQL Server 2008 技术内幕 T-SQL查询(中文版)part2

  2. 这是中文版来的，由于文件大小为60几MB，但本人的上传权限只有50MB，所以分开两部分压缩上传。解压前必须与part1一起解压。part1在本人的资源里可以找到。 温馨提示：我的资源里还有英文版和源码下载，中英文结合开，效果更好！ 目录： -------------------------------------------------------------------------------- 序言 I 致谢III 前言 V 第1章 逻辑查询处理1 1.1 逻辑查询处理的各个阶段2 1.1

  3. 所属分类：SQLServer

    • 发布日期：2012-05-10
    • 文件大小：19922944
    • 提供者：lxm850918

  1. SQL Server 2008 技术内幕 T-SQL查询(英文版+源码+附录A）

  2. 这是英文版来的，包含源码和附录A 温馨提示：我的资源里还有中文版part1、part2。可以中英文结合一起看，效果更好！ 目录： 序言 I 致谢III 前言 V 第1章 逻辑查询处理1 1.1 逻辑查询处理的各个阶段2 1.1.1 逻辑查询处理阶段简介2 1.2 客户/订单场景下的查询示例4 1.3 逻辑查询处理阶段详解5 1.3.1 步骤1：FROM阶段5 1.3.2 步骤2：WHERE阶段9 1.3.3 步骤3：GROUP BY阶段10 1.3.4 步骤4：HAVING阶段11 1.3.5

  3. 所属分类：SQLServer

    • 发布日期：2012-05-10
    • 文件大小：4194304
    • 提供者：lxm850918

  1. Microsoft SQL Server 2008技术内幕：T-SQL查询(第二卷)

  2. 注：分二卷，点击上传者查看第二卷地址。亲，本人纯手工添加了书签哦！！方便阅读 《Microsoft SQL Server 2008技术内幕：T-SQL查询》全面深入地介绍了Microsoft SQL Server 2008中高级T-SQL查询、性能优化等方面的内容，以及SQL Server 2008新增加的一些特性。主要内容包括SQL的基础理论、查询优化、查询算法及复杂度，以及在使用子查询、表表达式、排名函数、数据聚合和透视转换、TOP和APPLY、数据修改、分区表、特殊数据结构等实际应用时会

  3. 所属分类：SQLServer

    • 发布日期：2012-10-22
    • 文件大小：8388608
    • 提供者：lioubiya52

  1. Microsoft+SQL+Server+2008技术内幕：T-SQL查询_源代码及附录 中文版

  2. 标准中文版的pdf和实例数据脚本，分享给大家 《Microsoft SQL Server 2008技术内幕:T-SQL查询》全面深入地介绍了Microsoft SQL Server 2008中高级T-SQL查询、性能优化等方面的内容，以及SQL Server 2008新增加的一些特性。主要内容包括SQL的基础理论、查询优化、查询算法及复杂度，以及在使用子查询、表表达式、排名函数、数据聚合和透视转换、TOP和APPLY、数据修改、分区表、特殊数据结构等实际应用时会遇到的各种高级查询问题和解决方案

  3. 所属分类：SQLServer

    • 发布日期：2013-02-21
    • 文件大小：60817408
    • 提供者：jilezhenren

  1. sql2008技术内幕

  2. 绝对的好书 如果你想sql能力很大的提升，这本书绝对的是你的首选，初学有点难度 目录 -------------------------------------------------------------------------------- 序言 I 致谢III 前言 V 第1章 逻辑查询处理1 1.1 逻辑查询处理的各个阶段2 1.1.1 逻辑查询处理阶段简介2 1.2 客户/订单场景下的查询示例4 1.3 逻辑查询处理阶段详解5 1.3.1 步骤1：FROM阶段5 1.3.2 步骤2

  3. 所属分类：SQLServer

    • 发布日期：2013-03-05
    • 文件大小：40894464
    • 提供者：wzzjjboy

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

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

  3. 所属分类：专业指导

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

  1. 面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文

  2. 本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。

  3. 所属分类：其它

    • 发布日期：2014-07-22
    • 文件大小：11534336
    • 提供者：hrjzsb

  1. 软件设计师考点

  2. 第1章 计算机科学基础知识 1.1 考试大纲 （1）数制及其转换 二进制、八进制、十进制和十六进制等常用数制及其相互转换 （2）计算机内数据的表示 数的表示 非数值表示（字符和汉字的表示、声音表示、图像表示） （3）算术运算和逻辑运算 计算机中的二进制数运算方法 逻辑代数的基本运算 （4）其他数学基础知识 常用数值计算 排列组合、概率论应用、应用统计（数据的统计分析） 编码基础 命题逻辑、谓词逻辑、形式逻辑的基础知识 运筹基本方法 1.2 历年试题考点回顾

  3. 所属分类：软考等考

    • 发布日期：2015-09-23
    • 文件大小：249856
    • 提供者：qq_31541661

  1. 离散数学导学Andrew Simpson

  2. 作者: Andrew Simpson / 冯速 本书通过大量简单易懂的示例和练习介绍了有关离散数学的基本概念与基础知识，并把理论知识与一系列实际应用联系起来。主要内容包括：命题逻辑和谓词逻辑、类型集合论、布尔代数、关系、函数、序列、归纳法、图论、组合数学等。通过适当的教学方法，可以加深学生对离散数学的理解。

  3. 所属分类：互联网

    • 发布日期：2018-04-17
    • 文件大小：8388608
    • 提供者：white_while

  1. 命题逻辑和谓词逻辑

  2. 对命题逻辑和谓词逻辑的核心归纳可以做到一目了然

  3. 所属分类：其它

    • 发布日期：2012-10-28
    • 文件大小：406528
    • 提供者：obuxiangdong
« 12 »