orellfuessli.ch

Sprache, Beweis und Logik. Band 2

Übers. u. f. d. Deutsche bearb. v. Joachim Bromand, Thomas Müller u. Giovanni Sommaruga

Band II: Anwendungen und Metatheorie
Dieser Band knüpft sowohl inhaltlich als auch methodisch nahtlos an den ersten Band von Sprache, Beweis und Logik an. Dabei führt Band II weit über die üblichen Einführungen hinaus und eig-net sich als Textgrundlage für einen Fortsetzungskurs zur üblichen Logikeinführung. Zusammen ergeben beide Bände somit eine homogene Einführung in die Logik, für die bislang Texte verschiedener Autoren erforderlich waren. Zu den behandelten The-men-bereichen zählen:
Theorie der generalisierten Quantoren, numerische Aussagen, Russells Kennzeichnungstheorie vs. Präsuppositionen, naive Mengentheorie und ZFC, mathematische Induktion, induktive Korrektheitsbeweise von Programmen, Hornformeln, Resolutionsverfahren, Skolemisierung, Unifikation, Beweise von Korrektheit, Vollständigkeit und Kompaktheit für Aussagen- und Prädikatenlogik, das Theorem von Löwenheim und Skolem, Skolems ‚Paradox‘, Nichtstandardmodelle der Arithmetik, Gödels Unvollständigkeitstheorem.

Die im Buch erwähnte Software ist vergriffen und nicht mehr erhältlich.
… weiterlesen
Beschreibung

Produktdetails


Einband Kunststoff-Einband
Seitenzahl 239
Erscheinungsdatum März 2006
Sprache Deutsch
ISBN 978-3-89785-441-3
Verlag Mentis Verlag GmbH
Maße (L/B/H) 241/170/19 mm
Gewicht 435
Auflage 1. Auflage
Buch (Kunststoff-Einband)
Fr. 42.90
inkl. gesetzl. MwSt.
Versandfertig innert 3 - 5 Werktagen
Versandkostenfrei
Lieferung zur Abholung in Ihre Buchhandlung möglich – Verfügbarkeit prüfen
Premium Card
Fr. 42.90 Umsatz sammeln
Weitere Informationen

Andere Kunden interessierten sich auch für

  • 2971317
    Der Mythos des Sisyphos
    von Albert Camus
    (3)
    Buch (Taschenbuch)
    Fr. 12.90
  • 45257342
    Was für Lebewesen sind wir?
    von Noah Chomsky
    Buch (gebundene Ausgabe)
    Fr. 37.90
  • 14570968
    Über das Böse
    von Hannah Arendt
    (2)
    Buch (Taschenbuch)
    Fr. 16.90
  • 3013778
    Der Mensch vor der Frage nach dem Sinn
    von Viktor E. Frankl
    Buch (Taschenbuch)
    Fr. 16.90
  • 33841038
    Praktische Ethik
    von Peter Singer
    Buch (Taschenbuch)
    Fr. 19.90
  • 2991201
    Das Sein und das Nichts
    von Jean Paul Sartre
    (1)
    Buch (Taschenbuch)
    Fr. 28.90
  • 2987411
    Sexualität und Wahrheit 1. Der Wille zum Wissen
    von Michel Foucault
    (1)
    Buch (Taschenbuch)
    Fr. 21.90
  • 44239834
    Superintelligenz
    von Nick Bostrom
    Buch (Kunststoff-Einband)
    Fr. 28.90
  • 3008223
    Überwachen und Strafen
    von Michel Foucault
    Buch (Taschenbuch)
    Fr. 22.90
  • 3035844
    Macht und Gewalt
    von Hannah Arendt
    Buch (Taschenbuch)
    Fr. 14.90

Kundenbewertungen


Es wurden noch keine Bewertungen geschrieben.

Wird oft zusammen gekauft

Sprache, Beweis und Logik. Band 2

Sprache, Beweis und Logik. Band 2

von John Etchemendy , John Barwise

Buch (Kunststoff-Einband)
Fr. 42.90
+
=
Sprache, Beweis und Logik. Band I

Sprache, Beweis und Logik. Band I

von John Etchemendy

Buch (Kunststoff-Einband)
Fr. 38.90
+
=

für

Fr. 81.80

inkl. gesetzl. MwSt.

Alle kaufen

Verfügbarkeit in Ihrer Buchhandlung prüfen

Filialabholung: Ihre Vorteile
  1. Bereits Online prüfen, ob Ihr gewünschtes Buch in der Filiale vorrätig ist
  2. Bestellen Sie Online und lassen Sie Ihre Artikel zur Abholung in die Filiale vor Ort liefern
  3. Artikel, die zur Filialabholung bestellt wurden, können in der Filiale bezahlt werden.
  4. Falsches Buch bestellt? Retournieren Sie ihre gekauften Bücher kostenfrei in der Filiale