![《公理化集合论机器证明系统》[53M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/3dc1bb8045c61a8b.jpg "公理化集合论机器证明系统")
公理化集合论机器证明系统 pdf下载
8.99￥
10.99￥
内容简介
本篇主要提供公理化集合论机器证明系统电子书的pdf版本下载，本电子书下载方式为百度网盘方式，点击以上按钮下单完成后即会通过邮件和网页的方式发货，有问题请联系邮箱ebook666@outlook.com
内容简介
利用计算机证明辅助工具，可以完整构建这三大母结构的形式化系统。本书利用交互式定理证明工具Coq，实现Morse-Kelley公理化集合论形式化系统，包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述，其中构造了序数和基数，定义了非负整数，把Peano公设当作定理，可以迅速而自然地给出一个数学基础，摆脱了明显的悖论。这是Morse-Kelley公理化集合论系统的首次形式化实现。
![《Taro多端开发权威指南：小程序、H5与App高效开发实战》[91M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/s0629/83cc1fd03f23f6f9.jpg)
![《Python少儿编程周圆航空工业计算机与互联网书籍》[51M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/e47b74496faf0193.jpg)
![《Android开发基础》[56M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/57ea2126N75b82baf.jpg)
![《图解密码技术结城浩,周自恒》[90M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/0e547aea7fb93ae6.jpg)