书目信息 |
| 题名： |
公理化集合论机器证明系统
|
|
| 作者： | 郁文生 ， 孙天宇 ， 付尧顺 著 | |
| 分册： | ||
| 出版信息： | 北京 科学出版社 2020.03 |
|
| 页数： | xiii, 293页, [1] 叶图版 | |
| 开本： | 25cm | |
| 丛书名： | 数学机械化丛书 | |
| 单 册： | ||
| 中图分类： | O144 | |
| 科图分类： | ||
| 主题词： | 集论公理系统--ji lun gong li xi tong--机器证明 | |
| 电子资源： | ||
| ISBN： | 978-7-03-064039-0 | |
| 000 | 01177nam 2200277 450 | |
| 001 | CAL 0120202965249 | |
| 010 | @a978-7-03-064039-0@b精装@dCNY128.00 | |
| 100 | @a20200331d2020 em y0chiy50 ea | |
| 101 | 0 | @achi |
| 102 | @aCN@b110000 | |
| 105 | @aaf a 001yy | |
| 106 | @ar | |
| 200 | 1 | @a公理化集合论机器证明系统@Agong li hua ji he lun ji qi zheng ming xi tong@f郁文生, 孙天宇, 付尧顺著 |
| 210 | @a北京@c科学出版社@d2020.03 | |
| 215 | @axiii, 293页, [1] 叶图版@c图@d25cm | |
| 225 | 2 | @a数学机械化丛书@Ashu xue ji xie hua cong shu@v13 |
| 320 | @a有书目 (第284-289页) 和索引 | |
| 330 | @a本书利用交互式定理证明工具Coq, 实现Morse-Kelley公理化集合论形式化系统, 包括对该体系中8个公理 (含选择公理) 和1个公理图示以及全部181条定义或定理的Coq描述, 其中构造了序数和基数, 定义了非负整数, 把Peano公设当作定理, 可以迅速而自然地给出一个数学基础, 摆脱了明显的悖论。 | |
| 410 | 0 | @12001 @a数学机械化丛书@v13 |
| 606 | 0 | @a集论公理系统@Aji lun gong li xi tong@x机器证明 |
| 690 | @aO144@v5 | |
| 701 | 0 | @a郁文生@Ayu wen sheng@4著 |
| 701 | 0 | @a孙天宇@Asun tian yu@4著 |
| 701 | 0 | @a付尧顺@Afu yao shun@4著 |
| 801 | 0 | @aCN@c20200906 |
| 905 | @a河南城建学院图书馆@dO144@eY849 | |
| 公理化集合论机器证明系统/郁文生, 孙天宇, 付尧顺著.-北京：科学出版社，2020.03 |
| xiii, 293页, [1] 叶图版：图；25cm.-(数学机械化丛书；13) |
| ISBN 978-7-03-064039-0(精装)：CNY128.00 |
| 本书利用交互式定理证明工具Coq, 实现Morse-Kelley公理化集合论形式化系统, 包括对该体系中8个公理 (含选择公理) 和1个公理图示以及全部181条定义或定理的Coq描述, 其中构造了序数和基数, 定义了非负整数, 把Peano公设当作定理, 可以迅速而自然地给出一个数学基础, 摆脱了明显的悖论。 |
| ● |
| 相关链接 |
|
|
|
正题名：公理化集合论机器证明系统
索取号：O144/Y849
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1474483 | 214744838 | 自科库401/401自科库 40排4列2层/ [索取号:O144/Y849] | 在馆 |