varsoft
- 浏览: 2439298 次
- 性别:
- 来自: 上海
-
最新评论
-
coosummer：
推荐使用http://buttoncssgenerator.c ...
几个漂亮的Button的CSS -
sws354：
多表连接的方式效率更低，几百条数据就能看出效果。
MySQL随机取数据最高效率的方法 -
lsj111：
用java实现如何做
PHP中利用mysql进行访问统计的思路和实现代码 -
check-枫叶：
您好！我现在也在弄google Maps，现在可以把2点之间的 ...
Google Maps API用法教程 -
nothingtalk：
博主，您好。
“所以我们接下来要介绍除去Gideon Ehr ...
排列组合算法1：生成全部有序列b
范畴论入门文章
相关推荐
针对数据模型复杂语义建模的应用需求, 以及目前数据模型范畴论建模方法理论研究与工程实践方面存在的不足, 建立了一种素描数据模型。该模型在模型范畴的形式化框架内, 用与特定数据库建模语言无关的范畴论对数据库...
针对计算机科学的范畴论，英文版，搞大数据推荐学习。
基础代数和CF范畴论 邹开其 Fuzzy Category
范畴论在软件工程中的应用.对于软件开发的新的研究
陈意云写的，书中首先介绍了代数规范的基本知识和一此泛代数的知识，然后系统地介绍了范畴论的主要内容，范畴，函子，自然变换，积与和，极限和余极限，伴随，笛卡尔封闭的范畴和素描等，并通过很多例子，介绍了范畴...
本书以数据库作为范畴论的入门，通过实例解释了范畴论，并表明范畴论作为数学中严格，灵活且连贯的建模语言，在数学之外非常有用。
范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注，擦除掉也不影响解释执行。类型标志就像xx编程规范，可以增强可读性正确性，减少bug。但也不仅于此，类型是对编程语言的抽象，类型表达一...
本文以范畴论中的集合范畴为背景,通过范畴论中的集合范畴解释和阐述了计算机科学中JAVA面向对象语言理论中的集合框架里的抽象概念，从而证明了范畴论在不同学科之间的关联起着重要作用。 关键字：范畴；集合范畴；...
程序员的范畴论（CateThreoryProg） 程序员的范畴论（CateThreoryProg） 程序员的范畴论（CateThreoryProg）
计算机包括科学与技术两个方面，本书是理论方面的，科大博导的书
MIT 18.S996：科学家的范畴论
我写的是范畴论及其在量子论中的应用。_TeX_下.zip
范畴论程序员应对范畴论挑战的解决方案
程序员的范畴论 通过Haskell中的示例学习类别理论。 该代码将使用英语，但注释，解释和注释将使用西班牙语。 资料来源 主要来源是撰写的“程序员的分类理论”一书，您可以在这里找到： : 注意 许多评论提到这是一...
该存储库中的文档用于 CMU 的范畴论课程。 要在 Ubuntu 机器上编译此文档，您需要安装并运行 python-pygments pdflatex -shell-escape LaTeX_howto.tex
讲的很详细了已经，如果有英语基础和范畴论基础的同学看起来应该不难。
鉴于业务目标模型的形式化可以验证模型的正确性，提出了一种利用范畴论形式化GRL模型的方法。首先，依据GRL元模型结构，应用范畴论中的态射机制形式化描述GRL模型中目标与目标、目标与任务以及任务与任务等节点之间...
针对数据模型复杂语义建模的应用需求, 以及目前数据模型范畴论建模方法理论研究与工程实践方面存在的不足, 建立了一种素描数据模型。该模型在模型范畴的形式化框架内, 用与特定数据库建模语言无关的范畴论对数据库...
每个人都应该看一看的范畴论入门教材，非常浅显易懂 。