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

搜索资源列表

  1. 详细关于谓词逻辑的介绍

  2. 关于谓词逻辑的介绍的一个很详细的ＰＰＴ，希望对大家有用，好东西要分享

  3. 所属分类：专业指导

    • 发布日期：2009-06-08
    • 文件大小：1048576
    • 提供者：neduwj08

  1. SQL查询相关技术（常用SQL查询技术、比较逻辑运算符查询、SQL关键字查询、表结构与性能、时间与谓词、聚合函数、子查询与连接查询、交叉表、常用数据操作高级应用、试图存储过程和触发器的使用）

  2. 常用SQL查询技术、比较逻辑运算符查询、SQL关键字查询、表结构与性能、时间与谓词、聚合函数、子查询与连接查询、交叉表、常用数据操作高级应用、试图存储过程和触发器的使用。。。。。。。

  3. 所属分类：其它

    • 发布日期：2009-08-01
    • 文件大小：1048576
    • 提供者：Green880804

  1. SQL查询相关技术（常用SQL查询技术、比较逻辑运算符查询、SQL关键字查询、表结构与性能、时间与谓词、聚合函数、子查询与连接查询、交叉表、常用数据操作高级应用、试图存储过程和触发器的使用）

  2. SQL查询相关技术（常用SQL查询技术、比较逻辑运算符查询、SQL关键字查询、表结构与性能、时间与谓词、聚合函数、子查询与连接查询、交叉表、常用数据操作高级应用、试图存储过程和触发器的使用）

  3. 所属分类：其它

    • 发布日期：2010-04-07
    • 文件大小：1048576
    • 提供者：shi_jz

  1. 逻辑谓词与Prolog

  2. 一阶谓词逻辑下的Horn 逻辑是人工智能程序语言Prolog 的理论基础,利用Prolog 在计算机 上可实现机械化,从而使自动化求解问题和定理证明具备可行性。

  3. 所属分类：专业指导

    • 发布日期：2010-04-13
    • 文件大小：618496
    • 提供者：jnprolog

  1. 内置谓词函数依赖及其推理规则

  2. 描述了内置谓词的用法，里面含有大量的形式化推理，不是很明白，求共同探讨。

  3. 所属分类：IT管理

    • 发布日期：2011-05-26
    • 文件大小：518144
    • 提供者：qiufd881024

  1. 第二章 谓词逻辑与归结原理

  2. 人工智能课件，关于谓词逻辑与归结原理，在学习了离散数学的基础上，进一步深入的学习谓词逻辑，掌握人工智能的初步知识

  3. 所属分类：专业指导

  1. 谓词逻辑讲解

  2. 人工智能方面的谓词逻辑详细讲解，包教包会。

  3. 所属分类：专业指导

    • 发布日期：2011-10-25
    • 文件大小：409600
    • 提供者：albb318

  1. 离散数学第二章谓词逻辑

  2. 离散数学第二章谓词逻辑，非常好的资源，欢迎下载

  3. 所属分类：专业指导

    • 发布日期：2013-04-13
    • 文件大小：221184
    • 提供者：george921

  1. 人工智能谓词逻辑归结问题的推理系统

  2. 人工智能谓词逻辑归结问题的推理系统是很好的学习资料 ，可以帮助广大学子进一步学习人工智能的相关知识。

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

    • 发布日期：2014-11-26
    • 文件大小：1048576
    • 提供者：gaoshuangyin

  1. 基于谓词索引的海量数据压缩存储及数据操作算法_赵锴_Kai Zhao_大数据压缩

  2. 基于谓词索引的大数据压缩

  3. 所属分类：其它

    • 发布日期：2017-04-05
    • 文件大小：824320
    • 提供者：kaizhao_kz

  1. 用c#实现启动操作系统上的程序或进程，并指定参数和谓词。

  2. 用c#实现启动操作系统上的程序或进程，用Process类实现；并指定参数和谓词，用ProcessStartInfo和Verbs实现。

  3. 所属分类：网络攻防

    • 发布日期：2009-02-03
    • 文件大小：39936
    • 提供者：u014028392

  1. 离散I讲稿\3-谓词逻辑.ppt

  2. 离散I讲稿\3-谓词逻辑.ppt离散I讲稿\3-谓词逻辑.ppt

  3. 所属分类：专业指导

    • 发布日期：2009-03-30
    • 文件大小：501760
    • 提供者：chucheng0615

  1. 中文名词性谓词语义角色标注

  2. 研究了中文名词性谓词的语义角色标注(semantic role labeling，简称SRL)．在使用传统动词性谓词SRL相关特征的基础上，进一步提出了名词性谓词SRL相关的特征集．此外，探索了中文动词性谓词sRL对中文名词性谓词SRL的影响，并且联合谓词自动识别实现了全自动的中文名词性谓词SRL．在中文NomBank上的实验结果表明， 中文动词性谓词的sRL合理使用能够大幅度提高中文名词性谓词的sRL性能；基于正确句法树和正确谓词识别，中文名词性谓词的sRL性能Fl值达到了72．67，大大优

  3. 所属分类：机器学习

    • 发布日期：2018-05-10
    • 文件大小：1048576
    • 提供者：f412509780

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

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

  3. 所属分类：讲义

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

  1. 命题逻辑和谓词逻辑

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

  3. 所属分类：其它

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

  1. 30分钟快速带你理解iOS中的谓词NSPredicate

  2. NSPredicate类是用来定义逻辑条件约束的获取或内存中的过滤搜索。下面这篇文章将通过30分钟快速带大家理解iOS中的谓词NSPredicate类，文中通过示例代码介绍的非常详细，需要的朋友可以参考借鉴，下面随着小编来一起学习学习吧。

  3. 所属分类：其它

    • 发布日期：2020-08-27
    • 文件大小：92160
    • 提供者：weixin_38581777

  1. iOS中NSPredicate谓词的使用

  2. 主要给大家介绍了关于iOS中NSPredicate谓词的使用方法，文中通过示例代码介绍的非常详细，对各位iOS开发者们具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧

  3. 所属分类：其它

    • 发布日期：2020-08-26
    • 文件大小：95232
    • 提供者：weixin_38499553

  1. 30分钟快速带你理解iOS中的谓词NSPredicate

  2. 一、引言 在现代汉语的解释中，谓词是用来描述或判断客体性质、特征或者客体之间关系的词项。通俗的说，它是描述事物属性的。在iOS开发Cocoa框架中，有提供NSPredicate类，这个类通常也被成为谓词类，其主要的作用是在Cocoa中帮助查询和检索，但是需要注意，实质上谓词并不是提供查询和检索的支持，它是一种描述查询检索条件的方式，就像更加标准通用的正则表达式一样。 NSPredicate提供的谓词可以分为两类：比较谓词和复合谓词。 比较谓词：比较谓词通过使用比较运算符来描述所符合条件的属性

  3. 所属分类：其它

    • 发布日期：2021-01-05
    • 文件大小：93184
    • 提供者：weixin_38631773

  1. elinq:ELinq是一个轻量简单易用的开源Linq ORM数据访问组件，支持Nullable类型和枚举类型，支持根据实体类自动建立库建表建关系，支持根据数据库通过T4模版自动生成实体代码，对Linq的谓词提供了完美的支持，逐步使绝大部分

  2. elinq ELinq是一个轻量简单易用的开源平台Linq ORM数据访问组件，支持Nullable类型和枚举类型，支持根据实体类自动建立库建表建关系，支持根据数据库通过T4模版自动生成实体代码，对Linq的谓词提供了完美的支持，逐步使绝大部分的主流数据库都使用Linq来进行程序开发，让开发人员从SQL中解放出来访问数据库，易学易用上手快，配置简单，并提供了源代码下载，方便定制。支持多数据库，当前支持Access，SQLServer，SqlCE，SQLite，MySQL，ORACLE，未来将支

  3. 所属分类：其它

    • 发布日期：2021-03-24
    • 文件大小：4194304
    • 提供者：weixin_42169971

  1. 中文名词性谓词语义角色标注

  2. 研究了中文名词性谓词的语义角色标注(semantic role labeling,简称SRL).在使用传统动词性谓词SRL相关特征的基础上,进一步提出了名词性谓词SRL相关的特征集.此外,探索了中文动词性谓词SRL对中文名词性谓词SRL的影响,并且联合谓词自动识别实现了全自动的中文名词性谓词SRL.在中文NomBank上的实验结果表明,中文动词性谓词的SRL合理使用能够大幅度提高中文名词性谓词的SRL性能;基于正确句法树和正确谓词识别,中文名词性谓词的SRL性能F1值达到了72.67,大大优于目

  3. 所属分类：其它

    • 发布日期：2021-03-20
    • 文件大小：1048576
    • 提供者：weixin_38686267
« 12 3 4 5 6 7 8 9 10 ... 27 »