TU Wien:Logic and Computability VU (Ciabattoni, Fermüller)

From VoWi
Jump to navigation Jump to search

Daten[edit]

Lecturers Agata Ciabattoni, Christian Fermüller
ECTS 6
Department Forschungsbereich Theory and Logic
Links tiss:185A45 , Mattermost-Channel
Zuordnungen
Master Logic and Computation Pflichtmodul Logic and Computability

Mattermost: Channel "logic-and-computability"RegisterMattermost-Infos

Inhalt[edit]

Teil 1: Aussagelogik, PL1, Natürliches schließen, Herbrand Kalkül, Sequenzenkalkül

Teil 2: Automated Deduction, Modallogik, Intuitionistic Logic

Teil 3: Berechnungsmodelle (Turing Maschinen, Lambda Kalkül, rekursive Funktionen), Berechenbarkeit

Teil 4: Unvollständigkeit (Gödel's Unvollständigkeitssatz)

Ablauf[edit]

Von Oktober an zwei Mal pro Woche Vorlesung. Jede Vorlesung kann 60-120 Minuten dauern. Die Länge hängt hier immer sehr stark vom Thema und der Laune des Vortragenden ab.

Zusätzlich gibt es drei Übungsblätter (für Teil 1 bis 3) die alleine gelöst werden sollen. Eine Ausarbeitung in Latex bzw. Word wird verlangt.

Abgaben und Kommunikation mit den Vortragenden erfolgt per Email. Man kann auch Fragen zum Stoff per Email stellen. Es wird in der Regel schnell geantwortet.

Benötigte/Empfehlenswerte Vorkenntnisse[edit]

Grundkenntnisse über Logik etwa von TIL sind empfehlenswert. Prinzipiell wird aber alles erklärt. Wenn TIL nicht besucht wurde, gibt es im Laufe des Kurses noch ein Repetitorium zum Stoff von TIL.

Vortrag[edit]

Teils auf den Folien, Teils auf der Tafel (Beweise, Beispiele etc.). Vortrag ist bemüht und will interaktiv sein.

Teil 1 + 3 (Ciabattoni): Die Folien reichen zum Lernen alleine nicht aus. Es gibt aber für Teil 1 ein (sehr gutes) und für Teil 3 ein (mittelmäßig gutes) Skript.

Teil 2 + 4 (Fermüller): Die zwei Vorlesungen zum 4. Teil zu besuchen ist sehr empfehlenswert, sonst wird das Lernen des Themas echt hart.

Übungen[edit]

3 Übungsblätter für die jeweils 2-3 Wochen Zeit ist Bewertung ist sehr human. Man bekommt aber kein Feedback zugeschickt, sondern es gibt in einer der letzten Einheiten ein Q&A wo man ausführlich individuelles mündliches Feedback zur Abgabe erhält und die Bewertung erfährt.

Prüfung, Benotung[edit]

Schriftliche Prüfung, an die Übungsbeispiele angelehnt. Dann noch zwei mündliche Prüfungen (bei beiden Vortragenden getrennt). Es kann praktisch sein, da ein paar Tage dazwischen zu haben, um sich den Stoff bei Lernen aufteilen zu können.

Dauer der Zeugnisausstellung[edit]

10 Min nach der mündlichen Prüfung (war aber der letzte).

Zeitaufwand[edit]

Hängt sehr stark vom Vorwissen und der Affinität für Logik und formale Themen ab, sollte aber auch ohne große Vorkenntnisse unter den 6 ECTS liegen.

Meine Erfahrung (mit Vorwissen und Interesse): 3*5h für die Übgungsblätter, 15 Stunden Lernen für die Prüfung für ein S1.

Unterlagen[edit]

Gutes Einführungsvideo zum 4. Teil: https://www.youtube.com/watch?v=O4ndIDcDSGc

Tipps[edit]

  • Es werden immer mehr oder weniger gute Abgaben von Studierenden als "Musterlösung" im TISS veröffentlicht. Da sich die Übungsaufgaben manchmal wiederholen, hilft es, mal im TISS in alte Semester zu schauen.
  • Es kommen immer alle Teilen zur mündlichen Prüfung. Einen Teil auslassen ist keine gute Idee.
  • Beim 3. Teil liegt der Schwerpunkt eindeutig auf dem was im Skript steht. Foliensatz 2 und 3 (Turing Maschinen und Lambda Kalkül wurden nicht geprüft.)
  • Übungsblätter selber machen, hilft für die schriftliche Prüfung.
  • Bei Teil 1 und 3 gibt es eine Liste von Beweisen die zur mündlichen Prüfung kommen. Die verlangten Beweise lernen.

Verbesserungsvorschläge / Kritik[edit]

  • Die Kommunikation mit den Studierenden könnte etwas verbessert werden. (Bei TISS und Email geht leider leicht was unter)
  • Anmeldung zur Prüfung: man darf sich zur mündlichen Prüfung im TISS nur anmelden, wenn man die schriftliche bestanden hat und auch nur beim entsprechenden Termin. Das wurde aber schlecht kommuniziert und TISS lässt aber alle anmelden.