| Art | Wann | Wo | Beginn | LP | Dozent und Übungsleitung |
|---|---|---|---|---|---|
| V4 | Dienstag 10:15 - 11:45 Donnerstag 10:15 - 11:45 | CP1-HSZ / Hörsaal 2 CP1-HSZ / Hörsaal 2 | 11. Oktober 2018 | 5,5 | Prof. Dr. Rolf Klein Barbara Schwarzwald |
| Ü2 | Übungstermine | 16. Oktober 2017 | 3,5 | ||
Die erste Vorlesung findet am 11. Oktober statt.
Bei dieser Vorlesung handelt sich um die erste von drei Pflichtvorlesungen im Bereich der theoretischen Informatik, die im Bachelorstudiengang an der Universität Bonn vorgesehen sind. Die wesentlichen Themen dieser Vorlesung sind Logik, Automatentheorie und formale Sprachen. Zunächst werden wir aber einige mathematische Grundlagen besprechen, die für ein Studium der Informatik unerlässlich sind. Viele davon sind Ihnen wahrscheinlich bereits in der Schule begegnet. Dennoch werden wir uns hier die Zeit nehmen, sie zu wiederholen und zu vertiefen, da die sichere Beherrschung dieser Grundlagen eine wichtige Voraussetzung für jede Lehrveranstaltung der Informatik ist.
Begleitend zur Vorlesung gibt es wöchentliche Übungszettel, die freiwillig zur Korrektur abgegeben werden können. Die Lösungen werden in ebenfalls wöchentlichen Übungsgruppen besprochen. Zur Teilnahme an den Übungsgruppen muss man sich wegen der begrenzten Größe der Räume anmelden, auch wenn man keine Korrektur wünscht.
Bearbeiten der Übungsaufgaben und Teilnahme an den Übungen ist zwar freiwillig aber in höchstem Maße empfohlen . Übungensaufgaben sind klausurrelevant.
Information, Organisation, Anmeldung, Bereitstellung der Übungszettel etc. läuft in diesem Semester über eCampus.
Als Ausnahme wird hier der erste Übungszettel hochgeladen, da noch nicht alle Studenten Zugang zu ecampus haben:
Zur Vor- und Nachbereitung der Vorlesung sind grundsätzlich eigene Notizen zu empfehlen. Die Vorlesung basiert allerdings größtenteils auf dem unten angegebenen Skript. Die gelegentlichen Ergänzungen sind aber ebenfalls klausurrelevant und werden während der Vorlesung gekennzeichnet. Für diese Ergänzungen gibt es kein Skript, sodass Sie dafür auf Ihre Vorlesungsnotizen angewiesen sind.
Das Skript findet sich hier:
Der letzte Vorlesungsteil zu Aussagen- und Prädikatenlogik basiert abweichend zum Röglin-Skript auf diesen Notizen: