当前位置：罗里波文集 模型论与计算复杂度pdf电子书下载 > 数理化
- 作 者：李仲来主编
- 出 版 社：北京：北京师范大学出版社
- 出版年份：2013
- ISBN：9787303158904
- 标注页数：328 页
- PDF页数：344 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源344 ≥328页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
有限结合系与有限群（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