源码之巅峰
全部资源
全部资源
C/C++
C#
PHP
Java
Python
VB
ASP
Html/CSS
Matlab
JavaScript
数据库
模板
其他
上传
VIP购买
登录
注册账号
C#
C/C++
PHP
Java
Python
VB
ASP
Html/CSS
Matlab
JavaScript
数据库
模板
AI
其他
当前位置：> TAG标签 >
范畴
数理逻辑与范畴论应用王世强
0
编程语言：
其他
大小：
金币：
上传人：32332
发布日期：2023-10-29
数理逻辑是基础工具，研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注，擦除掉也不影响解释执行。类型标志
范畴论在软件工程中的应用
0
编程语言：
其他
大小：
金币：
上传人：rtesd
发布日期：2023-07-06
范畴论在软件工程中的应用.对于软件开发的新的研究
2条
热门下载
范畴论在软件工程中的应用
数理逻辑与范畴论应用王世强
川公网安备 51152502000135号川公网安备 51152502000135号