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

102,90 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

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
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
Artikel-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
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
Artikel-ID: 108631384
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9780387951560 | Best Approximation in Inner Product Spaces | Frank R. Deutsch | Buch
Best Approximation in Inner Product Spaces
EAN: 9780387951560
Sprache: Englisch
Von/Mit: Frank R. Deutsch

53,49 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9780471569619 | Mad about Physics | Braintwisters, Paradoxes, and Curiosities | Buch
Mad about Physics
Braintwisters, Paradoxes, and Curiosities
EAN: 9780471569619
Sprache: Englisch
Von/Mit: Christopher Jargodzki (u. a.)

28,00 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783942710633 | Kernphysik an der Technischen Universität Dresden von 1955 bis 1990
Kernphysik an der Technischen Universität Dresden von 1955 bis 1990
EAN: 9783942710633
Sprache: Deutsch
Von/Mit: Dieter Seeliger

16,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781852330569 | Sets, Logic and Categories | Peter J. Cameron | Taschenbuch | X | 1999
Sets, Logic and Categories
EAN: 9781852330569
Sprache: Englisch
Von/Mit: Peter J. Cameron

36,90 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781108433242 | The Metaphysics of Logic | Penelope Rush | Taschenbuch | Paperback
The Metaphysics of Logic
EAN: 9781108433242
Von/Mit: Penelope Rush

35,20 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781848902756 | Handbook of Formal Argumentation | Massimilino Giacomin | Taschenbuch
Handbook of Formal Argumentation
EAN: 9781848902756
Sprache: Englisch
Von/Mit: Massimilino Giacomin

45,40 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9780486841687 | Gay Science | Friedrich Nietzsche | Taschenbuch | Thrift Editions
Gay Science
EAN: 9780486841687
Sprache: Englisch
Von/Mit: Friedrich Nietzsche

15,85 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781484289853 | Introducing Cisco Unified Computing System | Stuart Fordham | Buch
Introducing Cisco Unified Computing System
Learn Cisco UCS with Cisco UCSPE
EAN: 9781484289853
Sprache: Englisch
Von/Mit: Stuart Fordham

58,84 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781529725032 | Designing Online Experiments for the Social Sciences | Giuseppe Veltri
Designing Online Experiments for the Social Sciences
EAN: 9781529725032
Sprache: Englisch
Von/Mit: Giuseppe Veltri

54,10 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783608975413 | MERKUR 6/2024, Jg.78 | Nr. 901, Heft 06, Juni 2024 | Demand (u. a.)
MERKUR 6/2024, Jg.78
Nr. 901, Heft 06, Juni 2024
EAN: 9783608975413
Sprache: Deutsch
Von/Mit: Christian Demand (u. a.)

15,00 €*

Lieferzeit 1-2 Werktage

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