代数与数理逻辑 王世强文集PDF电子书下载
- 电子书积分:12 积分如何计算积分?
- 作 者:李仲来主编
- 出 版 社:北京:北京师范大学出版社
- 出版年份:2005
- ISBN:7303074945
- 页数:320 页
目录一 数理逻辑与代数命题演算的一系公理(及补注) 3
一种逻辑电路演算的初步构作 10
格值模型论中紧致性定理的一种证法 20
格值模型论中的省略型定理 29
关于合同关系的可换性 38
实向量所成的有序环 49
有限结合系与有限群(Ⅰ) 67
关于代数系统的自同构群的一个注记 71
关于格值模型论的一些研究 79
关于可补格的一种分类问题 88
二 数理逻辑对代数的应用一类具有Goldbach性质的可换环 95
二次数环的不具有Goldbach性质的扩环 103
一些分圆整数环的Goldbach及非Goldbach扩环 110
不可数域的一个紧致性定理 112
关于域上无限方阵的逆方阵 120
无限方阵的二平方和定理 126
Goldbach猜想对于Peano公理组的条件独立性——对一些数论问题的逻辑讨论(Ⅰ) 132
完美数与亲和数问题对PA的条件独立性——对一些数论问题的逻辑讨论(Ⅲ) 138
模型论对多项式理论的一个应用 143
一些三次数环的具有及不具有Goldbach性质的扩环 145
一种Goldbach可换环的数论性质 159
归纳的环和域 172
Hilbert零点定理的推广 178
某些域上无限方阵的2平方和定理 183
关于无限方阵的Jordan标准型 187
关于行列有限方阵的对角化 193
行列有限的无限矩阵的对角化 203
某些无限域上多项式环的Goldbach3素元性质 215
三 数学教育结式定理的一种证法 223
运算律的秘密 229
0和1的方程组 241
格值模型论概述(一) 250
一个数学分析问题的独立性 260
模型论对经典数学的应用 270
数学基础研究的一些新进展 276
关于Baire定理等的真假 284
杂谈数学及其他 291
附录年表 305
论文和著作目录 311
后记 319
- 《线性代数简明教程》刘国庆,赵剑,石玮编著 2019
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《不朽的月光 泉文诗集》毛泉文 2018
- 《大理·傈僳族民间歌舞集 汉文、傈僳文 1》大理州永平县傈僳族协会编 2012
- 《高等代数 下》曹重光,生玉秋,远继霞 2019
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《线性代数及应用》蒋诗泉,叶飞,钟志水 2019
- 《弗雷格逻辑主义研究》刘靖贤著 2019
- 《概率论与数理统计》傅丽芳 2018
- 《俞樾全集 第19册 春在堂随笔 曲园四书文 曲园课孙草 经义塾钞》(清)俞樾撰著;赵一生主编 2017
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《大学生心理健康与人生发展》王琳责任编辑;(中国)肖宇 2019
- 《大学英语四级考试全真试题 标准模拟 四级》汪开虎主编 2012
- 《大学英语教学的跨文化交际视角研究与创新发展》许丽云,刘枫,尚利明著 2020
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《大学英语综合教程 1》王佃春,骆敏主编 2015
- 《大学物理简明教程 下 第2版》施卫主编 2020
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019