
Mathematische Logik
Peter Bachmann(Author)
Shaker (Publisher)
1st Edition
Published on 27. April 2020
Book
Paperback/Softback
105 pages
978-3-8440-7332-4 (ISBN)
Description
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.
More details
Series
Language
German
Place of publication
Düren
Germany
Target group
Professional and scholarly
Product notice
Unsewn / adhesive bound
Dimensions
Height: 21 cm
Width: 14.8 cm
Weight
158 gr
ISBN-13
978-3-8440-7332-4 (9783844073324)
Schweitzer Classification