|
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]
|
在馆
|
|
