图书介绍
罗里波文集 模型论与计算复杂度2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载
- 李仲来主编 著
- 出版社： 北京：北京师范大学出版社
- ISBN：9787303158904
- 出版时间：2013
- 标注页数：328页
- 文件大小：40MB
- 文件页数：344页
- 主题词：模型论－文集；线性复杂度－文集
PDF下载
点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]
下载说明
罗里波文集 模型论与计算复杂度PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
有限结合系与有限群（I）1
强不可接近基数上P（K）的插入定理4
关于代数系统自同构群的一个问题12
模型的并、积与齐次模型20
自由群内方程的讨论31
可换群中无限生成元直和项消去条件的探讨43
计算机科学发展漫谈54
多个一元关系上的Vaught猜想60
无原子布氏代数理论的计算复杂性68
利用计算机计算古典数论问题82
康托尔实数的局限性90
非良基集合论模型悖论99
完全二叉树的量词消去108
完全二叉树理论的计算复杂度119
可计算实数及其在判定问题上的应用129
可数齐次模型的模型数162
自由群的τ—理论是不可判定的166
可换群理论的计算复杂性172
实数加法的正式子的计算复杂性221
有限系统上的函数与泛函数232
数论中的多项式时间可计算算法251
在计算机科学中去掉无限261
没有等号的有限模型论271
计算实数函数的图灵机的稳定性285
用ω-图灵机计算实数函数300
非标准数论的新定理312
论文和著作目录324
后记327