您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 数学原理(第一卷)分为集合论、范畴论、范代数和模型论

  2. 有关数学原理的基础知识及理论,包括集合论、范畴论、范代数和模型论四个部分。
  3. 所属分类:专业指导

    • 发布日期:2009-12-03
    • 文件大小:5242880
    • 提供者:blorind
  1. 语义网 java 范畴论小论文

  2. 本文以范畴论中的集合范畴为背景,通过范畴论中的集合范畴解释和阐述了计算机科学中JAVA面向对象语言理论中的集合框架里的抽象概念,从而证明了范畴论在不同学科之间的关联起着重要作用。 关键字:范畴;集合范畴;集合框架;容器(Collection);Set ;Map
  3. 所属分类:Java

    • 发布日期:2011-01-11
    • 文件大小:77824
    • 提供者:woaixx80
  1. 范畴论在软件工程中的应用

  2. 范畴论在软件工程中的应用.对于软件开发的新的研究
  3. 所属分类:其它

    • 发布日期:2011-12-08
    • 文件大小:12582912
    • 提供者:l055419870720
  1. 计算机科学中的范畴论

  2. 计算机科学中的范畴论,是数学与计算机相关理论。参考读物,供下载
  3. 所属分类:其它

    • 发布日期:2012-11-09
    • 文件大小:4194304
    • 提供者:yangxingtao
  1. 计算机科学中的范畴论

  2. 陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
  3. 所属分类:软件测试

    • 发布日期:2014-01-23
    • 文件大小:8388608
    • 提供者:sl130com
  1. 代数拓扑与同调论

  2. 代数拓扑与同调论 Algebraic Topology ........................................................................................... Allen Hatcher Title Page Table of Contents Preface Standard Notations 同调论 .......................................................
  3. 所属分类:专业指导

    • 发布日期:2014-04-11
    • 文件大小:51380224
    • 提供者:jiangdmdr
  1. Algebra(GTM73)

  2. Hungerford代数学经典书,涵盖群论,环论,域论,模,范畴论不多说,查代数方面资料很方便
  3. 所属分类:专业指导

    • 发布日期:2014-05-15
    • 文件大小:8388608
    • 提供者:sissi815zx
  1. 针对计算机科学的范畴论

  2. 针对计算机科学的范畴论,英文版,搞大数据推荐学习。
  3. 所属分类:讲义

    • 发布日期:2014-09-26
    • 文件大小:2097152
    • 提供者:retom
  1. 基础代数和CF范畴论

  2. 基础代数和CF范畴论 邹开其 Fuzzy Category
  3. 所属分类:专业指导

    • 发布日期:2015-03-22
    • 文件大小:14680064
    • 提供者:jiangdmdr
  1. 计算机科学中的范畴论

  2. 所属分类:其它

    • 发布日期:2016-06-22
    • 文件大小:4194304
    • 提供者:u013045509
  1. 数理逻辑与范畴论应用(王世强)

  2. 数理逻辑是基础工具,研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注,擦除掉也不影响解释执行。类型标志就像xx编程规范,可以增强可读性正确性,减少bug。但也不仅于此,类型是对编程语言的抽象,类型表达一类变量或函数的共同行为特征。
  3. 所属分类:其它

    • 发布日期:2017-12-04
    • 文件大小:4194304
    • 提供者:easterdev
  1. Category Theory by Steve Awodey

  2. 比较基本的范畴论读物,适合自学。 This text and reference book on Category Theory, a branch of abstract algebra, is aimed not only at students of Mathematics, but also researchers and students of Computer Science, Logic, Linguistics, Cognitive Science, Philosophy, a
  3. 所属分类:讲义

    • 发布日期:2018-04-09
    • 文件大小:3145728
    • 提供者:ah8t3
  1. 计算机科学中的范畴论

  2. 范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论,以抽象的方法来处理数学概念,将这些概念形式化成一组组的“物件”及“态射”。有些人开玩笑地称之为“一般化的抽象废话”。范畴论出现在很多数学分支中,以及理论计算机科学和数学物理的一些领域。
  3. 所属分类:专业指导

    • 发布日期:2018-05-02
    • 文件大小:4194304
    • 提供者:mark_tanlixing
  1. category theory for programmers

  2. category theory for programmers,本书介绍范畴论的各个概念,并使用haskell和c++实现这些概念,阐明与函数式编程的关系。学习本书有助于提高抽象能力,学习函数式编程的高级设计模式。
  3. 所属分类:其它

    • 发布日期:2018-06-08
    • 文件大小:12582912
    • 提供者:dragonlyj
  1. 论“事故”的法学界定及安全生产法的修订

  2. 不同学科对于"事故"的界定是不同的。安全生产法中的事故有自己特定的含义,它既不同于管理学中的事故概念,也与民法、刑法中的事故概念有别。它主要是从结果产生损害的角度来界定的,事故的产生原因可能是人的行为、技术原因和自然原因,都在安全生产法防控的范围内。危险源是风险的一种属于风险的范畴,而事故隐患之概念不科学,我国安全生产法宜用事故风险概念取代之,并建立风险防控体系。
  3. 所属分类:其它

    • 发布日期:2020-05-15
    • 文件大小:196608
    • 提供者:weixin_38627104
  1. 软集和模糊软集的范畴

  2. 为从范畴论的观点研究软集,分别建立了软集的范畴和模糊软集的范畴,并讨论了它们的topos性质.研究结果表明:软集的范畴有terminal object,finite products,equalizer和SC等topos性质;模糊软集的范畴有finite products,equalizer,terminal object和exponentials等topos性质.该成果对软集的研究具有一定的参考价值.
  3. 所属分类:其它

    • 发布日期:2020-05-06
    • 文件大小:222208
    • 提供者:weixin_38608873
  1. 忽视还是关怀?——论马克思多主体交往实践观的生态维度

  2. "实践"范畴作为马克思"交往实践理论"的逻辑基点,在其多元主体的交往模式中具有独特的生态维度,这种多主体交往模式的构建是以实践为基础的。马克思视域下的"实践"概念与之前的哲学家在政治、伦理意义上使用的"实践"概念是极为不同的,它所展现的是一种多主体双维度的交往特征。文章在对这种多主体双维度交往实践理论所蕴含的"生态依赖原则"和"双向生态维度"进行理论澄清的同时,反驳了部分环境主义者对"马克思理论缺乏生态关怀"这一观点的质疑,并且,这一理论所蕴藏的生态内涵亦可以成为我国可持续发展政策的哲学基础。
  3. 所属分类:其它

    • 发布日期:2020-06-13
    • 文件大小:206848
    • 提供者:weixin_38564598
  1. 论垄断协议及其规制对传统契约理论的突破

  2. 19世纪的经济发展以自由放任主义为理念,传统契约理论便在这样的背景下产生了。当时的契约理论主张完全的意思自治,契约即合意。到了20世纪,随着国家对社会福利的日益重视和契约公正理念的提出,契约完全自由受到了限制。在反垄断法领域,垄断协议这种特殊的契约被纳入了法律规制的范畴。这一趋势不同于传统契约理论的是:对垄断协议的规制是基于法定义务的预设而非遵从当事人的约定义务;除关注传统契约构成要件外,更注重"效果要件"。
  3. 所属分类:其它

    • 发布日期:2020-07-09
    • 文件大小:230400
    • 提供者:weixin_38666230
  1. 魏晋玄学美学中“性”范畴蕴含的生命意识

  2. 魏晋玄学美学中的"性"范畴超越了儒家美学"性"之道德本体、道家美学"性"之"逻各斯"的探求,着力论证了精神生命、感性生命与社会理性生命三位一体的生命结构,充分展示了那个时代的思维对此岸现世生命积极超拔的精神品格,包孕着浓郁的文化心灵结构、对生命的终极思考以及生命的价值与情怀。郭象的"性"论建构了以"独化"为核心的生命本体论,具体表现为:"独化"是存在的存在论,即本体论;"性"即物性与心性一体的自由生命意识。从而在本体论上建构了生命的本根与精神的超越。
  3. 所属分类:其它

    • 发布日期:2020-07-09
    • 文件大小:188416
    • 提供者:weixin_38720653
  1. 内涵发展驱动下论煤企经济管理模式的构建

  2. 在构建煤企经济管理模式时还应对内涵驱动进行理解。在组织资源范畴下来理解这一事物,无非就是在"人"的要素和"物"的要素上寻找根据。考察煤企的组织形态后可以将其划分为3大功能部分:生产功能、生产辅助功能以及行政管理功能部分。这样一来,企业经济管理的内在要求便可以围绕之分别进行探究。在此基础上,模式构建包括:提升企业员工质量、优化企业员工数量、增强设备运转效率、提高资金使用效益。
  3. 所属分类:其它

    • 发布日期:2020-07-06
    • 文件大小:464896
    • 提供者:weixin_38609693
« 12 3 4 »