內容介紹 | |
![](https://bnmppic.bookuu.com/goods/10/13/14/2829628-fm.jpg)
-
出版社:北京師大
-
ISBN:9787303158904
-
作者:羅裡波
-
頁數:328
-
出版日期:2013-12-01
-
印刷日期:2013-12-01
-
包裝:平裝
-
開本:16開
-
版次:1
-
印次:1
-
字數:325千字
-
《模型論與計算復雜度(羅裡波文集)》收集了作者所發表過的數學方面的主要文章,其中有研究論文20篇,科普文章2篇,指導研究生的論文3篇以及歷**重要文獻的中譯文1篇。主要內容包括:關於代數繫統自同構群的一個問題、模型的並、積與齊次模型、自由群內方程的討論、可換群中無限生成元直和項消去條件的探討、計算機科學發展漫談、多個一元關繫上的Vaught猜想、無原子布氏代數理論的計算復雜性、利用計算機計算古典數論問題等。
-
有限結合繫與有限群(Ⅰ) 強不可接近基數上P(K)的插入定理 關於代數繫統自同構群的一個問題 模型的並、積與齊次模型 自由群內方程的討論 可換群中無限生成元直和項消去條件的探討 計算機科學發展漫談 多個一元關繫上的Vaught猜想 無原子布氏代數理論的計算復雜性 利用計算機計算古典數論問題 康托爾實數的局限性 非良基集合論模型悖論 **二叉樹的量詞消去 **二叉樹理論的計算復雜度 可計算實數及其在判定問題上的應用 可數齊次模型的模型數 自由群的τ-理論是不可判定的 可換群理論的計算復雜性 實數加法的正式子的計算復雜性 有限繫統上的函數與泛函數 數論中的多項式時間可計算算法 在計算機科學中去掉無限 沒有等號的有限模型論 計算實數函數的圖靈機的穩定性 用ω-圖靈機計算實數函數 非標準數論的新定理 論文和著作目錄 後記
| | |