← 返回

自然数的紧化延伸机器证明系统

著者郁文生，窦国威著
ISBN9787030775450
分类号TP181 自动化技术、计算机技术
学科工学
版次第1版
出版社科学出版社
丛书名数学机械化丛书(15)
出版年2024
价格¥288.00
页码17,573页
类型 📄 纸质书
核心评分8.8/10
读者对象—
主题词—
内容简介：本书共6章，内容包括：引言、Morse-Kelley公理化集合论的形式化系统实现、滤子构造超有理数的形式化系统实现、什么是实数、非主算术超滤的存在性、结论与注记。
登录后可荐购