內容介紹 | |
![](http://img3m3.ddimg.cn/73/25/23436343-1_u_1.jpg)
開本:32開 紙張:膠版紙 包裝:平裝 是否套裝:否 國際標準書號ISBN:9787303158904 作者:羅裡波著,李仲來主編 出版社:北京師範大學出版社 出版時間:2013年12月 
" 內容簡介 《羅裡波文集:模型論與計算復雜度》主要內容包括:、關於代數繫統自同構群的一個問題、模型的並、積與齊次模型、自由群內方程的討論、可換群中無直和項消去條件的探討、計算機科學發展漫談、關繫上的Vaught猜想、無原子布氏代數理論的計算復雜性、利用計算機計算古典數論問題等。
目錄 有限結合繫與有限群(Ⅰ) 強不可接近基數上P(K)的插入定理 關於代數繫統自同構群的一個問題 模型的並、積與齊次模型 自由群內方程的討論 可換群中無直和項消去條件的探討 計算機科學發展漫談 關繫上的Vaught猜想 無原子布氏代數理論的計算復雜性 利用計算機計算古典數論問題 康托爾實數的局限性 非良基集合論模型悖論 完全二叉樹的量詞消去 完全二叉樹理論的計算復雜度有限結合繫與有限群(Ⅰ)
強不可接近基數上P(K)的插入定理
關於代數繫統自同構群的一個問題
模型的並、積與齊次模型
自由群內方程的討論
可換群中無直和項消去條件的探討
計算機科學發展漫談
關繫上的Vaught猜想
無原子布氏代數理論的計算復雜性
利用計算機計算古典數論問題
康托爾實數的局限性
非良基集合論模型悖論
完全二叉樹的量詞消去
完全二叉樹理論的計算復雜度
可計算實數及其在判定問題上的應用
可數齊次模型的模型數
自由群的τ-理論是不可判定的
可換群理論的計算復雜性
實數加法的正式子的計算復雜性
有限繫統上的函數與泛函數
數論中的多項式時間可計算算法
在計算機科學中去掉無限
沒有等號的有限模型論
計算實數函數的圖靈機的穩定性
用ω-圖靈機計算實數函數
非標準數論的新定理
論文和著作目錄
後記
| | |