罗里波文集 模型论与计算复杂度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