猜你喜欢
- 儿童身体训练动作手册 药球与BOSU球训练 王雄
- 天使百人会成长印记：中国天使投资人蓄势待发 胡雪琴
- 国有企业工资分配常用政策文件汇编 《国有企业工资分配常用政策文件汇编》编写组
- 城市建筑学 阿尔多·罗西
- 【预售】中国国家地理杂志订阅 2023年1月起订 1年共12期 杂志铺
- 2021新版 中国地图·中国地形(鼠标垫3合1) 中国地图出版社
- 生命蓝图 刘津
- 单车圣经 《单车圣经》编委会
- 六品堂楷书字帖成人练字正楷一本通控笔训练硬笔书法练字帖成年速成钢笔字帖 李六军
- 不息的水脉——大运河讲谈录 赵珩
- 妈妈的修养（再好的教育，都抵不过一个坚定的妈妈！） 佐藤亮子
- 让数据说话：管理流程提升最佳实践 李庆能
- 别让你的嘴，拖了你后腿 [日] 五百田达成
- 相似之书 埃德蒙·雅贝斯
- 碳中和与中国未来 王文
- 数智供应链：打造产业数字化新引擎 程慧
- 科技之巅 麻省理工科技评论 50大全球突破性技术深度剖析 麻省理工科技评论
- 调皮女孩阿柑（全4册） 莎拉·潘尼培克
- 你的奋斗，终将伟大 洪雪珍
- 经济基础知识（中级）应试指南2021 全国经济专业技术资格考试辅导用书编委会
- 埃及博物馆珍宝图鉴 弗朗西斯科·提拉底提
- 奋力向前：生而为赢，人生不言败（人生导师传世经典系列·心理励志）（畅销3版） 奥里森·马登
- 华西儿保余妈妈告诉你辅食添加那些事儿 余涛
- 义务教育教科书 语文 课堂笔记 三年级 下册 《课堂笔记》编写组
- 逍遥游 班宇
- 我就是男主死了的白月光 徐梦我
- 夜深忽梦少年事 瞒星
- 幸福的方法2 [美] 泰勒·本-沙哈尔
- 诸神世界杯：你好，世界杯+诸神黄昏+世界杯风云（套装3册） 于鑫淼
- 画家事典 [日] 田边干之助
- 德国技术史：从18世纪至今 约阿希姆·拉德考
- 最强大脑训练课：越玩越好玩的210个填字游戏（畅销4版） 石楠
- 一笔一旅：绘四季的水彩小物 战战
- 重新定义Spring Cloud实战 许进
- 《资本论》轻松读 的场昭弘
- 秒懂传达力 [日] 岩田松雄
- 帕佩撒旦阿莱佩:流动社会纪事(翁贝托·埃科作品系列） [Pape Satàn Aleppe .Cronache di una società liquida] 翁贝托·埃科
- 你可不可以喜欢我 苏小懒
- 电商产品视频拍摄、剪辑与运营从入门到精通 伏龙影像
- 这么设计才好玩——化腐朽为神奇的海报设计之术 吴婷
- 新概念英语第一册 亚历山大
- 英文原版 莎士比亚著名戏剧集 四大悲剧四大喜剧8册合计 经典世界文学名著 [平装] Shakespeare
- 中国PE/VC经典投资案例集 北京创投咨询有限公司
- 去梯言-从零开始读懂博弈论 刑群麟
- 硬派健身+精准拉伸（京东套装共2册） 斌卡
- 国家能源集团煤矿智能化建设指南（2022版） 国家能源集团煤炭运输部
- 从Excel到Python：用Python轻松处理Excel数据 曾贤志
- 毫无保留 小比尔·马里奥特
- 肌动学：肌肉骨骼系统功能（第3版） 约瑟夫·E.
- 豆子芝麻茶 杨本芬
公理化集合论机器证明系统
| 书籍作者：郁文生 | 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公理化集合论系统的首次形式化实现。