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

搜索资源列表

  1. 命题逻辑的基本概念.教学课件

  2. 命题逻辑的基本概念.教学课件 Xiaocong ZHOU Department of Computer Science

  3. 所属分类：专业指导

    • 发布日期：2009-09-22
    • 文件大小：756736
    • 提供者：zwb000001

  1. 复习命题逻辑

  2. 关于离散数学的命题逻辑复习资料

  3. 所属分类：其它

    • 发布日期：2013-04-04
    • 文件大小：61440
    • 提供者：u010160786

  1. 离散数学第一章命题逻辑

  2. 离散数学第一章命题逻辑，非常好的资料，欢迎下载

  3. 所属分类：专业指导

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

  1. 第一讲：绪论与命题逻辑初步

  2. 吴楠离散数学授课第一课 第一讲：绪论与命题逻辑初步

  3. 所属分类：专业指导

    • 发布日期：2013-06-24
    • 文件大小：2097152
    • 提供者：u010502094

  1. 离散数学-命题逻辑应用举例

  2. 展示命题逻辑应用的5个场景，需求描述，需求一致性验证，信息检索，判断条件，按位运算和机器证明使用的消解

  3. 所属分类：讲义

    • 发布日期：2017-10-14
    • 文件大小：893952
    • 提供者：granthu

  1. 命题逻辑 练习题 适合人工智能专业的研究生

  2. 一组命题逻辑的习题，对学习人工智能的研究生有帮助。

  3. 所属分类：专业指导

    • 发布日期：2009-03-01
    • 文件大小：281600
    • 提供者：lajiang

  1. 命题逻辑(数理逻辑)

  2. 数理逻辑是用数学方法研究思维规律的一门学科。所谓数学方法是指:用一套数学的符号系统来描述和 处理思维的形式与规律。因此, 数理逻辑又称为符号逻辑。本章介绍数理逻辑中最基本的内容命题逻辑。首先引入命题、命题公式等概念。然后,在此基础上研究命题公式间的等值关系和蕴含关系,并给出推理规则,进行命题演绎。

  3. 所属分类：专业指导

    • 发布日期：2009-03-23
    • 文件大小：870400
    • 提供者：xanthecc

  1. 第2章 命题逻辑

  2. 第2章 命题逻辑第2章 命题逻辑第2章 命题逻辑第2章 命题逻辑第2章 命题逻辑

  3. 所属分类：讲义

    • 发布日期：2018-06-02
    • 文件大小：479232
    • 提供者：weixin_42371409

  1. 离散数学复习纲要（命题逻辑部分）.pdf

  2. 离散数学复习纲要（命题逻辑部分）基本概念+公式总结，考试复习用。 文件视图链接:http://www.doc88.com/p-1691580001032.html

  3. 所属分类：讲义

    • 发布日期：2020-03-15
    • 文件大小：949248
    • 提供者：qq_34451909

  1. 模糊命题逻辑系统的计量化与近似推理

  2. 模糊命题逻辑系统的计量化与近似推理，黎丽，，利用赋值集的随机化方法，在模糊命题逻辑系统中引入了命题公式的随机真度，同时引入了命题公式间的随机相似度和随机伪距离，建立

  3. 所属分类：其它

    • 发布日期：2020-02-11
    • 文件大小：423936
    • 提供者：weixin_38716872

  1. 第1章数理逻辑（命题逻辑）-2019.pdf

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

  3. 所属分类：讲义

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

  1. Lukasiewicz命题逻辑中命题的Borel概率真度理论和极限定理

  2. Lukasiewicz命题逻辑中命题的Borel概率真度理论和极限定理，周红军，，通过视赋值集为通常乘积拓扑空间，利用其上的Borel概率测度在n值及连续值Łukasiewicz命题逻辑系统中引入了命题的Borel概率真度概念，讨�

  3. 所属分类：其它

    • 发布日期：2019-12-29
    • 文件大小：445440
    • 提供者：weixin_38742571

  1. 命题逻辑和谓词逻辑

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

  3. 所属分类：其它

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

  1. 格值命题逻辑LP(X)中的语义归结方法

  2. 为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。

  3. 所属分类：其它

    • 发布日期：2020-06-03
    • 文件大小：926720
    • 提供者：weixin_38714162

  1. 一种命题逻辑的可判定性算法

  2. 针对命题逻辑的可判定性中真值表法复杂度高的问题，提出了一种基于命题逻辑联结符号完备性和与或树规则的命题逻辑的可判定性算法。算法首先利用常见的等价公式和与或树规则对命题逻辑的公式进行分解，然后参照分解后的树形结构将公式转换成范式形式，最后对照所得的判别式对命题逻辑公式进行判定。理论证明这种算法相比于具有指数级复杂度的真值表法效率高得多。

  3. 所属分类：其它

    • 发布日期：2020-10-17
    • 文件大小：234496
    • 提供者：weixin_38609401

  1. 命题逻辑中子句集的冗余

  2. 文章主要研究命题逻辑公式中的冗余子句和冗余文字。替换子句集中的冗余子句划分为三类：无冗余子句，相对冗余子句和绝对冗余子句，另外，得到了子句集中重复文字的等价描述，利用子句集的可满足性弥补了额外的费用。上述结果为进一步提出的新的子句集冗余性判定方法估计了一些理论基础。

  3. 所属分类：其它

    • 发布日期：2021-03-16
    • 文件大小：2097152
    • 提供者：weixin_38591011

  1. 区分3种否定的模糊命题逻辑系统及其应用

  2. 区分3种否定的模糊命题逻辑系统及其应用

  3. 所属分类：其它

    • 发布日期：2021-03-12
    • 文件大小：438272
    • 提供者：weixin_38738783

  1. 基于模糊命题逻辑形式系统FLcom的模糊推理及应用

  2. 基于模糊命题逻辑形式系统FLcom的模糊推理及应用

  3. 所属分类：其它

    • 发布日期：2021-03-12
    • 文件大小：730112
    • 提供者：weixin_38739044

  1. 格值命题逻辑系统中格值角号广义子句的α解析方法

  2. 格值命题逻辑系统中格值角号广义子句的α解析方法

  3. 所属分类：其它

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

  1. 函数算术均值极限的黎曼积分形式及其在R0命题逻辑中的应用

  2. 首先, 提出并证明了多元非负函数在有界闭域上的算术平均值极限的Riemann 积分形式; 其次, 证明了当n趋于无穷大时n值R0 命题逻辑系统中广义真度极限的存在定理; 最后根据多元非负函数在有界闭域上的算术均值极限的Riemann 积分形式和当n趋于无穷大时n值R0命题逻辑系统中广义真度极限的存在定理, 在连续值R0命题逻辑系统中建立了公式相对于局部有限理论的广义真理论, 为在R0命题逻辑系统中建立基于局部有限理论的近似推理理论, 广义积分语义理论等奠定了基础.

  3. 所属分类：其它

    • 发布日期：2021-03-08
    • 文件大小：306176
    • 提供者：weixin_38715567
« 12 3 4 5 6 7 8 9 10 »