Anne S. Troelstra: Basic Proof Theory | preigu

Cover: 9780521779111 | Basic Proof Theory | Anne S. Troelstra | Taschenbuch | Paperback

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

65,50 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

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

Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.

Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.

Inhaltsverzeichnis

1. Introduction; 2. N-systems and H-systems; 3. Gentzen systems; 4. Cut elimination with applications; 5. Bounds and permutations; 6. Normalization for natural deduction; 7. Resolution; 8. Categorical logic; 9. Modal and linear logic; 10. Proof theory of arithmetic; 11. Second-order logic; Solutions to selected exercises. Bibliography; Symbols and notation; Index.

Details

Erscheinungsjahr:	2002
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9780521779111
ISBN-10:	0521779111
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Troelstra, Anne S. Troelstra, A. S. Schwichtenberg, H.
Auflage:	Revised
Hersteller:	Cambridge University Press
Maße:	229 x 152 x 26 mm
Von/Mit:	Anne S. Troelstra (u. a.)
Erscheinungsdatum:	13.01.2002
Gewicht:	0,697 kg

Artikel-ID: 104992783

Inhaltsverzeichnis

1. Introduction; 2. N-systems and H-systems; 3. Gentzen systems; 4. Cut elimination with applications; 5. Bounds and permutations; 6. Normalization for natural deduction; 7. Resolution; 8. Categorical logic; 9. Modal and linear logic; 10. Proof theory of arithmetic; 11. Second-order logic; Solutions to selected exercises. Bibliography; Symbols and notation; Index.

Details

Erscheinungsjahr:	2002
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9780521779111
ISBN-10:	0521779111
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Troelstra, Anne S. Troelstra, A. S. Schwichtenberg, H.
Auflage:	Revised
Hersteller:	Cambridge University Press
Maße:	229 x 152 x 26 mm
Von/Mit:	Anne S. Troelstra (u. a.)
Erscheinungsdatum:	13.01.2002
Gewicht:	0,697 kg

Artikel-ID: 104992783

Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9783211277546 | Informatik | Grundlagen | Johann Blieberger (u. a.) | Taschenbuch

EAN: 9783211277546

Sprache: Deutsch

Von/Mit: Johann Blieberger (u. a.)

49,99 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9780596005818 | Understanding Open Source & Free Software Licensing | Laurent | Buch

Understanding Open Source & Free Software Licensing

EAN: 9780596005818

Sprache: Englisch

Von/Mit: Andrew M St Laurent

36,50 €*

Aktuell nicht verfügbar

Buch

Cover: 9781107083660 | Hyperspectral Imaging Remote Sensing | Dimitris Manolakis (u. a.)

Hyperspectral Imaging Remote Sensing

EAN: 9781107083660

Sprache: Englisch

Von/Mit: Dimitris Manolakis (u. a.)

159,70 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9783662538357 | Unsere digitale Zukunft | In welcher Welt wollen wir leben? | Könneker

Unsere digitale Zukunft

In welcher Welt wollen wir leben?

EAN: 9783662538357

Sprache: Deutsch

Von/Mit: Carsten Könneker

17,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781484232064 | Practical Machine Learning with Python | Dipanjan Sarkar (u. a.) | xxv

Practical Machine Learning with Python

A Problem-Solver's Guide to Building Real-World Intelligent Systems

EAN: 9781484232064

Sprache: Englisch

Von/Mit: Dipanjan Sarkar (u. a.)

80,24 €*

Aktuell nicht verfügbar

Buch

Cover: 9783030246570 | Answer Set Programming | Vladimir Lifschitz | Buch | xi | Englisch

Answer Set Programming

EAN: 9783030246570

Sprache: Englisch

Von/Mit: Vladimir Lifschitz

64,19 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781789615869 | Learn TypeScript 3 by Building Web Applications | Dubois (u. a.)

Learn TypeScript 3 by Building Web Applications

EAN: 9781789615869

Sprache: Englisch

Von/Mit: Sebastien Dubois (u. a.)

64,25 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9781789824384 | The Jupiter ACE Manual - 40th Anniversary Edition | Steven Vickers

The Jupiter ACE Manual - 40th Anniversary Edition

EAN: 9781789824384

Sprache: Englisch

Von/Mit: Steven Vickers

30,65 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783879077212 | Neue Dimensionen in Data Science | Barbara Wawrzyniak (u. a.) | Buch

Neue Dimensionen in Data Science

Interdisziplinäre Ansätze und Anwendungen aus Wissenschaft und Wirtschaft

EAN: 9783879077212

Sprache: Deutsch

Von/Mit: Barbara Wawrzyniak (u. a.)

54,00 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9783658358587 | Basics in Business Informatics | Peter Weber (u. a.) | Taschenbuch

Basics in Business Informatics

EAN: 9783658358587

Sprache: Englisch

Von/Mit: Peter Weber (u. a.)

49,90 €*

Lieferzeit 4-7 Werktage

Buch

Cover: 9783031192234 | Compliance-Industrial Complex | Tereza Østbø Kuldova | Buch | Englisch

Compliance-Industrial Complex

The Operating System of a Pre-Crime Society

EAN: 9783031192234

Sprache: Englisch

Von/Mit: Tereza Østbø Kuldova

55,95 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9780262048811 | The Secret Life of Data | Aram Sinnreich (u. a.) | Buch | Englisch

The Secret Life of Data

Navigating Hype and Uncertainty in the Age of Algorithmic Surveillance

EAN: 9780262048811

Sprache: Englisch

Von/Mit: Aram Sinnreich (u. a.)

34,35 €*

Lieferzeit 1-2 Wochen