Zur Startseite der Abteilung Theoretische Informatik

Termine

ZeitRaumTermine
Di 17:30–19:00 V47.01 wöchtl. ab 22.10.13 bis 28.01.14 außer vom 03.12.13 bis 07.01.14
Do 15:45–17:15 V47.01 wöchtl. ab 17.10.13 bis 06.02.14 außer 19.12.13 bis 02.01.14

Die Scheinklausur (Multiple-Choice-Test) findet am 30.01. zum normalen Vorlesungstermin statt. Dauer ca. 60 Min. Es sind keine Hilfsmittel erlaubt.

Die Scheinliste sowie die Ergebnisse der Scheinklausur hängen neben Raum 1.101 aus. Bitte informieren Sie sich dort, ob Sie die Scheinbedingungen erfüllt haben.

Inhalt

Die ersten Vorlesungen sind dem ersten Kapitel aus Uwe Schönings Buch "Logik für Informatiker" gewidmet (Aussagenlogik).
Danach 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.

Vorlesungsplan und Folien

Die nächste Vorlesung ist stets grün unterlegt.

Die Folien mit den in der Vorlesung eingetragenen Ergänzungen werden jeweils nach der Vorlesung hier eingefügt. Die vorher zugreifbaren Folien (pdf-alt) sind vom Vorjahr.

Vorl.DatumFolienInhalt
1 17.10. pdf Wer sind wir? Was machen wir hier? Was ist Logik?
2 22.10. pdf 1.1: Grundbegriffe (1. Teil)
3 24.10. pdf 1.1: Grundbegriffe (2. Teil)
4 29.10. pdf 1.2: Äquivalenz und Normalformen (1. Teil)
5 31.10. pdf 1.2: Äquivalenz und Normalformen (2. Teil)
6 5.11. pdf 1.3: Hornformeln
7 7.11. pdf 1.4: Endlichkeitssatz
8 12.11. pdf 1.5: Resolution (1. Teil)
9 14.11. pdf 1.5: Resolution (2. Teil)
10 19.11. pdf 1.5: Resolution (3. Teil)
11 21.11. pdf 2.1: Grundbegriffe der Prädikatenlogik (1. Teil)
12 26.11. pdf 2.1: Grundbegriffe der Prädikatenlogik (2. Teil)
13 28.11. pdf 2.2: Normalformen (1. Teil)
14 5.12. pdf 2.2: Normalformen (2. Teil) und 2.3: Unentscheidbarkeit
15 12.12. pdf 2.4: Herbrand-Theorie
16 9.1. pdf 2.5/2.6: Resolution  (und Vorlesungsumfrage!)
17 14.1. pdf Diskr. Strukturen: Modulo-Rechnen, Euklid's Algorithmus, Restklassenringe
18 16.1. pdf Chinesischer Restsatz, Kleiner Satz von Fermat, RSA-Verfahren
19 21.1. pdf Diskrete Wahrscheinlichkeitsrechnung
20 23.1. pdf Kombinatorik 1: Binomialkoeffizienten, kombinatorische Interpretation, Bubblesort
21 28.1. pdf Kombinatorik 2: Entscheidungsbaum, untere Schranken, Graphen, Eulerwege und Eulerkreise
  30.1.   Scheinklausur
22 6.2. pdf Planare Graphen, Eulerformel, Cliquen, Satz von Ramsey

Übungen

Armin Weiß

Die Anmeldung zu den Übungen erfolgt über die Webseite https://uebungsgruppen.informatik.uni-stuttgart.de/. Benutzername und Passwort werden in der ersten Vorlesung bekannt gegeben.

Übungsgruppen

Die Übungen beginnen in der zweiten bzw. dritten Semesterwoche und finden jeweils alle 14 Tage statt.

GruppeTutorZeitRaumBesprechung
Blatt 1Blatt 2Blatt 3Blatt 4Blatt 5Blatt 6Blatt 7
1 L. Sauer Do 11:30-13:00 0.124  24.10.  07.11. 21.11.  05.12.  19.12. 16.1.  30.1. 
2 F. Hartmann Do 11:30-13:00 0.447 24.10. 07.11. 21.11. 05.12. 19.12. 16.1. 30.1.
3 D. Maurer Do 14:00-15:30 0.124 24.10. 07.11. 21.11. 05.12. 19.12. 16.1. 30.1.
4 F. Hartmann Do 14:00-15:30 0.463 24.10. 07.11. 21.11. 05.12. 19.12. 16.1. 30.1.
5 M. Reingruber Fr 9:45-11:15 0.124 25.10. 08.11. 22.11. 06.12. 20.12. 17.1. 31.1.
6 G. Jagfeld Fr 9:45-11:15 0.447 25.10. 08.11. 22.11. 06.12. 20.12. 17.1. 31.1.
7 N. Mendel Fr 11:30-13:00 0.108 25.10. 08.11. 22.11. 06.12. 20.12. 17.1. 31.1.
8 C. Weisser Fr 11:30-13:00 0.118 25.10. 08.11. 22.11. 06.12. 20.12. 17.1. 31.1.
9 M. Reingruber Fr 11:30-13:00 0.124 25.10. 08.11. 22.11. 06.12. 20.12. 17.1. 31.1.
10 C. Weisser Do 11:30-13:00 0.124 31.10. 14.11. 28.11. 12.12. 9.1. 23.1. 6.2.
11 F. Hartmann Do 11:30-13:00 0.447 31.10. 14.11. 28.11. 12.12. 9.1. 23.1. 6.2.
12 A. Weiß Do 14:00-15:30 0.124 31.10. 14.11. 28.11. 12.12. 9.1. 23.1. 6.2.
13 F. Hartmann Do 14:00-15:30 0.463 31.10. 14.11. 28.11. 12.12. 9.1. 23.1. 6.2.
14 M. Reingruber Fr 9:45-11:15 0.124 31.10.* 15.11. 29.11. 13.12. 10.1. 24.1. 7.2.
15 N. Mendel Fr 11:30-13:00 0.108 31.10.* 15.11. 29.11. 13.12. 10.1. 24.1. 7.2.
16 C. Weisser Fr 11:30-13:00 0.118 31.10.* 15.11. 29.11. 13.12. 10.1. 24.1. 7.2.
17 M. Reingruber Fr 11:30-13:00 0.124 31.10.* 15.11. 29.11. 13.12. 10.1. 24.1. 7.2.

*Ausweichtermine:

Gruppe 14: Do 31.10. 11:30 in Raum 0.118
Gruppe 15: Do 31.10. 11:30 in Raum 0.453
Gruppe 16: Do 31.10. 14:00 in Raum 0.447
Gruppe 17: Do 31.10. 14:00 in Raum 0.457

Scheinkriterien

  • Bestehen des Multiple-Choice-Tests (am 30.01.2014).
  • Mindestens 50% der Punkte in den schriftlichen Abgaben während des gesamten Semesters.
  • Mindestens 50% der Votierpunkte während des gesamten Semesters.
  • Regelmäßige Anwesenheit und aktiveTeilnahme an den Übungsgruppen (mindestens einmal vorrechnen).

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

Um an der Modulprüfung Logik und diskrete Strukturen teilzunehmen, benötigen Sie den Übungsschein in Logik und Diskrete Strukturen.


Weihnachtsmarkt

Am 17.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.
  • Volker Diekert, Manfred Kufleitner, Gerhard Rosenberger: Elemente der Diskreten Mathematik. Walter de Gruyter, 2013.