Grundlagen der Theortischen Informatik

 


Lehrveranstaltungen


 

Grundlagen der Theoretischen Informatik


Allgemeines Übungsblätter Material zur Vorlesung Literatur




Die Seite mit Material zu GThI-WT02 ist nun hier.
Die Seite mit Material zu GThI-FT03 ist nun hier.


Nächste Sprechstunde zu GThI04/FSA04:
Mo, 11.4.05, 15 Uhr, voraussichtlich Raum 41 / 1414
Anmeldung per Email (zur Abschätzung von Zeit- und Raumbedarf) bis 8.4.05 erforderlich!




Allgemeines:

Stundentausch:
Am Dienstag, 13.1.04, findet (statt der Übungsstunden) von 14 bis 16 Uhr in Raum 1101 Vorlesung statt.
Dafür wird am Freitag, 26.3.04, statt Vorlesung eine Übungsstunde abgehalten.


Übungsbetrieb ab 20.1.04, Ausgabe des ersten Übungsblattes am 13.1.04, Beginn der Übungsstunden jeweils s.t.


Gruppe INF I Elbl 14-15 Raum 2431
Gruppe INF II Iwan 14-15 Raum 36/01152
Gruppe INF III Iwan 15-16 Raum 36/01152
Gruppe WINF Elbl 15-16 Raum 2431


Zeit- und Raumeinteilung für die Übung am 26.3.:
Gruppe INF I Elbl 10-11 Raum 0401
Gruppe INF II Iwan 10-11 Raum 36/01152
Gruppe INF III Iwan 11-12 Raum 36/01152
Gruppe WINF Elbl 11-12 Raum 0401


Die letzte Übungsstunde (am 30.3.) findet für alle Gruppen gemeinsam um 14 c.t. in Raum 0101 statt.
 



Vorlesungsnotizen / Skript:



GThI04 Seiten 1-4 GThI04 Seiten 5-8 GThI04 Seiten 9-12 GThI04 Seiten 13-16
GThI04 Seiten 17-20 GThI04 Seiten 21-24 (verbessert) GThI04 Seiten 25-28 GThI04 Seiten 29-32
GThI04 Seiten 33-36 GThI04 Seiten 37-40 Folien zu Abschnitt 8 Folien zu Abschnitt 9






(Inhalt der Folien zu den Abschnitten 8,9 jeweils in "schlichter" Fassung (dunkel auf hell, unanimiert)





Übungsaufgaben:

 

Übungsblatt 1 Übungsblatt 2 Übungsblatt 3
Übungsblatt 4 Übungsblatt 5 Übungsblatt 6
Übungsblatt 7 Übungsblatt 8 Letztes Blatt





 
 
 

Lösung zu Aufgabe 15 b Wiederholungsaufgaben







DVP-Klausur Januar 2005






Literatur:

  • zu Abschnitten 1,2:
    H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, Ph. Zeitz. Mathematisch-strukturelle Grundlagen der Informatik. Springer, 2. Auflage 2001.
  • zu Abschnitten 4,5:
    V. Sperschneider, G. Antoniou. Logic - A Foundation for Computer Science. Addison-Wesley Publishing Company 1991.
  • zu Abschnitten 3,6,8 (auch teilweise 7,9):
    U. Schöning. Theoretische Informatik - kurzgefaßt. Spektrum Akademischer Verlag, 3. Auflage 1997.
  • zu Abschnitten 7,9:
    W. Pohlers. Mathematische Grundlagen der Informatik. Handbuch der Informatik Band 1.5. Oldenbourg Verlag 1993.


Weitere Informationen zu Lehrveranstaltungen unseres Instituts

Institut für Theoretische Informatik und Mathematik 


Birgit Elbl