热门文档
- 2023-10-13 17:09:40 楚辞 中华传统诗词经典 可复制-李山-9787101097528
- 2023-04-19 15:04:26 《千家妙方 上册 1982年》(李文亮等编)
- 2022-09-18 20:22:00 中国人为什么看不起中国人 张鸣
- 2023-10-13 17:09:40 超速学习:我这样做,一个月学会素描,一年学会四种语言,完成MIT四年课程-斯科特·扬著,林慈敏译-9789861755533
- 2022-09-18 20:22:00 中国兵法之起源 编委会
- 2022-11-24 16:17:09 《性爱健康指南》石四维编著
- 2022-11-24 16:17:09 《性体验与性爱心理》尤里-谢尔巴特赫
- 2023-10-13 17:09:40 初中诗词格律读本 可复制-周建忠 徐乃为 王业强编著-9787101121704
- 2023-10-13 17:09:40 曾国藩家书 中华经典藏书(升级版)可复制-檀作文译注-9787101115482
- 2023-10-13 17:09:40 菜根谭 中华经典藏书(升级版)可复制-杨春俏译注-9787101115611
- 2023-10-13 17:09:40 崇祯帝大传-晁中辰著 可复制-9787101114935
- 2022-09-18 19:48:57 心理催眠术 迈克尔.赫普,温迪.德雷顿著

1、本文档共计 203 页,下载后文档不带www.pdfdz.com水印,支持完整阅读内容。
2、古籍基本都为PDF扫描版,所以文档不支持编辑功能,即不支持文档内文字的复制粘贴。
3、当您付费下载文档后,您只拥有了使用权限,并不意味着购买了版权,文档只能用于自身使用,不得用于其他商业用途(如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利)。
4、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。
5、如文档内容存在违规,或者侵犯商业秘密、侵犯著作权等,请点击“违规举报”。
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