Anne S. Troelstra: Basic Proof Theory | preigu

Cover: 9780521779111 | Basic Proof Theory | Anne S. Troelstra (u. a.) | Taschenbuch | 2002

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

70,20 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

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:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
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
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
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:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
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
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
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

Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9783486583663 | Objektorientierte Systemanalyse | Klaus Mairon (u. a.) | Taschenbuch

Objektorientierte Systemanalyse

EAN: 9783486583663

Sprache: Deutsch

Von/Mit: Klaus Mairon (u. a.)

21,95 €*

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9783540629719 | Clause and Effect | Prolog Programming for the Working Programmer | ix

Clause and Effect

Prolog Programming for the Working Programmer

EAN: 9783540629719

Sprache: Englisch

Von/Mit: William F. Clocksin

67,95 €*

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9780521543279 | The Pi-Calculus | A Theory of Mobile Processes | Sangiorgi (u. a.)

The Pi-Calculus

A Theory of Mobile Processes

EAN: 9780521543279

Sprache: Englisch

Von/Mit: Davide Sangiorgi (u. a.)

94,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781942270768 | Game Testing | All in One | Charles P. Schultz (u. a.) | Taschenbuch

EAN: 9781942270768

Sprache: Englisch

Von/Mit: Robert Denton Bryant (u. a.)

45,90 €*

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9783486256161 | Erfolg | Effizientes Arbeiten, Entscheiden, Vermitteln und Lernen

Effizientes Arbeiten, Entscheiden, Vermitteln und Lernen

EAN: 9783486256161

Sprache: Deutsch

Von/Mit: Kurt Nagel

29,95 €*

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9780691133829 | When Computers Were Human | David Alan Grier | Taschenbuch | Englisch

When Computers Were Human

EAN: 9780691133829

Sprache: Englisch

Von/Mit: David Alan Grier

50,60 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9781489979810 | Elementary Functions | Algorithms and Implementation | Muller | Buch

Elementary Functions

Algorithms and Implementation

EAN: 9781489979810

Sprache: Englisch

Von/Mit: Jean-Michel Muller

80,70 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783938060902 | Die Herrschaftsformel | Kai Schlieter | Taschenbuch | 320 S. | Deutsch

Die Herrschaftsformel

Wie Künstliche Intelligenz uns berechnet, steuert und unser Leben verändert

EAN: 9783938060902

Sprache: Deutsch

Von/Mit: Kai Schlieter

18,50 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9789769609235 | Leading the Workforce of the Future | Brigette Tasha Hyacinth | Buch

Leading the Workforce of the Future

Inspiring a Mindset of Passion, Innovation and Growth

EAN: 9789769609235

Sprache: Englisch

Von/Mit: Brigette Tasha Hyacinth

32,10 €*

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

28,55 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781800205253 | The TensorFlow Workshop | Matthew Moocarme (u. a.) | Taschenbuch

The TensorFlow Workshop

A hands-on guide to building deep learning models from scratch using real-world datasets

EAN: 9781800205253

Sprache: Englisch

Von/Mit: Matthew Moocarme (u. a.)

54,45 €*

Lieferzeit 1-2 Wochen