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 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:15AVZ III / HS 1&2 anstelle der Vorlesung
Klausureinsicht
(2. Klausur)
4. April 2018 13:30IZ Raum 2.078 Termin auf Nachmittag verschoben;
IZ: Informatikzentrum Poppelsdorf

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)
  • Übungsblatt 7 (Besprechung: 4.12.17-8.12.17, Abgabe bis 28.11.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 8 (Besprechung: 11.12.17-15.12.17, Abgabe bis 5.12.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 9 (Besprechung: 18.12.17-22.12.17, Abgabe bis 12.12.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 10 (Besprechung: 15.01.18-19.01.18, Abgabe bis 19.12.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Probeklausur (Besprechung: 08.01.18-12.01.18, (nur offene Fragen, keine Musterlösung der kompletten Klausur))
  • Übungsblatt 11 (Besprechung: 22.01.18-26.01.18, Abgabe bis 16.01.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 12 (Besprechung: 29.01.18-02.02.18, Abgabe bis 23.01.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 13 (keine Besprechung oder Abgabe, als Lernhilfe & Ergänzung gedacht)

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:

Der letzte Vorlesungsteil zu Aussagen- und Prädikatenlogik basiert abweichend zum Röglin-Skript auf diesen Notizen:

lehre/ws1718/logik-und-diskrete-strukturen.txt · Zuletzt geändert: 2018/03/28 14:51 von schwarzwald

Benutzer-Werkzeuge