Art | Wann | Wo | Beginn | LP | Dozent |
---|---|---|---|---|---|
V4 | Dienstag 10:15 - 11:45 Dienstag 12:30 - 14:00 Donnerstag 10:15 - 11:45 Donnerstag 12:30 - 14:00 | AVZ III / HS 1 AVZ III / HS 2 AVZ III / HS 1 AVZ III / HS 2 | 9. Oktober 2012 | 5,5 | Röglin |
Ü2 | s.u. | 15. Oktober 2012 | 3,5 | Bauer, Boes, Brunsch, den Brok, Israels, Kullik, Loka, Reichard |
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.
Ort | Inhalt | Literatur |
---|---|---|
09. Oktober | Begrüßung der Erstsemester 1 Einleitung | Foliensatz 1 Foliensatz 2 Skript |
11. Oktober | 2 Mathematische Grundlagen 2.1 Mengen | Skript |
16. Oktober | 2.2 Beweise 2.2.1 Aussagen 2.2.2 Implikationen und Äquivalenzen 2.2.3 Direkte und indirekte Beweise | Skript |
18. Oktober | 2.2.3 Direkte und indirekte Beweise (Fortsetzung) 2.2.4 Vollständige Induktion | Skript |
23. Oktober | 2.3 Quantoren 2.4 Relationen und Abbildungen 2.4.1 Relationen | Skript |
25. Oktober | 2.4.2 Abbildungen \\2.4.3 Äquivalenzrelationen | Skript |
30. Oktober | 2.4.3 Äquivalenzrelationen (Fortsetzung) 3 Endliche Automaten und formale Sprachen 3.1 Sprachen und Grammatiken | Skript |
06. November | 3.1 Sprachen und Grammatiken (Fortsetzung) 3.2 Endliche Automaten 3.2.1 Pumping-Lemma für endliche Automaten | Skript |
08. November | 3.2.1 Pumping-Lemma für endliche Automaten (Fortsetzung) 3.2.2 Das Pumping-Lemma als Spiel | Skript |
13.November | 3.2.3 Nichtdeterministische endliche Automaten | Skript |
15. November | 3.3 Reguläre Sprachen, endliche Automaten und reguläre Ausdrücke | Skript |
20. November | 3.3 Reguläre Sprachen, endliche Automaten und reguläre Ausdrücke (Fortsetzung) | Skript |
22. November | 3.3 Reguläre Sprachen, endliche Automaten und reguläre Ausdrücke (Fortsetzung) 4 Ausgewählte Themen der Mathematik 4.1 Abzählbare und überabzählbare Mengen | Skript |
27. November | 4.1 Abzählbare und überabzählbare Mengen (Fortsetzung) | Skript |
29. November | 4.1 Abzählbare und überabzählbare Mengen (Fortsetzung) | Skript |
04. Dezember | 4.2 Abzählende Kombinatorik (Fortsetzung) 4.3 Algebraische Strukturen | Skript |
06. Dezember | 4.3.1 Halbgruppen, Monoide und Gruppen 4.3.2 Ringe und Körper | Skript |
11. Dezember | 4.3.2 Ringe und Körper (Fortsetzung) 4.3.3 Euklidischer Algorithmus und chinesischer Restsatz | Skript |
13. Dezember | 4.3.3 Euklidischer Algorithmus (Fortsetzung) 4.3.4 Chinesischer Restsatz | Skript |
18. Dezember | 4.3.5 RSA-Kryptosystem | Skript |
08. Januar | 5 Einführung in die mathematische Logik 5.1 Aussagenlogik 5.1.1 Syntax 5.1.2 Semantik | Skript |
10. Januar | 5.1.2 Semantik (Fortsetzung) \\5.1.3 Normalformen | Skript |
15. Januar | Besprechung der Probeklausur | |
17. Januar | Besprechung der Probeklausur | |
22. Januar | 5.1.4 Resolutionskalkül | Skript |
24. Januar | 5.1.4 Resolutionskalkül (Fortsetzung) 5.2 Prädikatenlogik 5.2.1 Signaturen und Strukturen | Skript |
29. Januar | 5.2.1 Signaturen und Strukturen (Fortsetzung) 5.2.2 Syntax 5.2.3 Semantik | Skript |
31. Januar | 5.2.3 Semantik (Fortsetzung) 5.2.4 Ausblick | Skript |
Für den Erhalt des Übungsscheins müssen insgesamt mindestens 50% der zu erreichenden Punkte bei den Übungsaufgaben erreicht werden und Lösungen von drei Aufgaben müssen im Laufe des Semesters erfolgreich in den Tutorien präsentiert werden. Eine Abgabe der Übungsaufgaben in Gruppen bis zu drei Studierenden ist möglich.
Wann | Wo | Turor | |
---|---|---|---|
1 | Montag 8:15 - 9:45 | AVZ III / A7a | Dennis den Brok |
2 | Montag 10:15 - 11:45 | AVZ III / A7a | Dennis den Brok |
3 | Montag 10:15 - 11:45 | AVZ III / A301 | Linus Boes |
4 | Montag 16:15 - 17:45 | AVZ III / A7a | Patrick Loka |
5 | Dienstag 16:15 - 17:45 | AVZ III / A6b | Pia Kullik |
6 | Mittwoch 8:15 - 9:45 | AVZ III / A7a | Katharina Bauer |
7 | Mittwoch 10:15 - 11:45 | AVZ III / A7a | Linus Boes |
8 | Mittwoch 14:15 - 15:45 | AVZ III / A7a | Pia Kullik |
9 | Mittwoch 14:15 - 15:45 | AVZ III / A301 | Klara Reichard |
10 | Mittwoch 16:15 - 17:45 | AVZ III / A301 | Klara Reichard |
11 | Donnerstag 14:15 - 15:45 | AVZ III / A7a | Katharina Bauer |
12 | Donnerstag 16:15 - 17:45 | AVZ III / A7a | Patrick Loka |
13 | Freitag 8:15 - 9:45 | vAVZ III / A301 | Tobias Brunsch |
14 | Freitag 10:15 - 11:45 | AVZ III / A301a | Tobias Brunsch |
15 | Freitag 12:15 - 13:45 | AVZ III / A7a | Tobias Brunsch |
16 | Freitag 14:15 - 15:45 | AVZ III / A7a | Tobias Brunsch |
Präsenzblatt (Besprechung in KW 42, keine Abgabe)
Übungsblatt 1 (Besprechung in KW 43, Abgabe bis 16.10., 14:00 Uhr, im Briefkasten in der Römerstraße)
Aufgabe 1.4 ist eine Zusatzaufgabe.
Übungsblatt 2 (Besprechung in KW 44, Abgabe bis 23.10., 14:00 Uhr, im Briefkasten in der Römerstraße) \\Die Aufgaben 2.2, 2.3 (b) und 2.4 sind Zusatzaufgaben.
Übungsblatt 3 (Besprechung in KW 45, Abgabe bis 30.10., 14:00 Uhr, im Briefkasten in der Römerstraße)
Aufgabe 3.4 (b) ist eine Zusatzaufgabe.
Übungsblatt 4 (Besprechung in KW 46, Abgabe bis 06.11., 14:00 Uhr, im Briefkasten in der Römerstraße)
Übungsblatt 5 (Besprechung in KW 47, Abgabe bis 13.11., 14:00 Uhr, im Briefkasten in der Römerstraße)
Übungsblatt 6 (Besprechung in KW 48, Abgabe bis 20.11., 14:00 Uhr, im Briefkasten in der Römerstraße)
Übungsblatt 7 (Besprechung in KW 49, Abgabe bis 27.11., 14:00 Uhr, im Briefkasten in der Römerstraße)
Übungsblatt 8 (Besprechung in KW 50, Abgabe bis 04.12., 14:00 Uhr, im Briefkasten in der Römerstraße)
Übungsblatt 9 (Besprechung in KW 51, Abgabe bis 11.12., 14:00 Uhr, im Briefkasten in der Römerstraße)
Übungsblatt 10 (Besprechung in KW 02, Abgabe bis 18.12., 14:00 Uhr, im Briefkasten in der Römerstraße)
Übungsblatt 11 (Besprechung in KW 03, Abgabe bis 08.01., 14:00 Uhr, im Briefkasten in der Römerstraße)
Übungsblatt 12 (Besprechung in KW 04, Abgabe bis 15.01., 14:00 Uhr, im Briefkasten in der Römerstraße)
Übungsblatt 13 (Besprechung in KW 05, Abgabe bis 22.01., 14:00 Uhr, im Briefkasten in der Römerstraße)
Die Inhalte der Vorlesung finden sich in diesem Skript, das während des Semesters kontinuierlich erweitert wurde.
Weitere empfohlene Literatur:
Literatur für die einzelnen Kapitel: