目录
第1章 Fibonacci数与Lucas序列
§1.1 Fibonacci数与Lucas数
§1.2 关于Lucasu-序列与v-序列的恒等式
§1.3 Lucas序列的非负性与单调性
§1.4Lucas序列的同余性质
§1.5 Fibonacci多项式与Chebyshev多项式
第2章 Diophantus方程与 Diophantus表示
§2.1 Lagrange四平方和定理
§2.2刻画(un(A,±1))n≥0与(vn(A,±1))n≥0的二次Diophantus方程
§2.3 Pell方程
§2.4 Diophantus集与 Diophantus关系
82.5C=uB(A,1)的 Diophantus表示
§2.6指数关系的Diophantus表示
第3章 可计算性理论
§3.1 原始递归函数
§3.2 部分递归函数
§3.3 Turing机与Church-Turing论题
§3.4 递归可枚举集与递归集
第4章 Hilbert第十问题及其否定解答
§4.1 Hilbert第十问题
§4.2z=(k)与z=n!的指数Diophantus表示
§4.3受限全称量词的删去
§4.4 Matiyasevich定理
第5章 关系组合定理
§5.1 Matiyasevich-Robinson关系组合定理
§5.2整变元情形的关系组合定理
§5.3 有理数域上的关系组合定理
第6章 11未知数定理
§6.1p进表示的基本性质
§6.2 第一个辅助定理
§6.3 第二个辅助定理
§6.4 第三个辅助定理
§6.5加强的9未知数定理
§6.611未知数定理及其应用
参考文献