Logik
| SWS | 4 | ||||||||||||||||||||
| ECTS | 5 | ||||||||||||||||||||
| Sprache(n) | Deutsch
(Standard)
Englisch |
||||||||||||||||||||
| Lehrform | SU mit Übung | ||||||||||||||||||||
| Angebot | nach Ankündigung | ||||||||||||||||||||
| Aufwand | 40 Präsenzstunden Vorlesung, 20 Präsenzstunden Übung, 35 Stunden Vor-/Nachbereitung der Übungen, 55 Stunden Nachbereitung der Vorlesung und Prüfungsvorbereitung |
||||||||||||||||||||
| Voraussetzungen | Grundkenntnisse in Analysis, Linearer Algebra und Theoretischer Informatik, z.B. durch erfolgreiche Teilnahme an den Modulen IF-I-B-101, IF-I-B-103, IF-I-B-205 |
||||||||||||||||||||
| Ziele | Die Studenten sollen in die Lage versetzt werden, Axiomensysteme zusammen mit Kalkülen formaler Schlussregeln als Universalkonstruktionen für mathematische oder maschinenorientierte Beweismethoden zu verstehen. |
||||||||||||||||||||
| Inhalt | Pflicht: Aussagenlogik, Prädikatenlogik 1. Stufe, Prädikatenlogik höherer Stufe, Querverbindungen zu Automatentheorie und Formale Sprachen. Optional: Entscheidbarkeit, Modale und Temporale Logik, Programmverifikation |
||||||||||||||||||||
| Medien und Methoden | Tafel |
||||||||||||||||||||
| Literatur |
|
||||||||||||||||||||
| Zuordnungen Curricula |
|