Logik und diskrete Strukturen (BA-INF 011)

Termine

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 voraussichtlicher Termin, Angaben ohne Gewähr
2. Klausur 19. März 2018 voraussichtlicher Termin, Angaben ohne Gewähr

Inhalt

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.

Übungen

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:45AVZ III / A7a Daniel Schleich
8 Mittwoch 10:15 - 11:45AVZ 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

Übungszettel:

  • Präsenzzettel (Besprechung: 16.10.17-21.10.17, keine Abgabe)
  • Übungsblatt 1 (Besprechung: 23.10.17-27.10.17, Abgabe bis 17.10.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 2 (Besprechung: 30.10.17-3.11.17, Abgabe bis 24.10.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 3 (Besprechung: 6.11.17-10.11.17, Abgabe bis 2.11.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 4 (Besprechung: 13.11.17-17.11.17, Abgabe bis 7.11.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 5 (Besprechung: 20.11.17-24.11.17, Abgabe bis 14.11.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 6 (Besprechung: 27.11.17-1.12.17, Abgabe bis 21.11.16, 10:15 Uhr, im Briefkasten in der Römerstraße)

Abgabe der Übungszettel:

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.

Anmeldung zu den Übungen:

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.

Skript

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:

lehre/ws1718/logik-und-diskrete-strukturen.txt · Zuletzt geändert: 2017/11/14 18:37 von schwarzwald

Benutzer-Werkzeuge