Zur Startseite der Abteilung Theoretische Informatik

Logik und Diskrete Strukturen (WS 2011/12)

Termine

ZeitRaumTermine
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

Ü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

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.

Scheinkriterien

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