Die Vorlesung findet rein DIGITAL statt. Das Vorlesungsmaterial besteht aus Folien, einem Skript und Videoaufzeichnungen aus dem Wintersemester 2020/2021. Dieses Material wird den Teilnehmern vorab asynchron zur Verfügung gestellt für das Selbststudium zu Hause.
Die Vorlesung wird begleitet von Übungsblättern, die wöchentlich herausgegeben und zu Hause bearbeitet werden. Die Übungsblätter werden NICHT KORRIGIERT.
Einmal wöchentlich findet eine Übungsstunde statt, in der die Übungsaufgaben besprochen und Fragen zur Vorlesung geklärt werden. Die Übungsstunde findet IN PRÄSENZ statt, falls die Vorgaben dies erlauben, ansonsten digital via Zoom.
Performance record
100-minütige Klausur
Online/Digitale Veranstaltung
Veranstaltung wird als Hybrid/gemischt abgehalten.
In der Logik untersucht man streng formal die Gesetze unseres exakten Denkens. Logik hat in der Informatik besondere Bedeutung gewonnen: Sie findet Verwendung in der Verifikation von Systemen wie Programmen oder Schaltkreisen; dabei soll die Verifikation zumindest durch Computer geprüft werden können, so dass eine formale Notation von Nöten ist. Ferner gibt es Theorembeweiser, die (mehr oder weniger) selbständig Sätze beweisen. In der Logikprogrammierung entspricht ein berechneter Beweis dem Ablauf eines Programms.
Diese Vorlesung behandelt Aussagenlogik und die Grundlagen der Prädikatenlogik erster Stufe, sowie die
Programm- und Systemverifikation mit Hoare-Logik und temporale Logik.
Admission settings
The course is part of admission "Zeitgesteuerte Anmeldung: Logik für Informatiker".
The following rules apply for the admission:
The enrolment is possible from 01.08.2021, 00:00 to 31.10.2021, 23:59.
