|
题名:
|
自然数的紧化延伸机器证明系统 [ 专著] zi ran shu de jin hua yan shen ji qi zheng ming xi tong / 郁文生，窦国威著 , |
|
ISBN:
|
978-7-03-077545-0 价格： CNY288.00 |
|
语种:
|
chi |
|
载体形态:
|
17,573页 彩图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2024 |
|
内容提要:
|
本书共6章，内容包括：引言、Morse-Kelley公理化集合论的形式化系统实现、滤子构造超有理数的形式化系统实现、什么是实数、非主算术超滤的存在性、结论与注记。 |
|
主题词:
|
机器证明 |
|
中图分类法:
|
TP181 版次： 5 |
|
主要责任者:
|
郁文生 yu wen sheng 著 |
|
主要责任者:
|
窦国威 dou guo wei 著 |