没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
讲义
category theory for programmers
category theory for programmers
计算机理论
需积分: 9
3 下载量
54 浏览量
2019-04-07
20:36:42
上传
评论
收藏
15.78MB
PDF
举报
温馨提示
立即下载
从程序员的角度讲解范畴论,读起来清晰易懂,程序员理解范畴论的绝佳好书。带目录可复制文字清晰版。
资源推荐
资源评论
category-theory-for-programmers
浏览:161
Bartosz Milewski's 'Category Theory for Programmers
category-theory:程序员应对范畴论挑战的解决方案
浏览:44
范畴论 程序员应对范畴论挑战的解决方案
category theory
浏览:182
something about category, just enjoy~~
category-theory:Coq中类别理论的无公理形式,可供个人学习和实际工作
浏览:19
Coq中的范畴论 这种发展在Coq中对类别理论进行了编码,其主要目的是允许对类别术语进行表示和操纵,以及在各种目标类别中实现这些术语。 使用的版本: 8.8.2, v1.0-8.8。 用法 建议通过将以下内容添加到_CoqProject文件中,在您的开发中包括此库: -R <path> Category 然后使用以下命令包含库的主要元素: Require Import Category
Category Theory for Programmers
浏览:59
值得每个程序员看得范畴论
Category Theory for Programmers:'Category Theory for Programmers' 非官方 PDF 和 LaTeX 源-开源
浏览:104
这是 Bartosz Milewski 撰写的“程序员类别理论”的非官方 PDF 版本,从他的博文系列(经许可)转换而来。 程序员类别理论于 2019 年 8 月 12 日发布。基于发布标签 v1.3.0。 有关自打印以来的更改和修复,请参阅 ...
A Little Book of Python for Multivariate Analysis 等 28 本
浏览:25
Category Theory for Programmers.pdf Computer Vision Algorithms and Applications.pdf Data Science and Analytics for Ordinary People.pdf ebook.7z.tmp Econometrics Streamlined, Applied and e-Aware.pdf ..
Functional.Programming.in.JavaScript.1784398225
浏览:121
5星 · 资源好评率100%
Title: Functional Programming in JavaScript ... Category Theory Chapter 6. Advanced Topics and Pitfalls in JavaScript Chapter 7. Functional and Object-oriented Programming in JavaScript
Computational category theory.pdf
浏览:157
introduction to basic category theory
category-theory-resources:爱好者学习类别理论的资源
浏览:148
范畴理论资源 这是针对想要学习类别理论的发烧友的入门资料的精选。我直到最近才开始学习类别理论,因此,该清单只是其中大量材料的部分样本。如果您认为我错过了此回购中该领域的一些出色工作,请发送或PR。 为什么要学习范畴论? 类别理论被许多人认为是涉及的研究领域。它成为统一各种领域的数学思想的基础。实现这一目标的方法是对这些学科的思想,思想的属性和过程进行抽象的探讨。这种观点使其能够推理出在不同领域中发
18-s097-applyed-category-theory-january-iap-2019:18.S097的课程注释:应用类别理论
浏览:34
18-s097-应用类别理论-IAP-2019 18.S097的课程注释:应用类别理论 关于 有关该课程的更多信息,请参见: 发展 请提交PR,问题或想法! 该网站是使用 它使用方程 适用于CI / CD的Github操作 Github页面用于静态资产托管
category-theory:有时数学太有趣了
浏览:176
每个星期四,我们从下午1点到下午2点举办一次有关类别理论的研讨会,可以通过总部或视频会议进行访问。 欢迎大家! 如有任何疑问,请 。 如果您需要邀请该Slack团队,请发送电子邮件至Ian或Hao。 什么是视频会议链接? 它发布在#categories中。 该存储库是公共的,因此我们在这里不能多说。 嘘 什么是范畴论? 范畴论是对数学的彻底改造。 对于软件工程师来说,它是对数据和数据转换进行建
category-theory-diagrams:开发中
浏览:20
React Webpack打字稿入门 带有热模块更换(HMR)的最小启动器,可实现快速开发。 (16.x) (4.x) (3.x) ( ) 生产构建脚本(Webpack) 图像加载/缩小( ) 支持 代码( )和格式设置() 测试框架( ) 安装 克隆/下载仓库 yarn install (或npm install ) 用法 发展 yarn run start-dev
JavaScript Functional Programming for JavaScript Developers (PDF, EPUB, MOBI)
浏览:186
Chapter 5: Category Theory Chapter 6: Advanced Topics and Pitfalls in JavaScript Chapter 7: Functional and Object-oriented Programming in JavaScript Appendix A: Common Functions for Functional ...
foundational-knowledge-for-programmers:有关程序员基础知识的资源列表(可能持续数十年)
浏览:160
程序员的基础知识 基础知识是基础知识非常不同:如果你在现场是一个新人,也未必是最短路径,成为“职业准备” ......但你会在这里学到将持续你的寿命长! 如果您知道一些符合上面定义的优质资源,请随时贡献。...
2018_ScalaDays_TyDD:Scala Days 2018的类型驱动开发研讨会
浏览:182
程序员类别理论: https : //bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ 真正繁重的实际应用函子: https ://youtu.be/oRLkb6mqvVM 这是我为PHASE举办的本次研讨会的超级非...
Vector Davinci官方帮助配置使用手册(AutoSAR).pdf
浏览:44
5星 · 资源好评率100%
Vector官方帮助文档,配置使用手册。从新建DaVinci工程开始一步一步的讲解如何配置工程;如何编译生成C代码;如何导入CDD、DBC等文件。手册讲解细致,可以说是手把手教学了
c++入门,核心,提高讲义笔记
浏览:123
5星 · 资源好评率100%
最详细的c++入门,核心,提高讲义笔记,看会成为大佬没问题,下载后有疑问请私信。
离散数学及其应用 第八版 奇数编号练习答案.pdf
浏览:178
4星 · 用户满意度95%
离散数学及其应用 第八版本科教学版答案,有需要其他版本到的还可以去华章图书官网下载 地址:http://www.hzbook.com/
数字图像处理 冈萨雷斯 课后习题
浏览:5
数字图像处理 冈萨雷斯 第三版 课后习题。 免费下,没积分的朋友们,免费下。 百度文库网页链接转出来的,清晰,内容可能不太全,没积分的朋友们将就看吧。
科研伦理与学术规范 期末考试2 (40题).pdf
浏览:15
科研伦理与学术规范 期末考试2 (40题)
最值得收藏的 考研线性代数 全部知识点思维导图整理(张宇, 汤家凤), 附带惯用思维/做题技巧/易错点整理.emmx
浏览:131
5星 · 资源好评率100%
用mindmaster打开文件,本文的思维导图根据张宇和汤家凤两人的课程整理而来并标记出重点内容,整合了很多技巧,题型,方法
软件著作权设计说明书模板(含填写说明).docx
浏览:4
5星 · 资源好评率100%
软件著作权最新版设计说明书,每项都有填写说明,可供新人参考。
AUTOSAR培训教材.rar
浏览:159
3星 · 编辑精心推荐
AUTOSAR培训教材,共25.7M,17个PDF文件,十分详细,适合自学或者培训使用。 主要内容:00_AUTOSAR基础知识介绍、01_SWC应用层组件设计详解、02_OS操作系统详解、03_Communication Stack详解、04_Diagnosis Stack 详解、05_Mem Stack详解、06_IO Stack详解、07_WdgM Stack 详解、08_EcuM BswM
菜菜sklearn课程讲义.rar
浏览:29
5星 · 资源好评率100%
适合正在学习机器学习sklearn库的使用教程,关注即可下载哦~
“互联网+”大学生创新创业大赛项目计划书
浏览:127
4星 · 用户满意度95%
填 写 说 明 1.封面上“项目编号”一栏由秘书组编写; 2.项目名称力求简洁、明确,每个项目限报一名负责人; 3.请逐项认真填写; 4.本次大赛必须以团队形式报名参赛,每个团队成员不能少于 3人(包括项目负责人在内); 5.请将撰写完成后的项目计划书按规定时间提交。
notepad++-7.9下载
浏览:171
Notepad++ 是一款非常有特色的编辑器,是开源软件,可以免费使用。 Notepad++是 Windows操作系统下的一套文本编辑器(软件版权许可证: GPL),有完整的中文化接口及支持多国语言编写的功能(UTF8技术)。 Notepad++功能比 Windows 中的 Notepad(记事本)强大,除了可以用来制作一般的纯文字说明文件,也十分适合编写计算机程序代码。Notepad++ 不
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
VitalyR
粉丝: 1
资源:
3
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
JSP+SQL网站流量统计管理系统(源代码+论文).rar
基于词向量融合的建筑文本分类方法研究.pdf
openssl-1.1.1w-1.tar.bz2
初一下册数学中考真题难题
解决未在远程桌面会话中捕获到鼠标,vmguest.iso软件分享给大家
JSP+SQL基于WEB的开放性实验管理系统设计与实现(源代码+论文+开题报告+中英文献+答辩PPT).rar
log4net配置文件!!!!!!!!!!!!!!!!!
河南统计面板数据集(2010-2022年).xlsx
OrcaleDBHelper帮助类!!!!!!!!!!!!
log4net帮助类,用来写日志!!!!!!!!!!!!!
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功