猜你喜欢
- 给孩子讲量子力学（2022） 李淼
- 寻找时间的边缘 约翰·格里宾
- 初墨的甜甜圈 小方爱吃甜甜圈
- 国学文选 —— 中国传统价值观当代诠释 (全四册） 鑾牶閿
- 小猪佩奇 英国快乐瓢虫出版公司
- 学经典 悟原理————马克思主义经典著作精选导读 孙经国
- 说话的艺术 [美] 罗莎莉·马吉欧
- 水质研究方法（第二版） 胡洪营
- [陈情令]笙歌如月 羽姝醉
- 认知觉醒 保罗·斯隆
- 问，就对了！用提问掌控人生主动权 任康磊
- 候场 李诞
- 大赢家：看漫画学投资（1） 三田纪房
- 酋长如何掌权 蒂莫西·厄尔
- 饮食真相 蒂姆˙斯佩克特
- 创业 拉斯·特维德
- 自然地理学前沿 傅伯杰等
- 重返帕米尔 侯杨方
- 信息学奥林匹克竞赛初赛精讲精练 陈文博
- 【预售商品 4月13日后发货】 好运（腾势汽车尊享版） 喻颖正
- 一纸繁花 简单好看的水彩画入门 飞乐鸟工作室
- 请把种子埋进土里：带着意识走进生命，走进生活，走近孩子 安长喜
- 优雅是唯一不会褪色的美 李一
- 多面体编译理论与深度学习实践 赵捷
- 新材料与新体制天线技术 赵鲁豫
- 钻石型城市配电网 阮前途
- 柴油发动机高压共轨电控系统原理与故障检修 第3版 郭建樑
- 三联生活周刊（2021年7月第32期） 肖启明
- 北漂者说 全秋生
- 生活数学大爆炸 幼小衔接数学思维训练（1阶）（全2册） 全脑开发教研中心
- 子夜十3（亲笔签名版） 颜凉雨
- 改进——高成长组织的系统原则 丁晖
- 第一财经杂志2021年第5期：新青年 [YiMagazine] 第一财经
- Head First Java 实战（第三版） 凯西·希拉
- 权力进化论 ?杰弗瑞·菲佛?
- 血液系统疾病实验诊断规范 肖志坚
- 英文原版Macbeth 麦克白 莎士比亚戏剧故事 经典世界文学名著 [平装] Shakespeare
- 悄然改写的公主梦：女孩必备安全自助手册 著名育儿作家沈青黎最新力作，培养孩子的自我保护意识 沈青黎
- 试题调研 英语（新高考） 第9辑 考前抢分必备 2021版 天星教育 天星教育研究院
- 版式设计原理·案例篇 提升版式设计的64个技巧 [日] 原弘始
- 从入门到精通：写实水彩画完全自学教程·花卉篇 肖瑶
- 海洋文明小史 雅克·阿塔利
- 爱上中式点心 烘焙大师教你116种好吃的中式点心一次就成功 黎国雄
- 濒死之眼 [日] 东野圭吾
- 情长纸短田英章田雪松硬笔行楷描临本(情诗) 田雪松
- SONYα6600微单摄影技巧大全 雷波
- 社交裂变 黄小仙
- 星空摄影与后期：银河、星座、星云、星轨、流星雨与延时视频全攻略 拂晓
- 建筑的梦想 [英] 理查德?罗杰斯
- 帝国的暮光 鲁大维（David
公理化集合论机器证明系统
| 书籍作者：郁文生 | ISBN：9787030640390 |
| 书籍语言：简体中文 | 连载状态：全集 |
| 电子书格式：pdf,txt,epub,mobi,azw3 | 下载次数：3935 |
| 创建日期：2021-02-14 | 发布日期：2021-02-14 |
| 运行环境：PC/Windows/Linux/Mac/IOS/iPhone/iPad/Kindle/Android/安卓/平板 | |
内容简介
利用计算机证明辅助工具，可以完整构建这三大母结构的形式化系统。本书利用交互式定理证明工具Coq，实现Morse-Kelley公理化集合论形式化系统，包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述，其中构造了序数和基数，定义了非负整数，把Peano公设当作定理，可以迅速而自然地给出一个数学基础，摆脱了明显的悖论。这是Morse-Kelley公理化集合论系统的首次形式化实现。