模型論與計算複雜度:羅里波文集

模型論與計算複雜度:羅里波文集

《模型論與計算複雜度:羅里波文集》內容有無原子布氏代數理論的計算複雜性、利用計算機計算古典數論問題、康托爾實數的局限性、非良基集合論模型悖論、完全二叉樹的量詞消去、完全二叉樹理論的計算複雜度、可計算實數及其在判定問題上的套用、可數齊次模型的模型數等。

基本介紹

  • 書名:模型論與計算複雜度:羅里波文集
  • 出版社:北京師範大學出版社
  • 頁數:328頁
  • 開本:16
  • 品牌:北京師範大學出版社
  • 作者:羅里波 李仲來
  • 出版日期:2013年12月1日
  • 語種:簡體中文, 英語
  • ISBN:9787303158904
內容簡介,圖書目錄,

內容簡介

《模型論與計算複雜度(羅里波文集)》收集了作者所發表過的數學方面的主要文章,其中有研究論文20篇,科普文章2篇,指導研究生的論文3篇以及歷史上重要文獻的中譯文1篇。主要內容包括:關於代數系統自同構群的一個問題、模型的並、積與齊次模型、自由群內方程的討論、可換群中無限生成元直和項消去條件的探討、計算機科學發展漫談、多個一元關係上的Vaught猜想、無原子布氏代數理論的計算複雜性、利用計算機計算古典數論問題等。

圖書目錄

有限結合系與有限群(Ⅰ)
強不可接近基數上P(K)的插入定理
關於代數系統自同構群的一個問題
模型的並、積與齊次模型
自由群內方程的討論
可換群中無限生成元直和項消去條件的探討
計算機科學發展漫談
多個一元關係上的Vaught猜想
無原子布氏代數理論的計算複雜性
利用計算機計算古典數論問題
康托爾實數的局限性
非良基集合論模型悖論
完全二叉樹的量詞消去
完全二叉樹理論的計算複雜度
可計算實數及其在判定問題上的套用
可數齊次模型的模型數
自由群的τ—理論是不可判定的
可換群理論的計算複雜性
實數加法的正式子的計算複雜性
有限系統上的函式與泛函式
數論中的多項式時間可計算算法
在計算機科學中去掉無限
沒有等號的有限模型論
計算實數函式的圖靈機的穩定性
用w—圖靈機計算實數函式
非標準數論的新定理
論文和著作目錄
後記

相關詞條

熱門詞條

聯絡我們