Allgemeine Informationen
Veranstaltungsname | Vorlesung: Logik für Informatiker |
Veranstaltungsnummer | INF-0155 |
Semester | WS 2022/23 |
Aktuelle Anzahl der Teilnehmenden | 22 |
Heimat-Einrichtung | Resource Aware Algorithmics |
Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
Erster Termin | Freitag, 21.10.2022 10:00 - 11:30 |
Lernorganisation |
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. |
Leistungsnachweis | 100-minütige Klausur |
Online/Digitale Veranstaltung | Veranstaltung wird als Hybrid/gemischt abgehalten. |
Hauptunterrichtssprache | deutsch |
ECTS-Punkte | 6 |