Zur Startseite gehen
0,00 €*
Cover: 9780521452052 | Bounded Arithmetic, Propositional Logic and Complexity Theory | Buch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Bounded Arithmetic, Propositional Logic and Complexity Theory
Buch von Jan Krajicek
Sprache: Englisch

156,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Kategorien:
Beschreibung
Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems.
Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems.
Inhaltsverzeichnis
1. Introduction; 2. Preliminaries; 3. Basic complexity theory; 4. Basic propositional logic; 5. Basic bounded arithmetic; 6. Definability of computations; 7. Witnessing theorems; 8. Definability and witnessing in second order theories; 9. Translations of arithmetic formulas; 10. Finite axiomatizability problem; 11. Direct independence proofs; 12. Bounds for constant-depth Frege systems; 13. Bounds for Frege and extended Frege systems; 14. Hard tautologies and optimal proof systems; 15. Strength of bounded arithmetic; References; Index.
Details
Erscheinungsjahr: 2004
Fachbereich: Allgemeines
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Thema: Lexika
Medium: Buch
Seiten: 360
ISBN-13: 9780521452052
ISBN-10: 0521452058
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Krajicek, Jan
Redaktion: Rota, G. -C
Hersteller: Cambridge University Press
Maße: 235 x 157 x 26 mm
Von/Mit: Jan Krajicek
Erscheinungsdatum: 08.04.2004
Gewicht: 0,737 kg
preigu-id: 101144531
Inhaltsverzeichnis
1. Introduction; 2. Preliminaries; 3. Basic complexity theory; 4. Basic propositional logic; 5. Basic bounded arithmetic; 6. Definability of computations; 7. Witnessing theorems; 8. Definability and witnessing in second order theories; 9. Translations of arithmetic formulas; 10. Finite axiomatizability problem; 11. Direct independence proofs; 12. Bounds for constant-depth Frege systems; 13. Bounds for Frege and extended Frege systems; 14. Hard tautologies and optimal proof systems; 15. Strength of bounded arithmetic; References; Index.
Details
Erscheinungsjahr: 2004
Fachbereich: Allgemeines
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Thema: Lexika
Medium: Buch
Seiten: 360
ISBN-13: 9780521452052
ISBN-10: 0521452058
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Krajicek, Jan
Redaktion: Rota, G. -C
Hersteller: Cambridge University Press
Maße: 235 x 157 x 26 mm
Von/Mit: Jan Krajicek
Erscheinungsdatum: 08.04.2004
Gewicht: 0,737 kg
preigu-id: 101144531
Warnhinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...