请选择 进入手机版 | 继续访问电脑版
首页计算机书籍程序设计Martin-Lof类型论程序设计导论_Bengt Nordstrom等著 宋方敏译_7305038326
memories

文档

1150

关注

0

好评

0
PDF

Martin-Lof类型论程序设计导论_Bengt Nordstrom等著 宋方敏译_7305038326

阅读 798 下载 0 大小 5.89M 总页数 203 页 2023-03-17 分享
价格:¥ 10.00
下载文档
/ 203
全屏查看
Martin-Lof类型论程序设计导论_Bengt Nordstrom等著 宋方敏译_7305038326
还有 203 页未读 ,您可以 继续阅读 或 下载文档
1、本文档共计 203 页,下载后文档不带www.pdfdz.com水印,支持完整阅读内容。
2、古籍基本都为PDF扫描版,所以文档不支持编辑功能,即不支持文档内文字的复制粘贴。
3、当您付费下载文档后,您只拥有了使用权限,并不意味着购买了版权,文档只能用于自身使用,不得用于其他商业用途(如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利)。
4、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。
5、如文档内容存在违规,或者侵犯商业秘密、侵犯著作权等,请点击“违规举报”。
目录1,1类型论用于程序设计…82.,命题和规格说明的等同102.】命题作为102.2命题作为任务和程序的规格说明…121414…1516173.5带名分部的组合…173.7定义…3.8什么是具某个相关度的表达式的定义…203.9两个表达式之间相等性的定义……21第一部分多型4.判断形式的语义……254.2带一个前提的假设判断……294,3带多个前提的假设判断…31…345,2命题作为………365.3相等性规则……363740422自录62单元素与真命题……4243457.1形式规则及其论证……477.2另一种原始非典则形式…………487.3由Ⅱ定义的常元…51548.1内涵相等性……548.2外延相等性………578.3Ⅱ-元素的刀相等性596110。列表…6511.两个的笛氏积…70707212.两个的不交和…7513.族的不交和7714.小之(第一全城)…797914.2消去规则……879415.1用良序表示归纳定义9816.一般树9910016.2与良序构造子的关系……10216.3树构造子的异体…10416.4不同树的例子104第二部分子11411411618.3子理论中的一般规则………11918.4子理论中的命题常元…12018.5由概括形成子………12218.6子理论中单独的成集算子……124
返回顶部