General information
| Course name | Lecture: Logik für Informatiker |
| Course number | INF-0155 |
| Semester | WS 2022/23 |
| Current number of participants | 18 |
| Home institute | Resource Aware Algorithmics |
| Courses type | Lecture in category Teaching |
| First date | Friday, 21.10.2022 10:00 - 11:30 |
| Learning organisation |
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 |
| Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile | Yes |
| Veranstaltung findet online statt / hat Remote-Bestandteile | Yes |
| Hauptunterrichtssprache | deutsch |
| ECTS points | 6 |
