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

搜索资源列表

  1. Curry Howard Isomorphism

  2. Curry Howard Isomorphism

  3. 所属分类：其它

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

  1. [Dirk van Dalen] Logic and structure [2008最新版]

  2. 　From the reviews：“A good textbook can improve a lecture course enormously， especially when the material of the lecture includes many technical details。 Van Dalen's book， the success and popularity of which may be suspected from this steady interest

  3. 所属分类：C++

    • 发布日期：2009-11-17
    • 文件大小：2097152
    • 提供者：valley116

  1. 基于VRML的三维场景生成工具的设计与实现

  2. 中文摘要: VRML是Internet上标准的三维文件格式。由于VRML文件格式很复杂，对于普通的非专业用户(比如刑侦人员)来说，直接通过编辑文本来书写文件创建VRML场景是很困难的。同时，案件现场的三维表现比二维图或静态的图片、文字的现场描述更加直观、形象、全面，有利于案件的汇报、交流、进一步分析、破案指挥。本文根据案件三维现场再现的需求以及刑侦人员试用后的新的需求，设计并实现了一个可视化的所见即所得的三维场景搭建工具。任何不了解VRML文件格式的用户都可以很快掌握这种搭建工具，只用鼠标就可

  3. 所属分类：其它

    • 发布日期：2009-12-26
    • 文件大小：6291456
    • 提供者：yuanwenmao

  1. The Proof Theory and Semantics of Intuitionistic Modal Logic

  2. Possible world semantics underlies many of the applications of modal logic in computer science and philosophy. The standard theory arises from interpreting the semantic de nitions in the ordinary meta-theory of informal classical mathematics. If, ho

  3. 所属分类：C++

    • 发布日期：2010-06-10
    • 文件大小：1038336
    • 提供者：quwenjian

  1. Intuitionistic Type Theory (Per Martin Lof 1984)

  2. 好不容找到Per Martin Lof在1984年的讲稿，学习DTT的基本文献

  3. 所属分类：专业指导

    • 发布日期：2010-12-01
    • 文件大小：677888
    • 提供者：dragonlyj

  1. ALocalSystemforIntuitionisticLogic

  2. 模糊逻辑已经很成熟了，直觉模糊作为模糊的拓展将是下一步研究的重点，资料里对直觉模糊逻辑进行了分析

  3. 所属分类：其它

    • 发布日期：2011-10-22
    • 文件大小：278528
    • 提供者：zxg_xiaoguang

  1. Similarity measures between intuitionistic fuzzy(vague)sets

  2. 直觉模糊测度的文章，很有价值。是其他直觉模糊理论的基础，看懂了对于学习直觉模糊集就太简单了

  3. 所属分类：其它

    • 发布日期：2011-10-22
    • 文件大小：204800
    • 提供者：zxg_xiaoguang

  1. Intuitionistic Type Theory

  2. Intuitionistic Type Theory

  3. 所属分类：讲义

    • 发布日期：2017-03-08
    • 文件大小：688128
    • 提供者：wizardforcel

  1. Fuzzy Set and Its Extension: The Intuitionistic Fuzzy Set

  2. Provides detailed mathematical exposition of the fundamentals of fuzzy set theory, including intuitionistic fuzzy sets This book examines fuzzy and intuitionistic fuzzy mathematics and unifies the latest existing works in literature. It enables read

  3. 所属分类：其它

    • 发布日期：2019-04-02
    • 文件大小：4194304
    • 提供者：alo54

  1. Using the method of maximizing deviations to multiple attribute decision making under interval-valued intuitionistic fuz

  2. Using the method of maximizing deviations to multiple attribute decision making under interval-valued intuitionistic fuzzy environment，卫贵武，，With respect to multiple attribute decision making problems with interval-valued intuitionistic fuzzy informat

  3. 所属分类：其它

    • 发布日期：2020-02-18
    • 文件大小：359424
    • 提供者：weixin_38599412

  1. A Method for Interval-valued Intuitionistic Fuzzy Multiple Attribute Decision Making with Incomplete Weight Information

  2. A Method for Interval-valued Intuitionistic Fuzzy Multiple Attribute Decision Making with Incomplete Weight Information，卫贵武，，With respect to multiple attribute decision making problems with interval-valued intuitionistic fuzzy information, some opera

  3. 所属分类：其它

    • 发布日期：2020-02-01
    • 文件大小：306176
    • 提供者：weixin_38571449

  1. Some induced geometric aggregation operators with intuitionistic fuzzy information and their application to group decisi

  2. Some induced geometric aggregation operators with intuitionistic fuzzy information and their application to group decision making，卫贵武，，With respect to multiple attribute group decision making (MAGDM) problems in which both the attribute weights and t

  3. 所属分类：其它

    • 发布日期：2020-01-17
    • 文件大小：450560
    • 提供者：weixin_38698433

  1. Ranking for Objects and Attribute Reductions in Intuitionistic Fuzzy Ordered Information Systems

  2. Ranking for Objects and Attribute Reductions in Intuitionistic Fuzzy Ordered Information Systems

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：570368
    • 提供者：weixin_38698863

  1. Characterization of rough set approximations in Atanassov intuitionistic fuzzy set theory

  2. The primitive notions in rough set theory are lower and upper approximation operators defined by a fixed binary relation and satisfying many interesting properties. Many types of generalized rough set models have been proposed in the literature. This

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：309248
    • 提供者：weixin_38564085

  1. INTUITIONISTIC FUZZY ORDERED INFORMATION SYSTEM

  2. INTUITIONISTIC FUZZY ORDERED INFORMATION SYSTEM

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：303104
    • 提供者：weixin_38645133

  1. Independence of axiom sets on intuitionistic fuzzy rough approximation operators

  2. Independence of axiom sets on intuitionistic fuzzy rough approximation operators

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：361472
    • 提供者：weixin_38746574

  1. On intuitionistic fuzzy topologies based on intuitionistic fuzzy reflexive and transitive relations

  2. Topologies and rough set theory are widely used in the research field of machine learning and cybernetics. An intuitionistic fuzzy rough set, which is the result of approximation of an intuitionistic fuzzy set with respect to an intuitionistic fuzzy

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：301056
    • 提供者：weixin_38610657

  1. The relationship between similarity measure and entropy of intuitionistic fuzzy sets

  2. In this paper, we introduce an axiomatic definition of the similarity measure of intuitionistic fuzzy sets (IFS) that differs from the definition of Li [15]. The relationship between the similarity measure and the entropy of IFS is investigated in de

  3. 所属分类：其它

    • 发布日期：2021-02-11
    • 文件大小：216064
    • 提供者：weixin_38609571

  1. Belief functions on general intuitionistic fuzzy information systems

  2. This paper studies probability problems of intuitionistic fuzzy sets and the belief structure of general intuitionistic fuzzy information systems. First, for some special intuitionistic fuzzy sets, a probability is defined by using the integral opera

  3. 所属分类：其它

    • 发布日期：2021-02-09
    • 文件大小：497664
    • 提供者：weixin_38687648

  1. Interval Type-2 Intuitionistic Fuzzy Random Vector Functional Link Neural Network Based Spatio-temporal Prediction of Ni

  2. Interval Type-2 Intuitionistic Fuzzy Random Vector Functional Link Neural Network Based Spatio-temporal Prediction of Nitrogen Dioxide Concentration in Air

  3. 所属分类：其它

    • 发布日期：2021-02-07
    • 文件大小：155648
    • 提供者：weixin_38590309
« 12 »