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

搜索资源列表

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

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

  3. 所属分类：专业指导

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

  1. 模态逻辑讲义2006

  2. 模态逻辑讲义DOC 李小五 中山大学逻辑与认知研究所 2006

  3. 所属分类：专业指导

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

  1. 数学模态逻辑

  2. 这是一篇非常好的模态逻辑的综述文献

  3. 所属分类：专业指导

    • 发布日期：2008-01-12
    • 文件大小：723968
    • 提供者：royea

  1. 计算机科学中数理逻辑的金典必读阅读资料

  2. 模态逻辑 时序逻辑 LTL、CTL、CTL* 模型检验及其应用 演算及组合逻辑

  3. 所属分类：专业指导

    • 发布日期：2011-09-15
    • 文件大小：5242880
    • 提供者：zhbzhbyc1234

  1. 模态逻辑 数理逻辑

  2. 一本详细的关于模态逻辑的书 一本经典的研究计算机科学中的数理逻辑的必读物

  3. 所属分类：专业指导

    • 发布日期：2011-12-21
    • 文件大小：14680064
    • 提供者：account152878

  1. 模态逻辑报告

  2. 数理逻辑的模态逻辑课程报告，很祥很强大 总结详细准确

  3. 所属分类：专业指导

    • 发布日期：2012-05-03
    • 文件大小：109568
    • 提供者：ymecho

  1. 高级数理逻辑第五章

  2. 高级数理逻辑第五章：讲述模态逻辑，可能、必然与任意、存在的关系

  3. 所属分类：专业指导

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

  1. 数理逻辑经典（包含多个文件）

  2. 数理逻辑 经典逻辑 模态逻辑 计算机科学中常有的逻辑

  3. 所属分类：专业指导

    • 发布日期：2017-02-09
    • 文件大小：18874368
    • 提供者：qq525104166

  1. 模态逻辑手册（ed.by Blackburn et al）

  2. 模态逻辑手册（ed.by Blackburn et al）

  3. 所属分类：专业指导

    • 发布日期：2009-03-14
    • 文件大小：9437184
    • 提供者：u010183880

  1. 模态逻辑讲义

  2. 模态逻辑讲义，有兴趣的可以看看，很不错，可能难度有点大，不过仔细研究还是可以的

  3. 所属分类：专业指导

    • 发布日期：2012-10-23
    • 文件大小：1048576
    • 提供者：lingsir95

  1. 模态逻辑中转换结构的局限性

  2. 针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽然这两个系统无法用关系语义进行区分,但利用一般框架可知KY和KZ是有区别的.KY和KZ证明了在加标转换结构和模态系统之间有一些不相符合的地方,具有一定的局限性.

  3. 所属分类：其它

    • 发布日期：2020-06-28
    • 文件大小：576512
    • 提供者：weixin_38732307

  1. JQuery Dialog(JS 模态窗口,可拖拽的DIV)

  2. 效果图    调用示意图   交互示意图 如上图所示，这基本是JQueryDialog的完整逻辑流程了。 1、用户点击模态窗口的“提交”按钮时，调用JQueryDialog.Ok()函数，这个函数对应了用户提交事件。 2、用OO的概念来说，JQueryDialog.Ok()其实是一个虚函数，它的逻辑封装在子窗口ContentWindow.Ok()中，这一点我借鉴了FCKEditor，如下代码所示： JS代码 代码如下: var JQueryDialog = { /// 提交 /// Ok:

  3. 所属分类：其它

    • 发布日期：2020-12-03
    • 文件大小：274432
    • 提供者：weixin_38668274

  1. bootstrap 模态框（modal）实现水平垂直居中显示

  2. 众所周知，bootstrap是一款非常实用的CSS框架（主要用于样式的快速搭建），由于其简洁，美观，快捷，响应式等特点备受大家喜欢，但是其本身也是存在很多bug，当应对与具体的业务逻辑的时候往往达不到细节要求，比如今天我要谈的bootstrap的模态框，其默认是显示距离顶端30px，左右居中。        怎么让其在垂直方向也居中呢？        大家可能想加一个CSS样式，让其距离顶部距离变长，实践是检验真理的唯一标准，当你去试过会发现很多问题，在不修改源码的前提下修改插件并没有自由配

  3. 所属分类：其它

    • 发布日期：2020-11-28
    • 文件大小：77824
    • 提供者：weixin_38660731

  1. 基于复合模态词模态逻辑的大数据知识表示方法及其在水文信息中应用

  2. 针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其语言、语法与语义,证明该逻辑在一般可达关系下的公理系统K2的可靠性定理与完备性定理,并结合水文信息给出这种大数据知识表示应用实例。

  3. 所属分类：其它

    • 发布日期：2021-03-13
    • 文件大小：315392
    • 提供者：weixin_38645373

  1. 多智能体模态逻辑系统K_n中的知识遗忘

  2. 多智能体模态逻辑系统K_n中的知识遗忘

  3. 所属分类：其它

    • 发布日期：2021-03-09
    • 文件大小：758784
    • 提供者：weixin_38667207

  1. 多智能体模态逻辑系统KD45_n中的知识遗忘

  2. 多智能体模态逻辑系统KD45_n中的知识遗忘

  3. 所属分类：其它

    • 发布日期：2021-03-09
    • 文件大小：660480
    • 提供者：weixin_38706455

  1. 多值模态逻辑的计量化方法

  2. 多值模态逻辑的计量化方法

  3. 所属分类：其它

    • 发布日期：2021-03-05
    • 文件大小：824320
    • 提供者：weixin_38735101

  1. 模态逻辑系统S4中的度量结构

  2. : 在模态逻辑 S4 中通过有限模型建立了模态公式的( n) 真度理论，研究了模态逻辑 S4 中命题的( n) 真度的性.质。提出了模态公式间的( n) 相似度理论，并由此在全体公式集中，建立了( n) 伪距离，得出了( n) 模态逻辑 S4 的.度量空间，该空间以经典逻辑度量空间为子空间，提出了一种模态逻辑 S4 中近似推理的框架。

  3. 所属分类：其它

    • 发布日期：2021-03-02
    • 文件大小：321536
    • 提供者：weixin_38593723

  1. 一类具有3种否定的模糊模态命题逻辑

  2. 一类具有3种否定的模糊模态命题逻辑

  3. 所属分类：其它

    • 发布日期：2021-02-22
    • 文件大小：311296
    • 提供者：weixin_38608866

  1. react-native-modalfy：React React Native的模态公民-源码

  2. React Native的模态公民。 目的 Modalfy的承诺一直是允许您做三件事： 只需编写一次模态，就可以在应用程序中的任何位置调用它们。 一次显示多个模态，可随意堆叠。 完全控制动画和堆栈中每个模态之间的过渡。 我们仅提供逻辑以及如何管理模态：您通过模态组件并对它们的外观进行完全控制。 文献资料 可通过访问该文档。 最好的学习方法是遵循。 他们将帮助您立即启动并运行。 列出了所有公共API。 给我看看！ 也许比我们的长篇文章更好，这是您可以通过几行代码快速浏览一下使用Mod

  3. 所属分类：其它

    • 发布日期：2021-02-05
    • 文件大小：1048576
    • 提供者：weixin_42112658
« 12 3 4 5 6 7 8 9 10 »