出版社：北京师范大学出版社
年代：2013
定价：55.0
本书是《北京师范大学数学家文库》的第12部。
有限结合系与有限群（Ⅰ）
强不可接近基数上P（K）的插入定理
关于代数系统自同构群的一个问题
模型的并、积与齐次模型
自由群内方程的讨论
可换群中无限生成元直和项消去条件的探讨
计算机科学发展漫谈
多个一元关系上的Vaught猜想
无原子布氏代数理论的计算复杂性
利用计算机计算古典数论问题
康托尔实数的局限性
非良基集合论模型悖论
完全二叉树的量词消去
完全二叉树理论的计算复杂度
可计算实数及其在判定问题上的应用
可数齐次模型的模型数
自由群的τ—理论是不可判定的
可换群理论的计算复杂性
实数加法的正式子的计算复杂性
有限系统上的函数与泛函数
数论中的多项式时间可计算算法
在计算机科学中去掉无限
没有等号的有限模型论
计算实数函数的图灵机的稳定性
用w—图灵机计算实数函数
非标准数论的新定理
论文和著作目录
后记
《模型论与计算复杂度(罗里波文集)》收集了作者所发表过的数学方面的主要文章，其中有研究论文20篇，科普文章2篇，指导研究生的论文3篇以及历史上重要文献的中译文1篇。主要内容包括：关于代数系统自同构群的一个问题、模型的并、积与齐次模型、自由群内方程的讨论、可换群中无限生成元直和项消去条件的探讨、计算机科学发展漫谈、多个一元关系上的Vaught猜想、无原子布氏代数理论的计算复杂性、利用计算机计算古典数论问题等。《模型论与计算复杂度罗里波文集》内容有无原子布氏代数理论的计算复杂性、利用计算机计算古典数论问题、康托尔实数的局限性、非良基集合论模型悖论、完全二叉树的量词消去、完全二叉树理论的计算复杂度、可计算实数及其在判定问题上的应用、可数齐次模型的模型数等。
| 书籍详细信息 | |||
| 书名 | 罗里波文集站内查询相似图书 | ||
| 丛书名 | 北京师范大学数学家文库 | ||
| 9787303158904 如需购买下载《罗里波文集》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN | |||
| 出版地 | 北京 | 出版单位 | 北京师范大学出版社 |
| 版次 | 1版 | 印次 | 1 |
| 定价(元) | 55.0 | 语种 | 简体中文 |
| 尺寸 | 24 × 16 | 装帧 | 平装 |
| 页数 | 印数 | ||