A bizonyítási komplexitás logikai alapjai

Értékelés:   (5.0 az 5-ből)

A bizonyítási komplexitás logikai alapjai (Stephen Cook)

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.

Eredeti címe:

Logical Foundations of Proof Complexity

Könyv tartalma:

Ez a könyv a korlátos aritmetikai és a tételes bizonyítási komplexitást a számítási komplexitás szempontjából tárgyalja.

Az első hét fejezet tartalmazza az anyaghoz szükséges logikai hátteret, és alkalmas egy végzős kurzus számára. Számos komplexitási osztály mindegyikéhez kapcsolódik egy-egy kétsoros predikátumkalkulus elmélet, az osztály fogalmaira korlátozott indukcióval, valamint egy tételes bizonyítási rendszer.

Az eredmény a szakirodalomban található számos rendszer egységes kezelése, beleértve Buss s elméleteit a polinomiális hierarchiára és számos különböző rendszert olyan komplexitásosztályokra, mint az AC0, AC0(m), TC0, NC1, L, NL, NC és P.".

A könyv egyéb adatai:

ISBN:9780521517294
Szerző:
Kiadó:
Nyelv:angol
Kötés:Keményfedeles
A kiadás éve:2010
Oldalak száma:496

Vásárlás:

Jelenleg kapható, készleten van.

A szerző további könyvei:

A hit hegyeket mozgat: 30 áhítatos gondolat a hit útjának inspirálására - Faith Moves Mountains: 30...
A studio124 alapítója és létrehozója, Stephen Cook...
A hit hegyeket mozgat: 30 áhítatos gondolat a hit útjának inspirálására - Faith Moves Mountains: 30 Devotional Thoughts to Inspire Your Journey of Faith
Mit tettek értünk a jótékonysági szervezetek?: A szalagcímek mögötti történetek - What Have...
Amikor a koronavírus világjárvány 2020 elején...
Mit tettek értünk a jótékonysági szervezetek?: A szalagcímek mögötti történetek - What Have Charities Ever Done for Us?: The Stories Behind the Headlines
A tehenek szeretik a tortát - Cows Love Cake
A tehenek szeretik a tortát.Figyelmeztető mese a tehenekről és a tortáról.Amikor egy kisfiú összebarátkozik egy...
A tehenek szeretik a tortát - Cows Love Cake
A húsvéti nyuszi új bogárkocsija - The Easter Bunny's New Buggy
"A húsvéti nyuszi új kocsija" egy szórakoztató és izgalmas húsvéti könyv, amely követi a...
A húsvéti nyuszi új bogárkocsija - The Easter Bunny's New Buggy
A bizonyítási komplexitás logikai alapjai - Logical Foundations of Proof Complexity
Ez a könyv a korlátos aritmetikai és a tételes bizonyítási komplexitást a...
A bizonyítási komplexitás logikai alapjai - Logical Foundations of Proof Complexity
A bizonyítási komplexitás logikai alapjai - Logical Foundations of Proof Complexity
Ez a könyv a korlátos aritmetikai és a tételes bizonyítási komplexitást a...
A bizonyítási komplexitás logikai alapjai - Logical Foundations of Proof Complexity
Lakáseladás, mint egy profi - Flipping Homes Like a Pro
Az ingatlanbefektetők körében egyre inkább divatos szó a házak átruházása. A Flipping Homes Like a Pro...
Lakáseladás, mint egy profi - Flipping Homes Like a Pro

A szerző munkáit az alábbi kiadók adták ki:

© Book1 Group - minden jog fenntartva.
Az oldal tartalma sem részben, sem egészben nem másolható és nem használható fel a tulajdonos írásos engedélye nélkül.
Utolsó módosítás időpontja: 2024.11.13 21:05 (GMT)