Grundbegriffe Logik (Logische Programmierung)

Logische Sprache
Semantik
Interpretation
Bestandteile Interpretation
Beispiel Interpretation
Modell
erfüllbar
widerlegbar
tautologisch
inkonsistent
Logische Konsequenz
Modus Tollens
Modus Ponens
Deduktionssystem
herleitbar
Bestandteile Herleitung
Korrektheit
Vollständigkeit
Eigenschaften Beweisstrategie
atomarer Ausdruck
Eigenschaften atomarer Ausdruck
Deduktioinstheorem
entscheidbar
semi-entscheidbar

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.