- 作 者：胡久稔编著
- 出 版 社：沈阳：辽宁教育出版社
- 出版年份：1987
- ISBN：7538201742
- 标注页数：197 页
- PDF页数：212 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源212 ≥197页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
一 希尔伯特第十问题的提出 1
二 数理逻辑有关基础知识 9
1．命题及其联结词 11
2．命题形式的变换 13
3．个体词、谓词与量词 18
4．谓词演算的推理规则 21
5．前束范式定理 23
三 中国剩余定理与拉格郎日定理 27
1．中国剩余定理 29
2．拉格郎日定理 32
四 斐波那契数列 39
1．斐波那契数列 41
2．斐波那契数的可除性 45
3．几个重要的引理 49
五 贝尔方程 55
1．阿基米德分牛问题 57
2．贝尔方程 60
六 刁藩图集与刁藩图函数 75
1．刁藩图集 77
2．刁藩图函数 82
3．普特南定理 88
七 幂函数是刁藩图的 91
1．偶角标斐波那契函数是刁藩图的 96
2．幂函数是刁藩图的 102
3．三个重要的刁藩图函数 109
八 受囿量词定理 117
1．受囿量词定理的原始证明 119
2．受囿量词定理的一个完美形式 126
九 递归函数 133
1．原始递归函数 137
2．递归函数 153
十 第十问题是不可解的 161
1．通用刁藩图集 163
2．归约 169
3．递归可枚举集 172
十一 素数表示与著名数学问题 177
1．素数的刁藩图表示 179
2．三大著名问题 184
3．两个未解决的问题 192
参考文献 193
中外人名译名索引 196