Grundlagen der Theoretischen Informatik - alt

 


Lehrveranstaltungen


 

Grundlagen der Theoretischen Informatik


Allgemeines Übungsblätter Material zur Vorlesung Kurzbeschreibung Literatur




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






Allgemeines:

Stundentausch:
Am Dienstag, 11.1.05, findet die Veranstaltung für alle gemeinsam um 14 Uhr c.t. in Raum 33/1231statt.


Übungsbetrieb ab 18.1.05, Ausgabe des ersten Übungsblattes am 11.1.05, Beginn der Übungsstunden jeweils s.t.
Am Dienstag, 22.3.05, findet die Übung für alle gemeinsam um 14 Uhr s.t. in Raum 33/2111statt.


Gruppe INF I 14-15 Raum 2116
Gruppe INF II 14-15 Raum 2111
Gruppe INF III 15-16 Raum 2111
Gruppe WINF 15-16 Raum 2116

 



Vorlesungsnotizen / Skript:


GThI05 Seiten 1-4 GThI05 Seiten 5-8 GThI05 Seiten 9-12 GThI05 Seiten 13-16
GThI05 Seiten 17-20 GThI05 Seiten 21-24 Dreimal "Syntax / Semantik" GThI05 Seiten 25-28
GThI05 Seiten 29-32 GThI05 Seiten 33-36 GThI05 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 Blatt 7 + Blatt8 Lösung Blatt 9








Kurzbeschreibung:

Aufbauend auf der Vorlesung "Einführung in die Diskrete Mathematik" werden mathematisch-strukturelle Grundlagen der Theoretischen Informatik vermittelt. Zugleich wird eine kurze Einführung in die Hauptgebiete der Theoretischen Informatik gegeben. Inhalte sind insbesondere:
  • Signaturen und Algebren
  • Terme und strukturelle Induktion
  • Prädikatenlogik erster Stufe, einschließlich eines Logikkalküls
  • Graphen und Zustandsübergangsdiagramme
  • Grundbegriffe aus der Theorie formaler Sprachen und der Berechenbarkeitstheorie




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.
    J. Gallier. Logic for Computer Science.
  • 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