Vorlesung
Termine
Zeit | Raum | Termine | |
---|---|---|---|
Di 14:00–15:30 | V38.01 | wöchentlich ab 18.10.11 bis 31.01.12 | außer am 29.11. |
Do 14:00–15:30 | V38.01 | wöchentlich ab 20.10.11 bis 26.01.12 | außer am 17.11. und 22.12. |
Inhalt
Die ersten Vorlesungen sind dem ersten Kapitel aus Uwe Schönings Buch “Logik für Informatiker” gewidmet
(Aussagenlogik).
Vom 1. Dezember bis 20. Dezember wollen wir uns in erster Linie um die Prädikatenlogik der ersten
Stufe kümmern (Kapitel 2 im Schöning-Buch).
Der Rest des Semesters wird durch Diskrete Strukturen ausgefüllt.
Folien (nächste Vorlesung ist grün unterlegt):
Vorl. | Datum | Folien | Inhalt |
---|---|---|---|
1 | 18.10. | (PDF) | Wer sind wir? Was machen wir hier? Was ist Logik? |
2 | 20.10. | (PDF) | 1.1: Grundbegriffe (1. Teil) |
3 | 25.10. | (PDF) | 1.1: Grundbegriffe (2. Teil) |
4 | 27.10. | (PDF) | 1.2: Äquivalenz und Normalformen (1. Teil) |
01.11. | (Feiertag - keine Vorlesung) | ||
5 | 03.11. | (PDF) | 1.2: Äquivalenz und Normalformen (2. Teil) |
6 | 08.11. | (PDF) | 1.3: Hornformeln |
7 | 10.11. | (PDF) | 1.4: Endlichkeitssatz |
8 | 15.11. | (PDF) | 1.5: Resolution (1. Teil) |
17.11. | (Unitag - keine Vorlesung) | ||
9 | 22.11. | (PDF) | 1.5: Resolution (2. Teil) |
10 | 24.11. | (PDF) | 1.5: Resolution (3. Teil) |
29.11. | (keine Vorlesung) | ||
11 | 01.12. | (PDF) | 2.1: Grundbegriffe der Prädikatenlogik (1. Teil) |
12 | 06.12. | (PDF) | 2.1: Grundbegriffe der Prädikatenlogik (2. Teil) |
13 | 08.12. | (PDF) | 2.2: Normalformen (1. Teil) |
14 | 13.12. | (PDF) | 2.2: Normalformen (2. Teil) und 2.3: Unentscheidbarkeit |
15 | 15.12. | (PDF) | 2.4: Herbrand-Theorie |
16 | 20.12. | (PDF) | 2.5/2.6: Resolution |
22.12. | (keine Vorlesung) | ||
17 | 10.01. | (PDF) | Diskrete Strukturen: Modulo-Rechnen, Euklid'scher Algorithmus, Restklassenringe |
18 | 12.01. | (PDF) | Chinesischer Restsatz, Kleiner Satz von Fermat, RSA-Verfahren |
19 | 17.01. | (PDF) | Kombinatorik 1: Binomialkoeffizienten, kombinatorische Interpretation |
20 | 19.01. | (PDF) | Kombinatorik 2: Bubblesort, Entscheidungsbaum, untere Schranken |
21 | 24.01. | (PDF) | Graphen: Definitionen, Eulerwege und Eulerkreise, planare Graphen, Eulerformel |
22 | 26.01. | (PDF) | Anwendungen der Eulerformel, Cliquen und unabhängige Mengen, induzierter Teilgraph |
23 | 31.01. | (PDF) | Der Satz von Ramsey |
Ergänzungen
Übungen
Übungsgruppen
Die Übungen beginnen in der zweiten bzw. dritten Semesterwoche und finden jeweils alle 14 Tage statt.
Gruppe | Tutor | Zeit | Beginn | Raum | Besprechung | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Blatt 1 | Blatt 2 | Blatt 3 | Blatt 4 | Blatt 5 | Blatt 6 | Blatt 7 | |||||
1 | André Nusser | Di 9:45-11:15 | 25.10. | 0.447 | 25.10. | 8.11. | 22.11. | 6.12. | 20.12. | 17.01. | 31.01. |
2 | Tobias Walter | Di 9:45-11:15 | 25.10. | 0.457 | 25.10. | 8.11. | 22.11. | 6.12. | 20.12. | 17.01. | 31.01. |
3 | Jonathan Kausch | Mi 15:45-17:15 | 26.10 | 0.124 | 26.10. | 9.11. | 23.11. | 7.12. | 21.12. | 18.01. | 1.02. |
4 | Martin Seybold | Mi 15:45-17:15 | 26.10. | 0.363 | 26.10. | 9.11. | 23.11. | 7.12. | 21.12. | 18.01. | 1.02. |
5 | Thomas Mendel | Do 9:45-11:15 | 27.10. | 0.124 | 27.10. | 10.11. | 24.11. | 8.12. | 22.12. | 19.01. | 2.02. |
6 | Nataliya Donina | Do 11:30-13:00 | 27.10 | 0.447 | 27.10. | 10.11. | 24.11. | 8.12. | 22.12. | 19.01. | 2.02. |
7 | Andreas Bühler | Do 11:30-13:00 | 27.10 | 0.457 | 27.10. | 10.11. | 24.11. | 8.12. | 22.12. | 19.01. | 2.02. |
8 | Andreas Bühler | Do 8:00-9:30 | 27.10 | 0.124 | 27.10. | 10.11. | 24.11. | 8.12. | 22.12. | 19.01. | 2.02. |
9 | André Nusser | Di 9:45-11:15 | 1.11. | 0.447 | 25.10. | 15.11. | 29.11. | 13.12. | 10.01. | 24.01. | 7.02. |
10 | Jonathan Kausch | Mi 15:45-17:15 | 2.11 | 0.124 | 2.11. | 16.11. | 30.11. | 14.12. | 11.01. | 25.01. | 8.02. |
11 | Martin Seybold | Mi 15:45-17:15 | 2.11. | 0.363 | 2.11. | 16.11. | 30.11. | 14.12. | 11.01. | 25.01. | 8.02. |
12 | Thomas Mendel | Do 9:45-11:15 | 3.11. | 0.124 | 3.11. | 17.11. | 1.12. | 15.12. | 12.01. | 26.01. | 9.02. |
13 | Nataliya Donina | Do 11:30-13:00 | 3.11 | 0.447 | 3.11. | 17.11. | 1.12. | 15.12. | 12.01. | 26.01. | 9.02. |
14 | Andreas Bühler | Do 11:30-13:00 | 3.11 | 0.457 | 3.11. | 17.11. | 1.12. | 15.12. | 12.01. | 26.01. | 9.02. |
Wegen der hohen Zahl an Anmeldungen dürfen alle Nachrücker normal an ihrer Übungsgruppe teilnehmen.
Die Anmeldung zu den Übungen ist abgeschlossen. Wenn Sie an den Übungen teilnehmen wollen, aber noch in keiner Übungsgruppe eingetragen sind, melden Sie sich beim Übungsleiter.
Übungsblätter
- Blatt 1 (PDF)
- Blatt 2 (PDF) Die auf den ausgedruckten Blättern gekennzeichneten Präsenzübungen sind Votierübungen. F1,…,Fk |= G bedeutet, dass G Folgerung von F1,…,Fk ist.
- Blatt 3 (PDF)
- Blatt 4 (PDF)
- Blatt 5 (PDF)
- Blatt 6 (PDF) Die Klammerung bei Aufgabe 3b ist falsch. Die Quantoren sollen alle Variablen binden.
- Blatt 7 (PDF)
Das aktuelle und, falls noch vorhanden, ältere Übungsblätter finden Sie in ausgedruckter Form bei den Abgabekästen im 1. Stock des Informatikgebäudes.
Scheine (neu)
Eine Liste aller Studenten, die einen Schein in “Logik und Diskrete Strukturen” erhalten, hängt am schwarzen Brett des FMI aus (zwischen Raum 1.101 und 1.105). Die Scheine in Papierform können im Raum 1.117 abgeholt werden.
- Mindestens 50% der Punkte in den Hausübungen während des gesamten Semesters.
- Mindestens 50% der Votierpunkte während des gesamten Semesters.
- regelmäßige (mindestens 80% Anwesenheit) und aktive Übungsgruppenteilnahme.
Hinweis: Um an der Modulprüfung Theoretische Grundlagen der Informatik teilzunehmen, benötigen Sie einen Übungsschein in Logik und Diskrete Strukturen oder in Formale Sprachen und Automatentheorie (Vorlesung im 2. Semester).
Weihnachtsmarkt
Am 12.12. sind alle Studenten herzlich eingeladen, gemeinsam mit den Tutoren auf dems
Stuttgarter Weihnachtsmarkt Glühwein zu trinken.
Treffpunkt (1): Nordausgang des Informatikgebäudes (vor der Fachschaft) um 17:30 Uhr.
Treffpunkt (2): Das Ende der Schulstraße beim Marktplatz - siehe hier - um 18:00 Uhr.
Literatur
Logik:
- Uwe Schöning: Logik für Informatiker. 5. Auflage, Spektrum Akad. Verlag, 2000.
Diskrete Strukturen:
- Ronald L. Graham, Donald E. Knuth, Oren Patashnik: Concrete Mathematics. 2. Auflage, Addison-Wesley, 1994.
- Angelika Steger: Diskrete Strukturen. Band 1, Springer, 2001.
- J. K. Truss: Discrete Mathematics. 2. Auflage, Addison-Wesley, 1999.