Mathematische Logik

Peter Bachmann (Autor)

Buch | Softcover

105 Seiten

2020
Shaker (Verlag)
978-3-8440-7332-4 (ISBN)

Artikel merken

Im Buch werden Struktur und Anliegen verschiedener Logiken behandelt. Dazu gehören Syntax und Semantik der Sprache und Begriffe wie Interpretation, Modell, Folgern, Ableiten, Theorie, Kalkül.

Begonnen wird mit einer skurrilen Logik, die nur den Zweck hat, obige Begriffe zu erläutern. Es folgen die Gentzenlogik, die Aussagenlogik und die Prädikatenlogik. Um die Verbindung zur Informatik anzudeuten, wird in einem kurzen Abschnitt dargelegt, wie in der Sprache PROLOG mittels Resolutionsprinzip Wissen beschrieben und gefolgert wird.

Abschließend werden in der Modalen und Temporalen Aussagenlogik nicht-klassische Ansätze beschrieben, die auch in der künstlichen Intelligenz nützlich sind.

Erscheinungsdatum	27.04.2020
Reihe/Serie	Berichte aus der Mathematik
Verlagsort	Düren
Sprache	deutsch
Maße	148 x 210 mm
Gewicht	158 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	Ableiten • Folgern • Kalkül • Logik • Mathematik • Modelle • Theorie
ISBN-10	3-8440-7332-9 / 3844073329
ISBN-13	978-3-8440-7332-4 / 9783844073324
Zustand	Neuware