掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數(shù)學(xué)專題練1200題
-
>
希格斯:“上帝粒子”的發(fā)明與發(fā)現(xiàn)
-
>
神農(nóng)架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
聲音簡史
買過本商品的人還買了
模型論與計算復(fù)雜度-羅里波文集 版權(quán)信息
- ISBN：9787303158904
- 條形碼：9787303158904 ; 978-7-303-15890-4
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
模型論與計算復(fù)雜度-羅里波文集 本書特色
《羅里波文集：模型論與計算復(fù)雜度》主要內(nèi)容包括：、關(guān)于代數(shù)系統(tǒng)自同構(gòu)群的一個問題、模型的并、積與齊次模型、自由群內(nèi)方程的討論、可換群中無限生成元直和項消去條件的探討、計算機科學(xué)發(fā)展漫談、多個一元關(guān)系上的vaught猜想、無原子布氏代數(shù)理論的計算復(fù)雜性、利用計算機計算古典數(shù)論問題等。
模型論與計算復(fù)雜度-羅里波文集 內(nèi)容簡介
本書主要內(nèi)容包括：關(guān)于代數(shù)系統(tǒng)自同構(gòu)群的一個問題、模型的并、積與齊次模型、自由群內(nèi)方程的討論、可換群中無限生成元直和項消去條件的探討、計算機科學(xué)發(fā)展漫談、多個一元關(guān)系上的Vaught猜想、無原子布氏代數(shù)理論的計算復(fù)雜性、利用計算機計算古典數(shù)論問題等。
模型論與計算復(fù)雜度-羅里波文集 目錄
有限結(jié)合系與有限群（。
強不可接近基數(shù)上p（k）的插入定理
關(guān)于代數(shù)系統(tǒng)自同構(gòu)群的一個問題
模型的并、積與齊次模型
自由群內(nèi)方程的討論
可換群中無限生成元直和項消去條件的探討
計算機科學(xué)發(fā)展漫談
多個一元關(guān)系上的vaught猜想
無原子布氏代數(shù)理論的計算復(fù)雜性
利用計算機計算古典數(shù)論問題
康托爾實數(shù)的局限性
非良基集合論模型悖論
完全二叉樹的量詞消去
完全二叉樹理論的計算復(fù)雜度
可計算實數(shù)及其在判定問題上的應(yīng)用
可數(shù)齊次模型的模型數(shù)
自由群的τ-理論是不可判定的
可換群理論的計算復(fù)雜性
實數(shù)加法的正式子的計算復(fù)雜性
有限系統(tǒng)上的函數(shù)與泛函數(shù)
數(shù)論中的多項式時間可計算算法
在計算機科學(xué)中去掉無限
沒有等號的有限模型論
計算實數(shù)函數(shù)的圖靈機的穩(wěn)定性
用ω-圖靈機計算實數(shù)函數(shù)
非標準數(shù)論的新定理
論文和著作目錄
后記
強不可接近基數(shù)上p（k）的插入定理
關(guān)于代數(shù)系統(tǒng)自同構(gòu)群的一個問題
模型的并、積與齊次模型
自由群內(nèi)方程的討論
可換群中無限生成元直和項消去條件的探討
計算機科學(xué)發(fā)展漫談
多個一元關(guān)系上的vaught猜想
無原子布氏代數(shù)理論的計算復(fù)雜性
利用計算機計算古典數(shù)論問題
康托爾實數(shù)的局限性
非良基集合論模型悖論
完全二叉樹的量詞消去
完全二叉樹理論的計算復(fù)雜度
可計算實數(shù)及其在判定問題上的應(yīng)用
可數(shù)齊次模型的模型數(shù)
自由群的τ-理論是不可判定的
可換群理論的計算復(fù)雜性
實數(shù)加法的正式子的計算復(fù)雜性
有限系統(tǒng)上的函數(shù)與泛函數(shù)
數(shù)論中的多項式時間可計算算法
在計算機科學(xué)中去掉無限
沒有等號的有限模型論
計算實數(shù)函數(shù)的圖靈機的穩(wěn)定性
用ω-圖靈機計算實數(shù)函數(shù)
非標準數(shù)論的新定理
論文和著作目錄
后記
展開全部
書友推薦
- >
山海經(jīng)
- >
羅庸西南聯(lián)大授課錄
- >
大紅狗在馬戲團-大紅狗克里弗-助人
- >
名家?guī)阕x魯迅:朝花夕拾
- >
推拿
- >
煙與鏡
- >
小考拉的故事-套裝共3冊
- >
【精裝繪本】畫給孩子的中國神話
本類暢銷
