×
模型论与计算复杂度-罗里波文集

模型论与计算复杂度-罗里波文集

1星价 ¥28.6 (5.5折)
2星价¥28.6 定价¥52.0
图文详情
  • ISBN:9787303158904
  • 装帧:一般胶版纸
  • 册数:暂无
  • 重量:暂无
  • 开本:16开
  • 页数:328
  • 出版时间:2013-12-01
  • 条形码:9787303158904 ; 978-7-303-15890-4

本书特色

《罗里波文集:模型论与计算复杂度》主要内容包括:、关于代数系统自同构群的一个问题、模型的并、积与齐次模型、自由群内方程的讨论、可换群中无限生成元直和项消去条件的探讨、计算机科学发展漫谈、多个一元关系上的vaught猜想、无原子布氏代数理论的计算复杂性、利用计算机计算古典数论问题等。

内容简介

本书主要内容包括:关于代数系统自同构群的一个问题、模型的并、积与齐次模型、自由群内方程的讨论、可换群中无限生成元直和项消去条件的探讨、计算机科学发展漫谈、多个一元关系上的Vaught猜想、无原子布氏代数理论的计算复杂性、利用计算机计算古典数论问题等。

目录

有限结合系与有限群(ⅰ)
强不可接近基数上p(k)的插入定理
关于代数系统自同构群的一个问题
模型的并、积与齐次模型
自由群内方程的讨论
可换群中无限生成元直和项消去条件的探讨
计算机科学发展漫谈
多个一元关系上的vaught猜想
无原子布氏代数理论的计算复杂性
利用计算机计算古典数论问题
康托尔实数的局限性
非良基集合论模型悖论
完全二叉树的量词消去
完全二叉树理论的计算复杂度
可计算实数及其在判定问题上的应用
可数齐次模型的模型数
自由群的τ-理论是不可判定的
可换群理论的计算复杂性
实数加法的正式子的计算复杂性
有限系统上的函数与泛函数
数论中的多项式时间可计算算法
在计算机科学中去掉无限
没有等号的有限模型论
计算实数函数的图灵机的稳定性
用ω-图灵机计算实数函数
非标准数论的新定理
论文和著作目录
后记

展开全部

预估到手价 ×

预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格(不含优惠券部分),仅供参考,未必等同于实际到手价。

确定
快速
导航