Jan Krají¿ek: Proof Complexity | Buch

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Cover: 9781108416849 | Proof Complexity | Jan Krají¿ek | Buch | HC gerader Rücken kaschiert

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

145,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

Offers a self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.

Über den Autor

Jan Krají¿ek is Professor of Mathematical Logic in the Faculty of Mathematics and Physics at Charles University, Prague. He is a member of the Academia Europaea and of the Learned Society of the Czech Republic. He has been an invited speaker at the European Congress of Mathematicians and at the International Congresses of Logic, Methodology and Philosophy of Science.

Inhaltsverzeichnis

Introduction; Part I. Basic Concepts: 1. Concepts and problems; 2. Frege systems; 3. Sequent calculus; 4. Quantified propositional calculus; 5. Resolution; 6. Algebraic and geometric proof systems; 7. Further proof systems; Part II. Upper Bounds: 8. Basic example of the correspondence between theories and proof systems; 9. Two worlds of bounded arithmetic; 10. Up to EF via the <...> translation; 11. Examples of upper bounds and p-simulations; 12. Beyond EF via the || ... || translation; Part III. Lower Bounds: 13. R and R-like proof systems; 14. {LK}_{d + 1/2} and combinatorial restrictions; 15. F_d and logical restrictions; 16. Algebraic and geometric proof systems; 17. Feasible interpolation: a framework; 18. Feasible interpolation: applications; Part IV. Beyond Bounds: 19. Hard tautologies; 20. Model theory and lower bounds; 21. Optimality; 22. The nature of proof complexity; Bibliography; Special symbols; Index.

Erscheinungsjahr:	2019
Fachbereich:	Grundlagen
Genre:	Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Seiten:	534
ISBN-13:	9781108416849
ISBN-10:	1108416845
Sprache:	Englisch
Ausstattung / Beilage:	HC gerader Rücken kaschiert
Einband:	Gebunden
Autor:	Krají¿ek, Jan
Hersteller:	Cambridge University Press
Maße:	240 x 161 x 36 mm
Von/Mit:	Jan Krají¿ek
Erscheinungsdatum:	28.03.2019
Gewicht:	1,06 kg

Ähnliche Produkte