Logik:Prädikatenlogik: Unterschied zwischen den Versionen

Aktuelle Version vom 4. August 2004, 17:15 Uhr

In der Prädikatenlogik, einem Themengebiet der Lehrveranstaltung Logik, können wir beliebige Funktionen und Relationen darstellen. Dadurch ist es möglich strukturierte Objekte und struktursensitive Prozesse zu beschreiben.

Themen[Bearbeiten]

• Syntax
• Substitutionen
• Semantik
• Äquivalenz und Normalformen
• Unifikation
• Beweisverfahren
• Implementierung von Beweisverfahren
• Eigenschaften