首页
AI Coding
NEW
沸点
课程
直播
活动
AI刷题
APP
插件
搜索历史
清空
创作者中心
写文章
发沸点
写笔记
写代码
草稿箱
创作灵感
查看更多
会员
登录
注册
确定删除此收藏集吗
删除后此收藏集将被移除
取消
确定删除
确定删除此文章吗
删除后此文章将被从当前收藏集中移除
取消
确定删除
编辑收藏集
名称:
描述:
0
/100
公开
当其他人关注此收藏集后不可再更改为隐私
隐私
仅自己可见此收藏集
取消
确定
TypeSystem
订阅
这周你想干啥
更多收藏集
微信扫码分享
微信
新浪微博
QQ
1篇文章 · 0订阅
TAPL《类型和程序设计语言》第三章笔记
为什么没有第二章的笔记呢?因为第二章全章都是在科普数学知识。 第二章 数学预备知识 翻译半天,我发现看这个课件 就可以了 集合 Sets, 关联 Relations, and 函数 Functions