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

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.

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.

• 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.

• 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)

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.

Ü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.

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.

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).