基本介紹
- 書名：模型論與計算複雜度:羅里波文集
- 作者：羅里波 李仲來
- 出版社：北京師範大學出版社
- 出版時間：2013年12月1日
- 頁數：328 頁
- 開本：16 開
- ISBN：9787303158904
- 語種：簡體中文, 英語
內容簡介,圖書目錄,
內容簡介
《模型論與計算複雜度(羅里波文集)》收集了作者所發表過的數學方面的主要文章，其中有研究論文20篇，科普文章2篇，指導研究生的論文3篇以及歷史上重要文獻的中譯文1篇。主要內容包括：關於代數系統自同構群的一個問題、模型的並、積與齊次模型、自由群內方程的討論、可換群中無限生成元直和項消去條件的探討、計算機科學發展漫談、多個一元關係上的Vaught猜想、無原子布氏代數理論的計算複雜性、利用計算機計算古典數論問題等。
圖書目錄
有限結合系與有限群（Ⅰ）
強不可接近基數上P（K）的插入定理
關於代數系統自同構群的一個問題
模型的並、積與齊次模型
自由群內方程的討論
可換群中無限生成元直和項消去條件的探討
計算機科學發展漫談
多個一元關係上的Vaught猜想
無原子布氏代數理論的計算複雜性
利用計算機計算古典數論問題
康托爾實數的局限性
非良基集合論模型悖論
完全二叉樹的量詞消去
完全二叉樹理論的計算複雜度
可計算實數及其在判定問題上的套用
可數齊次模型的模型數
自由群的τ—理論是不可判定的
可換群理論的計算複雜性
實數加法的正式子的計算複雜性
有限系統上的函式與泛函式
數論中的多項式時間可計算算法
在計算機科學中去掉無限
沒有等號的有限模型論
計算實數函式的圖靈機的穩定性
用w—圖靈機計算實數函式
非標準數論的新定理
論文和著作目錄
後記
