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 Vorlesungen finden jeweils
statt. Der erste Vorlesungstermin ist am Dienstag den 7. Oktober.
In der letzten Vorlesung, am Donnerstag den 5. Februar, wird es eine Wiederholungsvorlesung in Hinblick auf die Klausur geben.
Am Mittwoch den 18. März, von 10ct - 12 Uhr, in HS 1, wird es eine Zusatzvorlesung als Vorbereitung für die Nachklausur geben. Für alle, die die Nachklausur mitschreiben wollen, ist die Teilnahme sehr zu empfehlen. Wir werden Teile der Vorlesung wiederholen, auf die erste Klausur eingehen, und auf häufige Fehler hinweisen.
Für alle, die am 18. März nicht teilnehmen können, wird die gleiche Veranstaltung am Montag, den 23. März, von 10ct - 12 Uhr, in HS 1, wiederholt.
Neben der Vorlesung gibt es jede Woche Übungsgruppen, in der die Übungsaufgaben besprochen, der Vorlesungsstoff wiederholt und Fragen geklärt werden.
Die Übungen beginnen in der zweiten Vorlesungswoche, also am Montag den 13. Oktober.
Die Einteilung der Übungsgruppen ist erfolgt. Jeder angemeldete Student hat eine eMail mit seiner zugewiesenen Gruppe bekommen. Bei wem dies nicht der Fall ist, bitte melden! Es gibt folgende Übungsgruppen:
| Gruppennr. | Tag | Uhrzeit | Ort | Tutor |
|---|---|---|---|---|
| 1 | Montag | 08:15 - 09:45 | AVZ III / A7a | Moritz Wiemker |
| 2 | Montag | 10:15 - 11:45 | AVZ III / A301 | Sergio Chumacero |
| 3 | Montag | 10:15 - 11:45 | AVZ III / A7a | Johannes Loevenich |
| 4 | Montag | 16:15 - 17:45 | AVZ III / A7a | Moritz Wiemker |
| 5 | Dienstag | 14:15 - 15:45 | AVZ III / A7a | Lukas Heidemann |
| 6 | Dienstag | 16:15 - 17:45 | AVZ III / A6b | Lukas Heidemann |
| 7 | Mittwoch | 08:15 - 09:45 | AVZ III / A7a | Johannes Loevenich |
| 8 | Mittwoch | 10:15 - 11:45 | AVZ III / A7a | Sergio Chumacero |
| 9 | Mittwoch | 14:15 - 15:45 | AVZ III / A301 | Johannes Loevenich |
| 10 | Mittwoch | 14:15 - 15:45 | AVZ III / A7a | Vitali Kurnatowski |
| 11 | Mittwoch | 16:15 - 17:45 | AVZ III / A301 | Vitali Kurnatowski |
| 12 | Donnerstag | 14:15 - 15:45 | AVZ III / A7a | Lucas Triefenbach |
| 13 | Donnerstag | 16:15 - 17:45 | AVZ III / A7a | Lucas Triefenbach |
| 14 | Freitag | 10:15 - 11:45 | AVZ III / A301a | Shoshanna Seenberg(2014) / Clemens Rösner(2015) |
| 15 | Freitag | 12:15 - 13:45 | AVZ III / A7a | Shoshanna Seenberg(2014) / Clemens Rösner(2015) |
Es wird jede Woche Dienstag einen Zettel mit Übungsaufgaben geben, für den es je eine Woche Bearbeitungszeit gibt.
Die Lösungen dürfen in Gruppen von bis zu 3 Studierenden (sofern alle in der gleichen Übungsgruppe sind) abgegeben werden.
Die Abgaben bitte zusammengetackert und mit Namen und der Nummer der Übungsgruppe versehen einwerfen (der Name alleine ist bei der Teilnehmeranzahl nicht ausreichend).
Abgabezettel, bei denen diese Angaben fehlen, werden in Zukunft nicht mehr gewertet!
Die Vorlesung am 23.12.2014 fällt aus! Die Zeit könnt ihr für die Probeklausur nutzen.
Die erste Vorlesung im neuen Jahr findet am Donnerstag, den 8. Januar statt.
Um das Modul zu bestehen, muss als Erstes die Klausurzulassung erreicht und am Ende des Semesters die Klausur bestanden werden.
Für die Zulassung zur Klausur müssen folgende Kriterien erfüllt werden:
Klausurtermine:
Die Nachklausur wird am 30. März 2015 im Hörsaal X im 1.OG vom Hauptgebäude stattfinden.
Einlass ist um 9:45 Uhr, Klausurbeginn um 10:00 Uhr. Für Zuspätkommer kann kein Einlass mehr garantiert werden!
Bitte folgendes mitbringen: Studierendenausweis, Lichtbildausweis und einen dokumentenechten blauen oder schwarzen Stift.
Weitere Hilfsmittel sind nicht erlaubt. Papier wird zur Verfügung gestellt.
Die Klausureinsicht findet am Donnerstag den 2. April von 10 - 12 Uhr im Raum E.08 im LBH statt.
Zur Nachbearbeitung der Vorlesung empfehlen wir zunächst die eigene Vorlesungsmitschrift!
Als weitere Literatur bieten sich an:
Bei Fragen wende dich bitte an Cecilia Bohler.