Aktuell: Die Ergebnisse der Klausur stehen fest und sind im Prüfungsamt.
Weil die so erfreulich sind, gibt es keine zweite Klausur, sondern für die,
die es noch brauchen, mündliche Prüfungen. Dazu bitte einfach eine
Email an mich schreiben. Termine siehe unten.
Die Vorlesung wird ab diesem Jahr auf deutsch gehalten.
Wann und wo:
Vorlesung: Dienstag 14:15-15:45 in Hörsaal 5 (H5)
Tutorien:
Di 16-18 in D2-152 (Hannah Heile)
Di 16-18 in T2-204 (Can Ward)
Mi 8-10 in T2-233 (Jakob Niermann)
Klausur: Mittwoch 7. Februar 2023 um 14:00 in H12
Dauer: 90 min
Erlaubte Hilfsmittel: Stift (eigenes Papier weder nötig noch erlaubt)
Keine Anmeldung erforderlich.
Zur Klausurvorbereitung lohnt es sich, insbesondere die Aufgaben anzusehen
mit den Nummern
Formale Logik findet sich in vielen Teilen der Informatik. Logische
Schaltkreise sind die Grundbausteine integrierter Schaltkreise. Beweise
der NP-Vollständigkeit basieren oft auf Reduktion auf Probleme der
Erfüllbarkeit aussagenlogischer Formeln (3SAT).
Formale Logik bietet Definitionen des Konzepts "Berechenbarkeit" und
ist eine reiche Quelle für Probleme, die nicht algorithmisch gelöst werden
können. Aussagenlogik, Prädikatenlogik und temporale Logik werden zur
Verifikation der Korrektheit von
Algorithmen oder Programmen genutzt.
Diese Vorlesung bietet eine Einführung in formale Logik. Die Grundlagen
(Formel, Erfüllbarkeit, Belegung, ...) werden anhand der Aussagenlogik
erläutert. Dann widmen wir uns zentralen Konzepten der Prädikatenlogik,
bis hin zur Vollständigkeit und den
Gödelschen Sätzen, sowie der modalen Logik (temporale Logik).
Übungen:
Hier werden die Übungsblätter bereit gestellt.
Abgabe einzeln oder in Zweiergruppen. Es ist aber wichtig, dass
sich jeder mit allen Aufgaben befasst, sonst lernt man nicht
genug für die Klausur.
Wer in einem Tutorium zwei (korrekte) Lösungen präsentiert,
bekommt in der Klausur einen Bonuspunkt.