Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage wichtige Konzepte, Techniken und Resultate der formalen Logik und der Berechenbarkeitstheorie zu unterscheiden und anzuwenden. Außerdem sollten Absolventen in der Lage sein, Verbindung zwischen Themen wie Unvollständigkeit arithmetischer Kalküle, Unentscheidbarkeit, formaler Beweisbarkeit und Ausdruckstärke zu verstehen und zu erklären.
- selbständiges Lösen von 6 Übungsbeispielblöcken
- verpflichtendene Teilnahme an 6 Übungseinheiten
- schriftliche Prüfung
- mündliche Prüfung
HINWEIS: Dieses Jahr müssen die Studierenden 6 Übungseinheiten absolvieren. Entsprechende Lösungn sind in TUWEL hochzuladen und gegebenenfalls an der Tafel zu präsentieren.
Verpflichtende Übungstermine:. 13. Oktober, 10. November, 24. November, 1. Dezember, 15. Dezember und 21. Dezember 2023.
Voraussetzung für die Zulassung zur Prüfung ist das positive Abschneiden im Übungsteil.
Knowledge of classical propositional logic and of basic concepts of classical first order logic (logical consequence, interpretations and model structures, satisfiability versus validity, acquaintance with various proof systems), a firm understanding of the syntax/semantic distinction, some experience with formal specification, acquaintance with a range of different programming paradigms (imperative, functional, logical), concepts of formal languages (grammars, Chomsky hierarchy) and automata theory (finite automata, pushdown automata, Turing machines)
NB: If you don't have a firm background in logic yet, you are asked to join special repetitorium classes, which are open to all participants.