📖 书目详情
自然数的紧化延伸机器证明系统
| 著者 | 郁文生，窦国威著 |
| ISBN | 9787030775450 |
| 中图分类 | TP181 自动化技术、计算机技术 |
| 学科分类 | 工学 |
| 版次 | 第1版 |
| 出版社 | 科学出版社 |
| 丛书名 | 数学机械化丛书(15) |
| 出版年 | 2024 |
| 页码 | 17,573页 |
| 价格 | ¥288.00 |
| 可推荐册数 | 请登录后查看 |
| 核心评分 |
8.6/10
|
📝 内容简介
本书共6章，内容包括：引言、Morse-Kelley公理化集合论的形式化系统实现、滤子构造超有理数的形式化系统实现、什么是实数、非主算术超滤的存在性、结论与注记。
🏛️ 本馆馆藏信息
本馆暂无该书的馆藏记录，可在线借购