Logische Grundlagen der Beweiskomplexität

Bewertung: ⭐⭐⭐⭐⭐  (5,0 von 5)

Leserbewertungen

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.

Originaltitel:

Logical Foundations of Proof Complexity

Inhalt des Buches:

Dieses Buch behandelt begrenzte arithmetische und aussagenlogische Beweiskomplexität aus dem Blickwinkel der Computerkomplexität.

Die ersten sieben Kapitel enthalten den notwendigen logischen Hintergrund für das Material und sind für einen Graduiertenkurs geeignet. Zu jeder der vielen Komplexitätsklassen gehören sowohl eine zweisortige Prädikatenkalkül-Theorie, wobei die Induktion auf die Konzepte der Klasse beschränkt ist, als auch ein aussagenlogisches Beweissystem.

Das Ergebnis ist eine einheitliche Behandlung vieler Systeme in der Literatur, einschließlich der Theorien von Buss für die Polynomhierarchie und vieler disparater Systeme für Komplexitätsklassen wie AC0, AC0(m), TC0, NC1, L, NL, NC und P.".

Weitere Daten des Buches:

• ISBN: 9780521517294
• Autor: Stephen Cook
• Verlag: Cambridge
• Sprache: Englisch
• Einband: Hardcover
• Erscheinungsjahr: 2010
• Seitenzahl: 496