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

搜索资源列表

  1. 顶级推荐--逻辑编程大全

  2. 该书为逻辑方面的最权威的书籍，涵盖了一阶逻辑，时态逻辑，模态逻辑和描述逻辑等。 深入讲述了面向逻辑的编程语言，如Prolog等。 该书对于学习逻辑编程人员具有极大的帮助。

  3. 所属分类：专业指导

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

  1. 一阶逻辑等值演算与推理

  2. 一阶逻辑等值演算与推理一阶逻辑等值一阶逻辑等值演算与推理演算与推理

  3. 所属分类：专业指导

    • 发布日期：2010-01-07
    • 文件大小：986112
    • 提供者：yhgd2009

  1. 描述逻辑手册中文版的第一章和第二章加个人PPT

  2. 描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。作为一种知识表示的有效机制，描述逻 辑被广泛地应用到计算机科学的许多领域中。

  3. 所属分类：专业指导

    • 发布日期：2010-03-02
    • 文件大小：545792
    • 提供者：wofy2008

  1. 面向计算机科学的数理逻辑

  2. 前言 绪论 第一章 预备知识 第二章 经典命题逻辑 第三章 经典一阶逻辑 第四章 可靠性和完备性 第五章 公理推演系统 第六章 构造性逻辑 第七章 模态命题逻辑 第八章 模态一阶逻辑 附录 自然推演中形式证明的简明形式 参考文献 符号表 名词表

  3. 所属分类：专业指导

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

  1. 一阶谓词逻辑

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

  3. 所属分类：专业指导

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

  1. 一阶逻辑 First-Order Logic (PPT)

  2. Outline 1.Why FOL? 2.Syntax and semantics of FOL 3.Using FOL 4.Wumpus world in FOL 5.Knowledge engineering in FOL

  3. 所属分类：专业指导

    • 发布日期：2012-03-28
    • 文件大小：199680
    • 提供者：seulty

  1. 高级数理逻辑第四章

  2. 高级数理逻辑第四章：谓词演算和一阶逻辑，一阶逻辑谓词

  3. 所属分类：专业指导

    • 发布日期：2012-12-30
    • 文件大小：13631488
    • 提供者：mibunuo

  1. 离散数学一阶逻辑

  2. 离散数学一阶逻辑的一些简单介绍，对于初学者很有帮助，大家都可以过来看看

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

    • 发布日期：2015-04-22
    • 文件大小：373760
    • 提供者：ni936743862

  1. 描述逻辑综述.pdf

  2. 描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。作为一种知识表示的有效机制，描述逻 辑被广泛地应用到计算机科学的许多领域中。本文对目前描述逻辑的研究与应用现状进行了综述性的介绍，并且从 描述逻辑的定义、描述逻辑的基本语法及语义、体系结构以及描述逻辑在语义Web中的地位等方面做了系统阐述。

  3. 所属分类：Web开发

    • 发布日期：2008-11-24
    • 文件大小：416768
    • 提供者：mayou0531

  1. 基于相继式演算的一阶逻辑定理证明器设计与实现

  2. 基于相继式演算的一阶逻辑定理证明器设计与实现 基于相继式演算的一阶逻辑定理证明器设计与实现

  3. 所属分类：其它

    • 发布日期：2018-01-01
    • 文件大小：3145728
    • 提供者：kingbox2008

  1. 逻辑基础王路著

  2. 学习逻辑的好书，详细通俗讲解了命题逻辑，词项逻辑，谓词逻辑，一阶逻辑等

  3. 所属分类：讲义

    • 发布日期：2018-04-26
    • 文件大小：14680064
    • 提供者：weixin_42074158

  1. enderton中英文混合版数理逻辑

  2. 命题逻辑、一阶逻辑、形式证明、一阶语言的结构与真值理论。

  3. 所属分类：其它

    • 发布日期：2018-10-29
    • 文件大小：7340032
    • 提供者：qq_43544684

  1. theorem-prover, 一阶逻辑的自动定理证明器.zip

  2. theorem-prover, 一阶逻辑的自动定理证明器 一阶逻辑的自动定理证明器。 对于任何可以证明的公式，该程序都可以以找到证明( 最终) 。 然而，由于 hilbert的否定答案，有一些unprovable公式会使这个程序永远循环。一些说明：验证步骤显示为 sequents 。实际

  3. 所属分类：其它

    • 发布日期：2019-09-17
    • 文件大小：9216
    • 提供者：weixin_38744435

  1. 天津大学逻辑与形式化方法复习资料.rar

  2. 天津大学逻辑与形式化方法复习资料，其中包括： 1.命题逻辑 2.一阶逻辑 3.Z语言的类型及构造单元 4.关系 5.函数 6.模式与规格说明 7.序列 8.包 9.Z语言规格说明的形式推理 10.模型检测

  3. 所属分类：讲义

    • 发布日期：2020-11-17
    • 文件大小：7340032
    • 提供者：qq_44760699

  1. ValidArgumentChecker:通过命令行检查一阶符号逻辑参数的有效性-源码

  2. ValidArgumentChecker 通过命令行检查一阶符号逻辑参数的有效性。 指示 在提示符下键入逻辑自变量或表达式，然后按Enter。 将评估该参数的逻辑有效性（即通过真值表的重言式），并将结果打印到控制台。 句法 aZ -命题( ) -括号~ -不& -和| -或> -if-then = -当且仅当 笔记 运算符优先级如上所示。 可以自由使用空格以提高可读性。 重复 为了方便起见，为此项目存在一个副本。 如果您想查看一下，请点击。

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：4096
    • 提供者：weixin_42105169

  1. 一种自动验证元模型一致性的方法

  2. 大多数领域特定的元建模语言（DSMML）都使用非正式的方法来定义其语义，因此很难精确，自动地分析基于DSMML构建的元模型的特征。 作为回应，本文基于我们开发的DSMML的形式化XMML，提出了一种通过自动映射机制自动将元模型转换为相应的一阶逻辑系统的方法来自动验证元模型的一致性。 首先，简要介绍了XMML及其元模型的形式化方法，然后，建立了对元模型形式化的自动映射机制，最后，开发了对元模型形式化的自动映射工具，并进行了相关实验以验证我们的方法。

  3. 所属分类：其它

    • 发布日期：2021-02-26
    • 文件大小：434176
    • 提供者：weixin_38637918

  1. 基于一阶逻辑的形式化领域专用元建模语言XMML

  2. 特定领域建模已广泛且成功地用于特定领域的软件系统建模。 尽管特定领域的元建模语言（DSMML）由于其非正式的定义而具有普遍的重要性，但它不能严格表示其结构语义，因此其属性（如一致性）无法得到系统地验证。 为此，本文提出了基于一阶逻辑的DSMML结构语义的正式表示形式，即XMML。 首先介绍了XMML，其次，通过基于一阶逻辑的XMML的依恋关系和细化关系的形式化约束以及形式化约束，对XMML本身和基于该模型建立的元模型进行一致性验证的方法来说明我们的方法最后，介绍了用于元模型的形式化自动映射引擎，

  3. 所属分类：其它

    • 发布日期：2021-02-25
    • 文件大小：385024
    • 提供者：weixin_38500664

  1. LinearOne：LinearOne是用于一阶（乘法，直觉）线性逻辑的原型定理证明器-源码

  2. LinearOne：LinearOne是用于一阶（乘法，直觉）线性逻辑的原型定理证明器

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：310272
    • 提供者：weixin_42174098

  1. FirstOrderLogic.jl：用于解析，处理和评估一阶逻辑中的公式的Julia包-源码

  2. FirstOrderLogic.jl：用于解析，处理和评估一阶逻辑中的公式的Julia包

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：20480
    • 提供者：weixin_42144199

  1. Full-First-Order-Resolution-Algorithm：实施了一个项目，用于设计使用完全一阶逻辑的分辨率。 该项目已用Java实现，并且使用了高效的算法来解析数据和实现统一-源码

  2. 完全一阶解析算法 实施了一个项目，目的是设计使用完全一阶逻辑的分辨率。 该项目已成功用Java实现，有效的算法已用于解析数据和实现统一。

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：7168
    • 提供者：weixin_42131013
« 12 3 4 5 6 7 8 9 10 ... 21 »