Lehrangebot der Abteilung
Automaten und Sprachen
Sommersemester 2002
- Berechenbarkeit und Komplexität
- Übung: (R.Hartwig) montags, 09.15-10.45 Uhr, A Woche, SG 3-07
- Übung: (R.Hartwig) montags, 09.15-10.45 Uhr, B Woche, SG 3-07
- Semantik von Programmiersprachen [dazu Skript]
- Vorlesung: (S.Gerber) montags, 11.15-12.45 Uhr, H 8
- Algorithmen und Datenstrukturen
- Übung: (H.-P.Schötz) montags, 13.15-14.45 Uhr, B Woche, SG 3-03
- Übung: (H.-P.Schötz) freitags, 09.15-10.45 Uhr, B Woche, SG 3-35
- Logik [dazu Skript & Übungsaufgaben]
- Vorlesung: (S.Gerber) montags, 15.15-16.45 Uhr, H 19
- Übung: (U.Graichen) dienstags, 13.15-14.45 Uhr, A Woche, SG 3-07
- Übung: (U.Graichen) dienstags, 13.15-14.45 Uhr, B Woche, SG 3-07
- Übung: (U.Graichen) dienstags, 15.15-16.45 Uhr, A Woche, SG 3-07
- Übung: (U.Graichen) dienstags, 15.15-16.45 Uhr, B Woche, SG 3-07
- Übung: (R.Hartwig) donnerstags, 09.15-10.45 Uhr, A Woche, SG 3-07
- Übung: (R.Hartwig) donnerstags, 09.15-10.45 Uhr, B Woche, SG 3-07
- Übung: (R.Hartwig) freitags, 09.15-10.45 Uhr, A Woche, SG 3-07
- Übung: (R.Hartwig) freitags, 09.15-10.45 Uhr, B Woche, SG 3-07
- Theorie-Seminar
(S.Gerber, H.Herre)
- dienstags, 13.15-14.45 Uhr, HG 3-68
- Automate und Formale Sprachen für Bäume, Bilder und andere Strukturen
- Vorlesung: (J.Waldmann) mittwochs, 9.15-10.45 Uhr, SG 4-100
- Grundlagen der Programmverifikation
- Vorlesung: (R.Hartwig) freitags, 07.30-09.00 Uhr, H 7
-
Funktionale Programmierung I [dazu Skript]
- Vorlesung: (S.Gerber) freitags, 11.15-12.45 Uhr, H 21
Durchgeführte Lehrveranstaltungen:
[WS 01/02]
[SS 01]
[WS 00/01]
[SS 00] [WS 99/00]
[SS 99]
[WS 98/99] [SS 98]
[WS 97/98]
[SS 97]
[WS 96/97]
[SS 96]
Seitenbetreuer: S. Kotkowskij,
31. 05. 2002