
- 作 者:胡久稔编著
- 出 版 社:沈阳:辽宁教育出版社
- 出版年份:1987
- ISBN:7538201742
- 注意:在使用云解压之前,请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
8
(在线云解压服务)
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式,该格式图书只能阅读和打印,不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式,支持电脑、手机、平板等各类电子设备阅读;可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
一 希尔伯特第十问题的提出 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