书目信息 机读格式(MARC)
自然数的紧化延伸机器证明系统
| ISBN/价格： | 978-7-03-077545-0:CNY288.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 自然数的紧化延伸机器证明系统/.郁文生，窦国威著 |
| 出版发行项： | 北京:,科学出版社:,2024.05 |
| 载体形态项： | 17,573页:;+彩图:;+24cm |
| 丛编项： | 数学机械化丛书 |
| 提要文摘： | 本书共6章，内容包括：引言、Morse-Kelley公理化集合论的形式化系统实现、滤子构造超有理数的形式化系统实现、什么是实数、非主算术超滤的存在性、结论与注记。 |
| 题名主题： | 机器证明 |
| 中图分类： | TP181 |
| 个人名称等同： | 郁文生 著 |
| 个人名称等同： | 窦国威 著 |
| 记录来源： | CN LCTBU 20250325 |