Zur Startseite gehen
0,00 €*
Cover: 9780198529811 | A First Course in Logic | Shawn Hedman | Taschenbuch | Paperback
Dekorationsartikel gehören nicht zum Leistungsumfang.
A First Course in Logic
An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Taschenbuch von Shawn Hedman
Sprache: Englisch

100,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.
Inhaltsverzeichnis
  • Preliminaries

  • 1: Propositional Logic

  • 2: Structures and First-Order Logic

  • 3: Proof Theory

  • 4: Properties of First-Order Logic

  • 5: First-Order Theories

  • 6: Models of Countable Theories

  • 7: Computability and Complexity

  • 8: The Incompleteness Theorems

  • 9: Beyond First-Order Logic

  • 10: Finite Model Theory

  • Bibliography

  • Index

Details
Erscheinungsjahr: 2004
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 452
ISBN-13: 9780198529811
ISBN-10: 0198529813
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Hedman, Shawn
Hersteller: OUP Oxford
Maße: 244 x 170 x 25 mm
Von/Mit: Shawn Hedman
Erscheinungsdatum: 01.09.2004
Gewicht: 0,774 kg
preigu-id: 108631384
Inhaltsverzeichnis
  • Preliminaries

  • 1: Propositional Logic

  • 2: Structures and First-Order Logic

  • 3: Proof Theory

  • 4: Properties of First-Order Logic

  • 5: First-Order Theories

  • 6: Models of Countable Theories

  • 7: Computability and Complexity

  • 8: The Incompleteness Theorems

  • 9: Beyond First-Order Logic

  • 10: Finite Model Theory

  • Bibliography

  • Index

Details
Erscheinungsjahr: 2004
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 452
ISBN-13: 9780198529811
ISBN-10: 0198529813
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Hedman, Shawn
Hersteller: OUP Oxford
Maße: 244 x 170 x 25 mm
Von/Mit: Shawn Hedman
Erscheinungsdatum: 01.09.2004
Gewicht: 0,774 kg
preigu-id: 108631384
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9780521295505 | Philosophical Papers | Volume 1, Mathematics, Matter and Method | Buch
Philosophical Papers
Volume 1, Mathematics, Matter and Method
EAN: 9780521295505
Sprache: Englisch
Von/Mit: Hilary Putman (u. a.)

42,25 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780226280882 | Logic, Language, and Meaning, Volume 2 | L. T. F. Gamut | Taschenbuch
Logic, Language, and Meaning, Volume 2
Intensional Logic and Logical Grammar
EAN: 9780226280882
Sprache: Englisch
Von/Mit: L. T. F. Gamut

53,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783540619390 | Strafrecht | Allgemeiner Teil | Michael Köhler | Taschenbuch | Deutsch
Strafrecht
Allgemeiner Teil
EAN: 9783540619390
Sprache: Deutsch
Von/Mit: Michael Köhler

58,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780521779135 | Nietzsche | Beyond Good and Evil | Friedrich Nietzsche | Taschenbuch
Nietzsche
Beyond Good and Evil
EAN: 9780521779135
Sprache: Englisch
Von/Mit: Friedrich Nietzsche

36,55 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9780471030034 | Statistical Learning Theory | Vladimir Naumovich Vapnik (u. a.) | Buch
Statistical Learning Theory
EAN: 9780471030034
Sprache: Englisch
Von/Mit: Vladimir N Vapnik

253,50 €*

Aktuell nicht verfügbar

Buch
Cover: 9783507877320 | Mathematik heute - Ausgabe 2012 für Niedersachsen | Schulbuch 7 | Buch
Mathematik heute - Ausgabe 2012 für Niedersachsen
Schulbuch 7
EAN: 9783507877320
Sprache: Deutsch
Von/Mit: Rudolf Vom Hofe (u. a.)
Maße: 267 x 190 x 12 mm

31,50 €*

Aktuell nicht verfügbar

Buch
Cover: 9781108424189 | How to Prove It | Daniel J. Velleman | Buch | Gebunden | Englisch
How to Prove It
EAN: 9781108424189
Sprache: Englisch
Von/Mit: Daniel J. Velleman

119,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9781789430691 | Tractatus Logico-Philosophicus | Ludwig Wittgenstein | Buch | Englisch
Tractatus Logico-Philosophicus
EAN: 9781789430691
Sprache: Englisch
Von/Mit: Ludwig Wittgenstein

19,80 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783787339983 | Jenaer Systementwürfe II | Logik, Metaphysik, Naturphilosophie | Hegel
Jenaer Systementwürfe II
Logik, Metaphysik, Naturphilosophie
EAN: 9783787339983
Sprache: Deutsch
Von/Mit: Georg Wilhelm Friedrich Hegel

24,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783662675427 | Enzyklopädie Philosophie und Wissenschaftstheorie | Bd. 1: A¿B | Buch
Enzyklopädie Philosophie und Wissenschaftstheorie
Bd. 1: A¿B
EAN: 9783662675427
Sprache: Deutsch
Von/Mit: Jürgen Mittelstraß

49,99 €*

Erscheint am 14.08.24

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