您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

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

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

    • 发布日期:2009-11-23
    • 文件大小:783360
    • 提供者:haha0832
  1. Knowledge in action

  2. raymond reiter的心血之作,关于情景演算的
  3. 所属分类:其它

    • 发布日期:2011-04-14
    • 文件大小:3145728
    • 提供者:wupeng1987
  1. 数理逻辑基础(希尔柏脱 阿克曼)

  2. 希尔柏脱 阿克曼 数理逻辑基础 命题演算 类演算 狭义谓词演算 广义谓词演算
  3. 所属分类:专业指导

    • 发布日期:2011-04-26
    • 文件大小:6291456
    • 提供者:judy0608
  1. 软件工程之专题二:程序语言部分

  2. 1、程序语言知识 1.1 程序语言:    程序语言分为低级语言和高级语言两个大类。    低级语言:又称为面向机器语言,它是特定的计算机系统所固有的语言。  机器语言:虽然执行效率高,但编写出来的程序可读性很差,程序难以修改和维护。  汇编语言:汇编语言是机器语言的一种提升,它使用了一些助记符号来表示机器指 令中的操作码和操作数。但它仍然是一种和计算机的机器语言十分接近的语言,使用起来仍然不太方便。  高级语言:与人们的自然语言比较接近,使用起来很方便,也极大的提高了程序设 计的效率。
  3. 所属分类:其它

    • 发布日期:2011-06-05
    • 文件大小:89088
    • 提供者:net_david
  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. 专题二:程序语言部分

  2. 专题二:程序语言部分 1、程序语言知识 1.1 程序语言:    程序语言分为低级语言和高级语言两个大类。    低级语言:又称为面向机器语言,它是特定的计算机系统所固有的语言。  机器语言:虽然执行效率高,但编写出来的程序可读性很差,程序难以修改和维护。  汇编语言:汇编语言是机器语言的一种提升,它使用了一些助记符号来表示机器指 令中的操作码和操作数。但它仍然是一种和计算机的机器语言十分接近的语言,使用起来仍然不太方便。  高级语言:与人们的自然语言比较接近,使用起来很方便,也极大的提
  3. 所属分类:软考等考

    • 发布日期:2011-11-14
    • 文件大小:21504
    • 提供者:ouyangluo
  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. 高级数理逻辑第四章

  2. 高级数理逻辑第四章:谓词演算和一阶逻辑,一阶逻辑谓词
  3. 所属分类:专业指导

    • 发布日期:2012-12-30
    • 文件大小:13631488
    • 提供者:mibunuo
  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. 结合课本习题3.23解答,通过编制一个程序执行,归结得到结果!
  3. 所属分类:C/C++

  1. 《人工智能》(蔡自兴著)课后答案完整版.pdf

  2. 主要内容如标题所示,为《人工智能》课后答案问题求解(下棋程序),逻辑推理与定理证明(四色定理证明),自然语言理解,自动程序设 计,专家系统,机器学习,神经网络,机器人学(星际探索机器人),模式识别(手写识别 汽车牌照识别,指纹识别),机器视觉(机器裝配,卫星图像处理),智能控制,智能检索, 智能调度与指挥(汽车运输高度,列车编组指挥),系统与语言工具 新的研究热点: 分布式人工智能与 Agent,计算智能与进化计算,数据挖掘与知识发现(超市市场商品数据 分析),人工生命 第二章知识表示方法 2-
  3. 所属分类:讲义

    • 发布日期:2019-07-07
    • 文件大小:5242880
    • 提供者:qq_17337199
  1. 离散数学期末复习必备考前手写笔记.pdf

  2. 包含内容:ch1命题逻辑的基本概念 ch2命题逻辑的等值演算 ch3命题逻辑和推理理论 ch4 谓词逻辑 ch5 集合代数 ch6 二元关系 ch7图的基本概念 ch8欧拉图 哈密顿图
  3. 所属分类:教育

    • 发布日期:2020-07-10
    • 文件大小:3145728
    • 提供者:particles
  1. 合一算法的Python实现–人工智能

  2. 考察 合一算法 求点赞,给作者一点分享的鼓励 代码没写GUI,因为不喜欢这玩意,直接在终端中进行人机交互 代码写的较为冗余,主要还是我没动力了,不想优化了,因为调试代码已经把我榨干了 文章目录合一算法是什么?由来合一算法思路及代码 合一算法是什么? 由来 如何解决 谓词演算归结 的一个问题,即决定那两个子句是否为亲本子句。例如,下面两个文字 是否能够成为亲本子句呢? L(f(x)) ∨ L(A) ~L(B) 合一算法正是为此而来 合一算法 在谓词逻辑中,一个表达式的 项 是 常量符号、变量符号
  3. 所属分类:其它

    • 发布日期:2020-12-20
    • 文件大小:107520
    • 提供者:weixin_38644599
« 12 »