猜你喜欢
- 我不知道该说什么，关于死亡还是爱情 S.A.阿列克谢耶维奇
- 从部落到国家 马克·W. 莫菲特
- 在华五十年 [美] 司徒雷登（John
- [综影视]照吾扶桑 蹙损春山淡
- 冲啊 小小冒险家 儿童成长探索力绘本 套装全6册 海豚绘本花园汉斯比尔系列畅销绘本故事书3-6岁书籍包邮 [3-6岁] 汉斯·比尔等
- iPad画画超有爱 简单好学的Procreate绘画教程 李五点
- Octave程序设计 于红博
- 内容引爆增长 王子乔
- 曾国藩传（张宏杰全新增补版）（京东专供签名版） 张宏杰
- Python大数据分析从入门到精通 兰一杰
- 瓦尔登湖 大卫·梭罗
- Nginx实战：基于Lua语言的配置、开发与架构详解 王力
- 鬼滅之刃 21（特裝版） 吾峠呼世晴
- 极简表达：让人一听就懂的沟通技巧 王海亮
- 见微知著，趣说日本文化 王静
- 时尚芭莎女士版（2021年5月号) 苏芒
- 现代主义漫步(柏林国立博古睿美术馆馆藏展)(精) UCCA尤伦斯当代艺术中心
- 云计算解决方案架构设计 [美] 凯文·L.杰克逊
- 暖一颗星下酒 Fernanda
- 电影学院146：纪录片创作完全手册（第5版）（畅销全球20年的纪录片人必备指） [美] 迈克尔·拉毕格
- 论法治与德治 梁治平
- 通过实例学习R [美] 吉姆·艾伯特
- 用音乐铸就民族之魂：记张棣昌的电影音乐 魏茜
- 可解释人工智能导论 杨强
- 查理九世4·法老王之心 雷欧幻像
- 意林少年版合订本总第110卷（2022年09期-12期） [9-12岁] 意林少年版编辑部
- 四世同堂-全三册 老舍
- 悦古 孔令伟
- 学习书法的十三个问题/湖山艺丛 启功
- 个人所得税实务操作与汇算清缴 彭怀文
- WPS 表格实战技巧精粹 Excel Home
- 浮生自在 史铁生
- 好的沟通就是好的教育 画云博士
- 每天5分钟玩转OpenStack CloudMan
- 疯狂动物城 美国迪士尼公司
- 如果历史是一群喵1-8(套装共8册)(京东定制版)限量赠送冰箱贴+喵咪便签本 肥志编绘
- 游戏制作的本质（第3版） Heather
- 生活即禅，笑看平凡 林帝浣
- 语言文字规范手册（增订本） 杨林成
- 回到卡戎 郝景芳
- 恐龙闯进磨磨蹭蹭镇（送给有拖延症的你，帮你改掉磨磨蹭蹭的坏习惯） 迟慧
- 藏在耶鲁的10个成功秘密（百万册畅销书《哈佛凌晨四点半》原策划团队时隔8年，诚心再推育人宝典！ 方向苹
- 剑指大数据——企业级数据仓库项目实战（在线教育版） 尚硅谷教育
- 沐阳上学记1-4（套装共4册） [7-10岁] 萧萍
- 家庭情绪养育 曾庆枝
- Lonely Planet 孤独星球：首尔（2016年版） 澳大利亚Lonely
- 天堂旅行团
- 心：稻盛和夫的一生嘱托（布面精装珍藏版） [日] 稻盛和夫
- 这才是孩子爱看的山海经全彩手绘板扫码收听音频裸脊线装版（全5册） 山海经儿童版 写给孩子的上古神 +赠送无与伦比的史记 有声伴读彩色插图版 [6-12岁] 于春娥
- 年岁 阿崔
公理化集合论机器证明系统
| 书籍作者：郁文生 | ISBN：9787030640390 |
| 书籍语言：简体中文 | 连载状态：全集 |
| 电子书格式：pdf,txt,epub,mobi,azw3 | 下载次数：3919 |
| 创建日期：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公理化集合论系统的首次形式化实现。