Zur Startseite gehen
0,00 €*
Cover: 9780198529811 | A First Course in Logic | Shawn Hedman | Taschenbuch | Englisch | 2004
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

109,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: Importe, Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780198529811
ISBN-10: 0198529813
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Hedman, Shawn
Hersteller: OUP Oxford
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
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: Importe, Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780198529811
ISBN-10: 0198529813
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Hedman, Shawn
Hersteller: OUP Oxford
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 244 x 170 x 25 mm
Von/Mit: Shawn Hedman
Erscheinungsdatum: 01.09.2004
Gewicht: 0,774 kg
Artikel-ID: 108631384
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9781848311770 | Introducing Plato | A Graphic Guide | Dave Robinson | Taschenbuch
Introducing Plato
A Graphic Guide
EAN: 9781848311770
Sprache: Englisch
Von/Mit: Dave Robinson

14,15 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780199687503 | Writing the Book of the World | Theodore Sider | Taschenbuch | 2013
Writing the Book of the World
EAN: 9780199687503
Sprache: Englisch
Von/Mit: Theodore Sider

46,90 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783319679846 | A Play for Oil | Tim Daley | Buch | xi | Englisch | 2017
A Play for Oil
The Stories Behind the Discovery and Development of Oil and Gas
EAN: 9783319679846
Sprache: Englisch
Von/Mit: Tim Daley

38,70 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783319832777 | Csound | A Sound and Music Computing System | Victor Lazzarini (u. a.)
Csound
A Sound and Music Computing System
EAN: 9783319832777
Sprache: Englisch
Von/Mit: Victor Lazzarini (u. a.)

72,25 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9783658334697 | Datenschutz nach DS-GVO und Informationssicherheit gewährleisten
Datenschutz nach DS-GVO und Informationssicherheit gewährleisten
Eine kompakte Praxishilfe zur Maßnahmenauswahl: Prozess ZAWAS 4.0
EAN: 9783658334697
Sprache: Deutsch
Von/Mit: Stefan Mierowski

14,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9783868385304 | Handbook of Logic | Jerome J. Fischer (u. a.) | Taschenbuch | Englisch
Handbook of Logic
EAN: 9783868385304
Sprache: Englisch
Von/Mit: Jerome J. Fischer (u. a.)

19,90 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781848903852 | Handbook of Legal AI | Giovanni Casini (u. a.) | Taschenbuch | 2022
Handbook of Legal AI
EAN: 9781848903852
Sprache: Englisch
Von/Mit: Giovanni Casini (u. a.)

36,70 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780367428143 | The Equation of Knowledge | Lê Nguyên Hoang | Taschenbuch | Englisch
The Equation of Knowledge
From Bayes' Rule to a Unified Philosophy of Science
EAN: 9780367428143
Sprache: Englisch
Von/Mit: Lê Nguyên Hoang

43,55 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781312154001 | EOR #$FF | 6502 Ponderables and Befuddlements | David Youd | Buch
EOR #$FF
6502 Ponderables and Befuddlements
EAN: 9781312154001
Sprache: Englisch
Von/Mit: David Youd

15,15 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780367574031 | Advanced Design and Implementation of Virtual Machines | Xiao-Feng Li
Advanced Design and Implementation of Virtual Machines
EAN: 9780367574031
Sprache: Englisch
Von/Mit: Xiao-Feng Li

53,10 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9780195096576 | Modalities | Philosophical Essays | Ruth Barcan Marcus | Taschenbuch
Modalities
Philosophical Essays
EAN: 9780195096576
Sprache: Englisch
Von/Mit: Ruth Barcan Marcus

91,30 €*

Lieferzeit 1-2 Wochen

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