1997 | OriginalPaper | Buchkapitel
Prädikatenlogik und Kalküle
verfasst von : Dr. Dipl.-Ing. Thom Frühwirth, Dipl.-Inform. Slim Abdennadher
Erschienen in: Constraint-Programmierung
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Im ersten Abschnitt fixieren wir die Syntax der Prädikatenlogik erster Stufe, d.h. die verwendete Sprache. Die Semantik, also die Bedeutung der Sprache, wird im zweiten Abschnitt definiert. Im letzten Abschnitt werden logische Kalküle formal beschrieben. Ein logischer Kalkül sagt uns, wie man in einer Sprache der Logik rechnen kann.