代数与数理逻辑/王世强文集

出版时间：2005-11  出版社：北京师大  作者：王世强  页数：320  字数：319000  
Tag标签：无  

内容概要

　　《王世强文集：代数与数理逻辑》内容包括数理逻辑与代数、命题演算的一系公理（及补注）、一种逻辑电路演算的初步构作、格值模型论中紧致性定理的一种证法、格值模型论中的省略型定理、关于合同关系的可换性、实向量所成的有序环、有限结合系与有限群、关于代数系统的自同构群的一个注记、关于格值模型论的一些研究、关于可补格的一种分类问题等。

书籍目录

一　数理逻辑与代数 　命题演算的一系公理（及补注） 　一种逻辑电路演算的初步构作 　格值模型论中紧致性定理的一种证法 　格值模型论中的省略型定理 　关于合同关系的可换性 　实向量所成的有序环 　有限结合系与有限群（Ⅰ） 　关于代数系统的自同构群的一个注记 　关于格值模型论的一些研究 　关于可补格的一种分类问题 二　数理逻辑对代数的应用 　一类具有G01dbach性质的可换环 　二次数环的不具有Goldbach性质的扩环 　一些分圆整数环的Goldbach及非Goldbach扩环 　不可数域的一个紧致性定理 　关于域上无限方阵的逆方阵 　无限方阵的二平方和定理 　Goldbach猜想对于Peano公理组的条件独立性——对一些数论问题的逻辑讨论（Ⅰ） 　完美数与亲和数问题对PA的条件独立性——对一些数论问题的逻辑讨论（Ⅲ） 　模型论对多项式理论的一个应用 　一些三次数环的具有及不具有Goldbach性质的扩环 　一种Goldbach可换环的数论性质 　归纳的环和域 　Hilbert零点定理的推广 　某些域上无限方阵的2平方和定理 　关于无限方阵的Jordan标准型 　关于行列有限方阵的对角化 　45-f，1有限的无限矩阵的对角化 　某些无限域上多项式环的Goldbach 3素元性质 三　数学教育 　结式定理的一种证法 　运算律的秘密 　0和1的方程组 　格值模型论概述（一） 　一个数学分析问题的独立性 　模型论对经典数学的应用 　数学基础研究的一些新进展 　关于Baire定理等的真假 　杂谈数学及其他 附录 　年表 　论文和著作目录 后记

用户评论 (总计1条)

•   作者是毛主席的同学，少年好友。