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.
ETCS Breakdown:
6 ETCS = 150 hours
- 38 hours: lecture time (+ 8 hours repetitorium for students not having a firm previous knowledge in logic)
- 52 hours: 4 blocks of problems/exercises
- 60 hours: examination (preparation time )
The course will start Monday, October 4th 2021, 11:00. The presentation class will be held live in ZOOM:
https://tuwien.zoom.us/j/91099333420?pwd=TFh5RWs4bnpqT3RoYk9DSzBZRGhJQT09
Meeting-ID: 910 9933 3420
Passwort: 6jHpGmJw
Lectures will be pre-recorded and accessible via TUWEL. In addition we plan to offer a physical meeting every Thursday 11:15-13:00. Tutorial sessions for the Logic part will take place on October 11, 18, 25 and November 8, 11:00-13:00.
Note that you can attend the in person classes, only if you comply with the 3-G access rules.
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.