Logik und diskrete Strukturen (BA-INF 011)

Termine

Art Wann Wo Beginn Dozent und Übungsleitung
V4 Dienstag 10:15 - 11:45
Donnerstag 10:15 - 11:45
AVZ III / HS 1, HS 2
AVZ III / HS 1, HS 2
18. Oktober 2016 Prof. Stefan Kratsch,
Eva-Maria Hols

Hier finden Sie die Folien aus der ersten Vorlesung, die diverse Informationen zur Vorlesung enthalten.

Aktuelles

Klausureinsicht
Die Klausureinsicht findet am 28.03.17 von 12.30Uhr bis 14.00Uhr in Raum II.57 im LBH (Friedrich-Ebert-Allee 144) statt.

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.

Die Vorlesung orientiert sich am Skript der Vorlesung “Logik und diskrete Strukturen” von Prof. Dr. Heiko Röglin. Wir werden einige zusätzliche Inhalte bearbeiten, Klausurinhalt sind aber nur dieses Skript und die Übungsblätter.

Übungen

  • Für das Bestehen der Übungen müssen insgesamt mindestens 50% der zu erreichenden Punkte bei den Übungsaufgaben erreicht werden.
  • Eine Abgabe der Übungsaufgaben in Gruppen bis zu zwei Studierenden ist möglich.
  • Die Übungszettel werden immer dienstags ausgegeben. Die Lösungen müssen eine Woche später um 10:15 Uhr im entsprechenden Briefkasten in der Römerstraße 164 abgegeben sein.
  • Die Lösungen müssen auf dem vorderen Blatt die Namen der Studierenden und deutlich erkennbar die Nummer der Übungsgruppe enthalten. Falls eine Abgabe aus mehreren Blättern besteht, müssen diese zusammen getackert sein.
Gruppennr. Wann Wo Beginn Tutor
1 Montag 08:30 - 10:00 AVZ III / A7a 24. Oktober 2016 Xianghui Zhong
2 Montag 10:15 - 11:45 AVZ III / A7a 24. Oktober 2016 Xianghui Zhong
3 Montag 10:15 - 11:45 AVZ III / A301 24. Oktober 2016 Markus Krämer
4 Montag 16:00 - 17:30 AVZ III / A7a 24. Oktober 2016 Lukas Drexler
5 Dienstag 08.30 - 10:00 AVZ III / A7a 25. Oktober 2016 Markus Krämer
6 Dienstag 14:15 - 15:45 AVZ III / A6c 25. Oktober 2016 Oliver Kienast
7 Dienstag 16:00 - 17:30 AVZ III / A6b 25. Oktober 2016 Oliver Kienast
8 Mittwoch 08.30 - 10.00 AVZ III / A7a 26. Oktober 2016 Simon Gehring
9 Mittwoch 10:15 - 11:45 AVZ III / A7a 26. Oktober 2016 Simon Gehring
10 Mittwoch 14:15 - 15:45 AVZ III / A7a 26. Oktober 2016 Lukas Drexler
11 Mittwoch 14:15 - 15:45 AVZ III / A301 26. Oktober 2016 Hermann Wilhelm
12 Mittwoch 16:00 - 17:30 AVZ III / A301 26. Oktober 2016 Hermann Wilhelm
13 Donnerstag 14:15 - 15:45 AVZ III / A7a 27. Oktober 2016 Florian Nelles
14 Donnerstag 16:00 - 17:30 AVZ III / A7a 27. Oktober 2016 Florian Nelles
15 Freitag 08:30 - 10:00 AVZ III / A301 28. Oktober 2016 Anna Heuser
16 Freitag 10:15 - 11:45 AVZ III / A301a 28. Oktober 2016 Anna Heuser
17 Freitag 12:30 - 14:00 AVZ III / A7a 28. Oktober 2016 Philipp Bruckschen
18 Freitag 14:30 - 16:00 AVZ III / A7a 28. Oktober 2016 Philipp Bruckschen
19 Mittwoch 10:30 - 12:00 AVZ III / A6a 16. November 2016 Annika Kiefner
20 Mittwoch 16:00 - 17:30 AVZ III / A6a 16. November 2016 Annika Kiefner

Übungsblätter

  • Präsenzblatt (Besprechung: 24.10.16-28.10.16, keine Abgabe)
  • Übungsblatt 1 (Besprechung: 31.10.16-04.11.16, Abgabe bis 25.10.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 2 (Besprechung: 07.11.16-11.11.16, Abgabe bis Mittwoch 02.11.16, 9:00 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 3 (Besprechung: 14.11.16-18.11.16, Abgabe bis 08.11.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 4 (Besprechung: 21.11.16-18.11.16, Abgabe bis 15.11.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 5 (Besprechung: 28.11.16-02.12.16, Abgabe bis 22.11.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 6 (Besprechung: 05.12.16-09.12.16, Abgabe bis 29.11.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 7 (Besprechung: 12.12.16-16.12.16, Abgabe bis 06.12.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 8 (Besprechung: 19.12.16-23.12.16, Abgabe bis 13.12.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 9 (Besprechung: 09.01.17-13.01.17, Abgabe bis 20.12.16, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 10 (Besprechung: 16.01.17-20.01.17, Abgabe bis 10.01.17, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 11 (Besprechung: 23.01.17-27.01.17, Abgabe bis 17.01.17, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Übungsblatt 12 (Besprechung: 30.01.17-03.02.17, Abgabe bis 24.01.17, 10:15 Uhr, im Briefkasten in der Römerstraße)
  • Probeklausur (Besprechung: 06.02.17-10.02.17, es dürfen bis zu zwei Aufgaben beim Tutor zur Korrektur abgegeben werden)

Anmeldung zu den Übungen:

Die Anmeldung zu den Übungsgruppen erfolgte über das Tutorienvergabesystem (TVS) und ist abgeschlossen. Wer terminliche Probleme mit dem zugeteilten Termin hat und in ein anderes Tutorium wechseln möchte bespricht dieses bitte direkt mit den betroffenen Tutoren. Nur wer noch keine Übungsgruppe hat meldet sich bitte zeitnah bei Eva-Maria Hols.

Anrechnung des Übungserfolges:

Übungserfolg aus dem Vorsemester sollte automatisch von basis übertragen worden sein. Im Zweifel bitte selbst in basis nachprüfen. Falls der Übungserfolg nicht automatisch übertragen wurde brauchen wir als Beleg einen Ausdruck der Leistungsübersicht aus basis, auf der diese bestandene Leistung eingetragen ist. Dieser kann über den Postkasten oder persönlich abgegeben werden.

Prüfung

Die Klausur fand am 16.02.2017 von 9.00 bis 12.00 Uhr im Hauptgebäude statt. Die Nachklausur fand am 21.03.2017 von 14.00 Uhr bis 17.00 Uhr statt.

Klausureinsicht
Die Klausureinsicht findet am 28.03.17 von 12.30Uhr bis 14.00Uhr in Raum II.57 im LBH (Friedrich-Ebert-Allee 144) statt.

Repetitorium

Zur Vorbereitung auf die Nachklausur gab es ein Repetitorium. Dieses bestand aus drei Terminen, nämlich 13.03.17, 15.03.17 und 16.03.17 jeweils von 15-18 Uhr im HS 1 (Römerstraße 164).

lehre/ws1617/logik-und-diskrete-strukturen.txt · Zuletzt geändert: 2017/03/27 10:35 von kratsch

Benutzer-Werkzeuge