Universität Konstanz Logo
Fachbereich Informatik und Informationswissenschaft   Theoretische Informatik


Termine
Aufgaben
Skript
Infos

Materialien zur Vorlesung
Theoretische Grundlagen der Informatik

++Aktuell++

Die Termine für die Klausuren sind nun unten aufgelistet.

Letztes Übungsblatt

 

 
Auf dieser Seite werden alle wichtigen Mitteilungen im Zusammenhang mit der Vorlesung Theoretische Grundlagen der Informatik von Dr. Ulrik Brandes gesammelt.

 Termine
 
Vorlesung: (U. Brandes)
    Mo  10:00 - 11:30 Uhr, D 406
    Do  12:30 - 14:00 Uhr, R 512
    
Übung: (S. Cornelsen, T. Schank)
    Mi 12:30 - 14:00 Uhr, H 307 
    Mi 14:15 - 15:45 Uhr, A 702
    
Klausur:
    1. Termin: Mo 23. Juli,    10:00 - 12:00 Uhr, G 300
    2. Termin: Fr  5. Oktober, 10:00 - 12:00 Uhr, D 434
    
Zum Seitenanfang

 Übungsblätter
 
Übungsblätter werden montags in der Vorlesung ausgegeben, sind aber auch im Vorraum des Sekretariats (Raum E 212) erhältlich.

Die Aufgaben sind innnerhalb einer Woche zu bearbeiten, und werden als schriftliche Ausarbeitungen im Vorraum des Sekretariats (Raum E 212) abgegeben. Die Besprechung der Aufgaben und die Rückgabe der korrigierten und mit Punkten bewerteten Abgaben erfolgt in der Übung. Zur Klausur zugelassen wird nur, wer mindestens die Hälfte der insgesamt möglichen Punkte erreicht und sich aktiv an den Übungen beteiligt.

Alle Aufgaben können und sollen in Zweiergruppen abgegeben werden.

 
>

0. Übungsblatt (ausgegeben am 26. April 2001)
(präfixfreie) Sprachen
deterministische endliche Automaten

 
>

1. Übungsblatt (ausgegeben am 30. April 2001)
reguläre Ausdrücke und Sprachen
Mealy-Automat
nichtdeterministische endliche Automaten

 
>

2. Übungsblatt (ausgegeben am 7. Mai 2001)
endliche Automaten

 
>

3. Übungsblatt (ausgegeben am 14. Mai 2001)
Äquivalenzklassenautomat
Neroderelation
Klammerausdrücke

 
>

4. Übungsblatt (ausgegeben am 21. Mai 2001)
Pumping Lemma
Eindeutigkeit zustandsminimaler DEA's
Pattern-Matching

 
>

5. Übungsblatt (ausgegeben am 28. Mai 2001)
Pumping Lemma
Palindrome
kontextfreie Grammatiken

 
>

6. Übungsblatt
Chomsky-Normalform
CYK-Algorithmus
mehrdeutige Grammatik

 
>

7. Übungsblatt (ausgegeben am 11. Juni 2001)
Kellerautomaten

 
>

8. Übungsblatt (ausgegeben am 17. Juni 2001)
Pumping Lemma
deterministische Kellerautomaten

 
>

9. Übungsblatt (ausgegeben am 25. Juni 2001)
deterministisch kontextfreie Sprachen
rechtslineare Grammatiken
kontextsensitive Sprachen
Turingmaschinen

 
>

10. Übungsblatt (ausgegeben am 2. Juli 2001)
Turingmaschinen
Entscheidbarkeit

 
>

Letztes Übungsblatt (ausgegeben am 9. Juli 2001)
Entscheidbarkeit
Berechenbarkeit

 
Zum Seitenanfang

 Skript
 
Zu der entsprechenden Vorlesung in den vergangenen Semestern wurde ein Skript erstellt. Es steht als Postscript-Datei zur Verfügung.
Zum Seitenanfang

 Weitere Informationen
 
> Gruppeneinteilung (nur für Gruppe ti_S01)
 
An dieser Stelle werden weitere für die Vorlesung benötigte Informationen bereitgestellt.
Zum Seitenanfang


© 2000 Universität Konstanz, Sabine Cornelsen · letzte Änderung  19.07.2016