模型论与计算复杂度:罗里波文集
Saved in:
Main Authors: | |
---|---|
Group Author: | |
Published: |
北京师范大学出版社
|
Publisher Address: | 北京 |
Publication Dates: | 2013 |
Literature type: | Book |
Language: | Chinese |
Subjects: | |
Carrier Form: | 328页: 照片 ; 24cm |
ISBN: | 978-7-303-15890-4 |
Index Number: | O141 |
CLC: |
O141.4-53 O157.4-53 |
Call Number: | O141.4-53/6263 |
Contents: |
北京师范大学数学家文库 本书收集了数学家罗里波所发表过的数学方面的主要文章,其中有研究论文20篇,科普文章2篇,指导研究生的论文3篇以及历史上重要文献的中译文1篇。主要内容包括:《关于代数系统自同构群的一个问题》、《模型的并、积与齐次模型》、《自由群内方程的讨论》、《可换群中无限生成元直和项消去条件的探讨》、《计算机科学发展漫谈》、《多个一元关系上的Vaught猜想》等。 |