| Art | Wann | Wo | Beginn | LP | Dozent und Übungsleitung |
|---|---|---|---|---|---|
| V4 | Dienstag 10:15 - 11:45 Donnerstag 10:15 - 11:45 | AVZ III / HS 1&2 AVZ III / HS 1&2 | 10. Oktober 2017 | 5,5 | Prof. Dr. Rolf Klein Barbara Schwarzwald |
| Ü2 | Übungstermine | 16. Oktober 2017 | 3,5 | Anna Arutyunova, Annika Kiefner, Oliver Kienast, Daniel Peukert, Annika Pick, Sophia Popp, Daniel Schleich, Linda Sedki, Lennard Alms, Dominik Wilsberg |
|
| 1. Klausur | 19. Februar 2018 | HSZ HS 1 & 2 | 12:30-14:30 | HSZ: Hörsaalzentrum Poppelsdorf, 120 min. | |
| 2. Klausur | 19. März 2018 | HSZ HS 1 & 2 | 9:30 - 11:30 | HSZ: Hörsaalzentrum Poppelsdorf, 120 min | |
| Probeklausur | 21. Dezember 2017 10:15 | AVZ III / HS 1&2 | anstelle der Vorlesung | ||
| Klausureinsicht (2. Klausur) | 4. April 2018 13:30 | IZ Raum 2.078 | Termin auf Nachmittag verschoben; IZ: Informatikzentrum Poppelsdorf |
||
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 (s.u.), 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 , da die Übungen auf eine Vorbereitung zur Klausur ausgelegt sind.
| Wann | Wo | Tutor | |
|---|---|---|---|
| 1 | Montag 8:15 - 9:45 | AVZ III / A7a | Annika Kiefer |
| 2 | Montag 10:15 - 11:45 | AVZ III / A7a | Annika Kiefer |
| 3 | Montag 16:15 - 17:45 | AVZ III / A7a | Linda Sedki |
| 4 | Dienstag 08:15 - 09:45 | AVZ III / A7a | Oliver Kienast |
| 5 | Dienstag 14:15 - 15:45 | AVZ III / A6c | Daniel Peukert |
| 6 | Dienstag 16:15 - 17:45 | AVZ III / A6b | Daniel Peukert |
| 7 | Mittwoch 08:15 - 09:45 | AVZ III / A7a | Daniel Schleich |
| 8 | Mittwoch 10:15 - 11:45 | AVZ III / A7a | Daniel Schleich |
| 9 | Mittwoch 14:15 - 15:45 | AVZ III / A301 | Anna Arutjunova |
| 10 | Mittwoch 16:15 - 17:45 | AVZ III / A301 | Anna Arutjunova |
| 11 | Donnerstag 14:15 - 15:45 | AVZ III / A7a | Sophia Popp |
| 12 | Donnerstag 16:15 - 17:45 | AVZ III / A7a | Sophia Popp |
| 13 | Freitag 8:15 - 9:45 | AVZ III / A301 | Linda Sedki |
| 14 | Freitag 10:15 - 11:45 | AVZ III / A301a | Annika Pick |
| 15 | Freitag 14:15 - 15:45 | AVZ III / A7a | Oliver Kienast |
| 16 | Mittwoch 14:15 - 15:45 | AVZ III / A7a | Lennard Alms |
| 17 | Freitag 12:15 - 13:45 | AVZ III / A7a | Lennard Alms |
| 18 | Montag 10:15 - 11:45 | AVZ III / A301 | Dominik Wilsberg |
| 19 | Mittwoch 16:15 - 17:45 | AVZ III /A6a | Dominik Wilsberg |
Wenn eine Korrektur der Übungszettel erwünscht ist, können Sie Ihre Lösungen auch abgeben. Abgabe ist in Gruppen möglich und erfolgt über einen Briefkasten in der Römerstraße (links vom Foyer). Auf die Abgabe sollten Sie oben rechts auf dem ersten Blatt die vollständigen Namen aller Gruppenmitglieder und die Nummer der Übungsgruppe gut lesbar notieren. Abgaben aus mehreren Blättern sind zu heften. Abgaben, die diese Voraussetzungen nicht erfüllen werden u.U. verspätet oder gar nicht korrigiert.
Die Anmeldung zu den Übungsgruppen wird über das Tutorienvergabesystem (TVS) erfolgen und ist bis zum 13.10.2017 um 13:00 Uhr möglich. Die Anmeldung ist abgeschlossen. Wer noch keine Übungsgruppe oder terminliche Probleme mit dem zugeteilten Termin hat, meldet sich bitte zeitnah bei Barbara Schwarzwald.
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: