登录注册购物车(0)

优桃书网

您的位置：首页 > 图书分类 > 图书详情

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

当前价：

¥ 218.88

定价：

¥ 288.00

规格

数量

库存 0 件

装帧:平装
作者:郁文生
ISBN:9787030775450
出版日期:2024-5-1
书名:自然数的紧化延伸机器证明系统
出版社:科学出版社
开本:24cm

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

用户评价

为您推荐

计算机数据挖掘技术与应用研究

计算机数据挖掘技术与应用研究

葛凡

¥24.47 ¥72.0

计算机信息网络安全与数据处理技术研究

计算机信息网络安全与数据处理技术研究

张宾宿敬肖

¥35.98 ¥90.0

计算思维与计算机基础教育研究

计算思维与计算机基础教育研究

李海容祁春霞

¥23.99 ¥60.0

C语言程序设计理论与教学方法研究

C语言程序设计理论与教学方法研究

吴翔

¥21.76 ¥68.0

基于深度学习的高分辩率遥感图像场景分类

基于深度学习的高分辩率遥感图像场景分类

钱晓亮

¥53.44 ¥99.0

中文版IIIustrator CC平面设计实例教程

中文版IIIustrator CC平面设计实例教程

朴承哲,吕虹,赵林主编

¥33.31 ¥68.0

中文版office2016办公自动化实训教程

中文版office2016办公自动化实训教程

王芬

¥33.31 ¥68.0

中文版After Effects影视后期特效设计与制作案例教程

中文版After Effects影视后期特效设计与制作案例教程

汤池

¥44.88 ¥89.8

计算机网络技术与网络安全问题研究

计算机网络技术与网络安全问题研究

邓才宝

¥21.76 ¥68.0

IlolustratorCC平面设计与制作案例教程含微课

IlolustratorCC平面设计与制作案例教程含微课

段燕

¥39.09 ¥79.8