资源简介
数理逻辑是基础工具，研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注，擦除掉也不影响解释执行。类型标志就像xx编程规范，可以增强可读性正确性，减少bug。但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。
代码片段和文件信息
属性 大小 日期 时间 名称
----------- --------- ---------- ----- ----
文件 5203539 2018-10-18 15:19 （王世强）数理逻辑与范畴论应用.pdf
----------- --------- ---------- ----- ----
文件 5203539 2018-10-18 15:19 （王世强）数理逻辑与范畴论应用.pdf
- 上一篇：杰微H81P主板BIOS
- 下一篇：private shell 3.1 破解版
相关资源
- 数学原理第一卷）分为集合论、范畴
- 计算机科学中的范畴论
- 可计算性与数理逻辑第四版中文版
- 王浩.数理逻辑通俗讲话
- 北京大学数理逻辑_王捍贫
- 范畴与计算机科学
- Conceptual Mathematics - A First Introduction
- Logic for mathematicians86794
- logic for mathematicians
- 数学家的逻辑
- 汪芳庭 数理逻辑
- 数理逻辑，王兵山，国防科技大学
- 面向计算机科学的数理逻辑:系统建模
- Model Theory
- 哥德尔证明 pdf 中文
- 数理逻辑与集合论第二版·
- 计算机科学中的范畴论.pdf
- 面向计算机科学的数理逻辑第二版-陆
- 哈工大数理逻辑2018.zip
- 数理逻辑教材
- 面向计算机科学的数理逻辑即系统与
- 面向计算机科学的数理逻辑 系统建模
- 范畴论在软件工程中的应用
- 数理逻辑课件
- 高级数理逻辑
- 现代数理逻辑学
- 面向计算机科学的数理逻辑系统建模
- 《离散数学》课程课件
- Logic in Computer Science英文原版课后习题
- 哈工大数理逻辑历年考试题
川公网安备 51152502000135号
评论
共有 条评论