珠海科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

自然数的紧化延伸机器证明系统/郁文生, 窦国威著

出版发行项:

北京:科学出版社,2024

ISBN及定价:

978-7-03-077545-0 精装/CNY288.00

载体形态项:

xvii, 573页:彩图;25cm

丛编项:

数学机械化丛书;15

个人责任者:

郁文生 著

个人责任者:

窦国威 著

学科主题:

机器证明

中图法分类号:

TP181

书目附注:

有书目 (第516-524页) 和索引

提要文摘附注:

本书共6章, 内容包括: 引言、Morse-Kelley公理化集合论的形式化系统实现、滤子构造超有理数的形式化系统实现、什么是实数、非主算术超滤的存在性、结论与注记。

豆瓣简介：