理想的Groebner基与特征列

内容提要	第1-7页
绪论	第7-9页
第一章 预备知识	第9-14页
·多项式与仿射空间	第9-11页
·仿射族	第11页
·理想	第11-14页
第二章 Groebner 基	第14-32页
·引言	第14页
·在K[x_1,x_2 ,..., x_n]	第14-20页
·单项式理想和 Dickson’s 引理	第20-21页
·Groebner 基	第21-24页
·Groebner 基的性质	第24-27页
·理想的 Groebner 基	第27-30页
·Groebner 基的算法	第30-32页
第三章 特征列	第32-50页
·引言	第32页
·伪除和连续伪除	第32-35页
·特征列	第35-40页
·特征列的性质	第40-42页
·理想的特征列	第42-46页
·吴-Ritt 方法	第46-47页
·特征列的计算	第47-50页
第四章 命题逻辑推理的代数化证明	第50-75页
·引言	第50-51页
·命题公式和真值函数	第51-54页
·用多项式方程组证明命题等价式	第54-62页
·用多项式方程组证明命题蕴含式和逻辑推理	第62-75页
结论	第75-77页
参考文献	第77-80页
中文摘要	第80-83页
Abstract	第83-86页
致谢	第86页