中图网

>

数学

>

数学理论

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

作者：罗里波

出版社：北京师范大学出版社出版时间：2013-12-01

开本： 16开 页数： 328

本类榜单：自然科学销量榜

中图价:¥28.6(5.5折) 定价 ~~¥52.0~~ 登录后可看到会员价

加入购物车收藏

运费6元，满39元免运费

?新疆、西藏除外

本类五星书更多>

>
宇宙、量子和人类心灵

宇宙、量子和人类心灵

¥41.6¥58
>
考研数学专题练1200题

考研数学专题练1200题

¥30.6¥78
>
希格斯:“上帝粒子”的发明与发现

希格斯:“上帝粒子”的发明与发现

¥17.4¥48
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁

神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁

¥48¥120
>
二十四史天文志校注(上中下)

二十四史天文志校注(上中下)

¥261.3¥390
>
声音简史

声音简史

¥20.8¥52
>
浪漫地理学:追寻崇高景观

浪漫地理学:追寻崇高景观

¥39.3¥59

买过本商品的人还买了

苏珊·哈克逻辑哲学思想研究
颜中军著
¥18.6~~¥38.0~~
2012年-群雄逐鹿-全国象棋甲级联赛对局解析-第四辑
刘锦祺赵冬
¥20.2~~¥31.0~~

商品详情
商品评论(0条)

中图价:¥28.6 加入购物车

版权信息
本书特色
内容简介
目录

模型论与计算复杂度-罗里波文集版权信息

ISBN：9787303158904
条形码：9787303158904 ; 978-7-303-15890-4
装帧：一般胶版纸
册数：暂无
重量：暂无
所属分类：
自然科学
>
数学
>
数学理论

模型论与计算复杂度-罗里波文集本书特色

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

模型论与计算复杂度-罗里波文集内容简介

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

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

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

展开全部

商品评论(0条)

写书评赚书币

暂无评论……

书友推荐