Shop : Rezensionsexemplar
Shop
Rezensionsexemplar
Peter Bachmann
Mathematische Logik
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.
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.
Schlagwörter: Mathematik; Logik; Modelle; Theorie; Folgern; Ableiten; Kalkül
Shaker Verlag GmbHAm Langen Graben 15a52353 Düren
Mo. - Do. 8:00 Uhr bis 16:00 UhrFr. 8:00 Uhr bis 15:00 Uhr
Kontaktieren Sie uns. Wir helfen Ihnen gerne weiter.
