Logik: Formelsammlung
Die wichtigsten Formeln und Sätze der Vorlesung "Logik für Informatiker" der TU Braunschweig (Professor Löwe) aus dem WS 1998/1999 von Ivo Kasiuk zu den Themen
- Logische Symbole
- Rang
- Belegungen
- Regeln zum syntaktischen Beweisen
- Tableaukalkül
- Relationen
- freie Variablen
- Regeln zum semantischen Beweisen mit Prädikatenlogik
Download:
- Postscript Dokument gezipped (ca. 30 kB).
- PDF Dokument (ca. 50 kB)