猜你喜欢
- 《红楼梦》的智慧（文学博士详解《红楼梦》智慧，千古奇书因何而奇，慧眼参破贾府世情生态） 李晓东
- 企业新维度：重构经营之道 陈湛匀
- 名家集字写春联 篆书 过年写春联 余德泉
- 思科ACI部署完全指南 弗兰克·达根哈特
- 炮灰女主的食梦日常[快穿] 九江紫
- 游戏与元宇宙：数字时代的媒介升维与深度游戏化 喻国明
- 瓜瓜星球财商漫画 点读版 全套6册（儿童财商启蒙绘本3-6岁经济学启蒙绘本图画书一年级财富价值观启蒙系列图书) [4-8岁] 温馨
- 三岛由纪夫戏剧十种（下） 三岛由纪夫
- 世间神祇：中古以降山西寺观与墓葬中的图像 吴中博物馆
- 大客户营销增长策略：破解业绩增长瓶颈，释放可持续增长潜能 易斌
- 一人之下 01 米二
- 一个人最好的状态是活出松弛感+做一个内核稳定的成年人（套装2册） 布鲁克·麦卡瑞丽
- 心灵活泉 伯特‧海灵格
- 奇想国大师名著：超级无聊的一天
- 疗愈瑜伽 周韶薐
- 图说大学生活 尤长军
- 稳增长：中国经济基本盘 张文魁
- 风声 麦家
- 投资成长股：罗·普莱斯投资之道 [T. Rowe Price：The Man, The Company, and The Invest] [美] 科尼利厄斯
- 禅庭设计 枡野俊明作品集 米拉·洛克
- 详谈：杨浩涌 李翔
- 如何清晰地表达 帕特里克·亨利·温斯顿
- 阿刘的摄影后期课 阿刘
- 斗罗大陆5重生唐三14 唐家三少
- 蹄兔非兔 象鼩非鼩 :张衍辉
- 陈情令之忘情令 陆九九
- 零基础学C#（全彩版 附光盘 小白实战手册） 明日科技
- 基辛格传 沃尔特·艾萨克森 朱敬文
- AutoCAD 2019从入门到精通CAD教材自学 实战案例+视频讲解 天工在线
- 小布头奇遇记：立体书 孙幼军
- 人性的优点（2019全新修订版，未删节原版全译本！） 戴尔·卡耐基
- 庆余年：轻云直上 不言下自成蹊
- 投资改变人生：那些滚雪球的人（第三辑） 雪球投资经典系列 雪球
- 课本上学不到的漫画中国史 朕说
- 编程竞赛宝典 张新华
- 数据化管理 黄成明
- 六西格玛设计：产品开发之道 杨凯
- 爆款小红书：从零到百万粉丝的玩赚策略 吕白
- 山水纪行 宁思潇潇
- 不换屋 漂亮家居编辑部
- 即兴表达力：抓住改变人生的三分钟 崔永平
- 奥特曼英雄集结立体书:珍藏版 日本圆谷制作株
- 用中医思维破局：从疑难病例畅谈中医实战艺术 陈腾飞
- 触摸西方建筑 王其钧
- 电磁兼容电路建模方法（电子信息前沿技术丛书） [英] 伊恩·B.达尔内
- 鎸囨尌涓庨€氫俊绯荤粺 榛勮幑
- 孔子和他的弟子們 南懷瑾
- 米小圈趣味猜谜语:宝藏特攻队+又奇又怪博物馆+动物园大闯关+玩具争夺战(套装共4册） [7-10岁] 北猫
- Python大规模机器学习 巴斯蒂安·贾丁
- 娱乐圈bts没有恋爱脑 金金金五金
公理化集合论机器证明系统
| 书籍作者：郁文生 | 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公理化集合论系统的首次形式化实现。