模型论与计算复杂度-罗里波文集
本书特色
[
《罗里波文集:模型论与计算复杂度》主要内容包括:、关于代数系统自同构群的一个问题、模型的并、积与齐次模型、自由群内方程的讨论、可换群中无限生成元直和项消去条件的探讨、计算机科学发展漫谈、多个一元关系上的vaught猜想、无原子布氏代数理论的计算复杂性、利用计算机计算古典数论问题等。
]
目录
有限结合系与有限群(ⅰ)强不可接近基数上p(k)的插入定理关于代数系统自同构群的一个问题模型的并、积与齐次模型自由群内方程的讨论可换群中无限生成元直和项消去条件的探讨计算机科学发展漫谈多个一元关系上的vaught猜想无原子布氏代数理论的计算复杂性利用计算机计算古典数论问题康托尔实数的局限性非良基集合论模型悖论完全二叉树的量词消去完全二叉树理论的计算复杂度可计算实数及其在判定问题上的应用可数齐次模型的模型数自由群的τ-理论是不可判定的可换群理论的计算复杂性实数加法的正式子的计算复杂性有限系统上的函数与泛函数数论中的多项式时间可计算算法在计算机科学中去掉无限没有等号的有限模型论计算实数函数的图灵机的稳定性用ω-图灵机计算实数函数非标准数论的新定理论文和著作目录后记
封面
书名:模型论与计算复杂度-罗里波文集
作者:罗里波
页数:328
定价:¥52.0
出版社:北京师范大学出版社
出版日期:2013-12-01
ISBN:9787303158904
PDF电子书大小:66MB 高清扫描完整版