![《公理化集合论机器证明系统》[60M]百度网盘|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公理化集合论系统的首次形式化实现。
![《.NETCore底层入门》[91M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/s1/4e7f94d261dda084.jpg)
![《控制工程基础杨秀萍编书籍》[56M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/b495f276772f6293.jpg)
![《:自然语言处理与Java语言实现罗刚》[88M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/6688b8aac0873f64.jpg)
![《基于用户体验的医学健康可用性研究计算机与互联网IT人文互联网》[40M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/5980e988N629b5857.jpg)