| 图书 | 模型论与计算复杂度(罗里波文集) |
| 内容 | 目录 有限结合系与有限群（Ⅰ） 强不可接近基数上P（K）的插入定理 关于代数系统自同构群的一个问题 模型的并、积与齐次模型 自由群内方程的讨论 可换群中无限生成元直和项消去条件的探讨 计算机科学发展漫谈 多个一元关系上的Vaught猜想 无原子布氏代数理论的计算复杂性 利用计算机计算古典数论问题 康托尔实数的局限性 非良基集合论模型悖论 完全二叉树的量词消去 完全二叉树理论的计算复杂度 可计算实数及其在判定问题上的应用 可数齐次模型的模型数 自由群的τ-理论是不可判定的 可换群理论的计算复杂性 实数加法的正式子的计算复杂性 有限系统上的函数与泛函数 数论中的多项式时间可计算算法 在计算机科学中去掉无限 没有等号的有限模型论 计算实数函数的图灵机的稳定性 用ω-图灵机计算实数函数 非标准数论的新定理 论文和著作目录 后记 编辑推荐 《模型论与计算复杂度(罗里波文集)》收集了作者所发表过的数学方面的主要文章，其中有研究论文20篇，科普文章2篇，指导研究生的论文3篇以及历史上重要文献的中译文1篇。主要内容包括：关于代数系统自同构群的一个问题、模型的并、积与齐次模型、自由群内方程的讨论、可换群中无限生成元直和项消去条件的探讨、计算机科学发展漫谈、多个一元关系上的Vaught猜想、无原子布氏代数理论的计算复杂性、利用计算机计算古典数论问题等。 内容推荐 本书内容有: 无原子布氏代数理论的计算复杂性、利用计算机计算古典数论问题、康托尔实数的局限性、非良基集合论模型悖论、完全二叉树的量词消去、完全二叉树理论的计算复杂度、可计算实数及其在判定问题上的应用、可数齐次模型的模型数等。 |
| 标签 | |
| 缩略图 |  |
| 书名 | 模型论与计算复杂度(罗里波文集) |
| 副书名 | |
| 原作名 | |
| 作者 | 罗里波 |
| 译者 | |
| 编者 | |
| 绘者 | |
| 出版社 | 北京师范大学出版社 |
| 商品编码（ISBN） | 9787303158904 |
| 开本 | 16开 |
| 页数 | 328 |
| 版次 | 1 |
| 装订 | 平装 |
| 字数 | 325 |
| 出版时间 | 2013-12-01 |
| 首版时间 | 2013-12-01 |
| 印刷时间 | 2013-12-01 |
| 正文语种 | 汉 |
| 读者对象 | 研究人员,普通成人 |
| 适用范围 | |
| 发行范围 | 公开发行 |
| 发行模式 | 实体书 |
| 首发网站 | |
| 连载网址 | |
| 图书大类 | 科学技术-自然科学-数学 |
| 图书小类 | |
| 重量 | 0.418 |
| CIP核字 | 2013011584 |
| 中图分类号 | O141.4-53 |
| 丛书名 | |
| 印张 | 21 |
| 印次 | 1 |
| 出版地 | 北京 |
| 长 | 235 |
| 宽 | 155 |
| 高 | 14 |
| 整理 | |
| 媒质 | 图书 |
| 用纸 | 普通纸 |
| 是否注音 | 否 |
| 影印版本 | 原版 |
| 出版商国别 | CN |
| 是否套装 | 单册 |
| 著作权合同登记号 | |
| 版权提供者 | |
| 定价 | |
| 印数 | |
| 出品方 | |
| 作品荣誉 | |
| 主角 | |
| 配角 | |
| 其他角色 | |
| 一句话简介 | |
| 立意 | |
| 作品视角 | |
| 所属系列 | |
| 文章进度 | |
| 内容简介 | |
| 作者简介 | |
| 目录 | |
| 文摘 | |
| 安全警示 | 适度休息有益身心健康，请勿长期沉迷于阅读小说。 |
| 随便看 |
|
兰台网图书档案馆全面收录古今中外各种图书，详细介绍图书的基本信息及目录、摘要等图书资料。