11.08.05: Vorläufige Klausurergebnisse hängen neben Raum 34/420.
08.08.05: Termin für die Einischtnahme der ersten Abschlussklausur
(siehe unten).
27.07.05: Termin für die erste Abschlussklausur (siehe Erste
Abschlussklausur/Termin).
26.07.05: Neue Zusatzübung (siehe
Übungen/Zusatzübungen).
19.07.05: Neue Zusatzübung (siehe
Übungen/Zusatzübungen).
19.07.05: Neuer Raum 34-419 für die Fragestunde am 20.07.05. (siehe
Übungen/Fragestunden).
12.07.05: Neue Fragestunde (siehe
Übungen/Fragestunden).
08.07.05: Neue Fragestunde (siehe
Übungen/Fragestunden) und neue Folien (siehe Vorlesung/Folien).
29.06.05: Neue Fragestunde (siehe
Übungen/Fragestunden).
29.06.05: Fragen zum Vorlesungstoff bzw. zu den Übungen könnt ihr auch
direkt per Email an euer Übungsgruppenleiter stellen (siehe
Übungen/Fragestunden).
29.06.05: Abgaben in den Übungen möglich (siehe Übungen/Ausgabe/Abgabe)
Grundlagen der Theoretischen Informatik: Einführung in die Semantik von Programmiersprachen (Hoaresches Kalkül), Berechenbarkeit (Modelle der Programmierung, algorithmische Unlösbarkeit, Reduzierbarkeit) und Theorie und Anwendungen formaler Sprachen.
Brookshear, J. Glenn , Theory of Computation: Formal
Languages, Automata, and Complexity, Benjamin/Cummings,
1989. Signatur: INF 330/069.
Dijkstra, Edsger W., A discipline of programming,
Englewood Cliffs, NJ : Prentice-Hall, 1976. - XVII, 217 S.; (engl.)
(Prentice-Hall series in automatic computation), 1976, Signatur: INF
410/100, L inf 312 (für Kapitel 'Programmverifikation')
Ebbinghaus, Heinz-Dieter; Flum, Jörg ; Thomas, Wolfgang,
Einführung in die mathematische Logik, Spektrum
Akademischer Verlag, 1996. Signatur: MAT Ebb., (für Kapitel 'Logik')
Enderton, Herbert B. , A mathematical introduction to
logic 10. print.. - Boston : Acad. Pr., 1991. - XIII, 295 S.,
Signatur: INF 220/039 (für Kapitel 'Logik')
Hopcroft, John E. , Einführung in die Automatentheorie,
formale Sprachen und Komplexitätstheorie / John E. Hopcroft ;
Jeffrey D. Ullman. - 2. Aufl.. - Bonn : Addison-Wesley, 1990.,
Signatur INF 330/018 (für Kapitel 'Chomsky-Hierarchie, Formale
Sprachen')
Loeckx, Jacques; Sieber, Kurt; The foundations of program
verification, Stuttgart : Teubner, 1984. - IX, 230 S.
(Wiley-Teubner series in computer science), 1984, Signatur: INF
425/065, L inf 270 (für Kapitel 'Programmverifikation')
31.05.05, Di, 11:45 - 13:15, 34-420, Frank Weinberg
02.06.05, Do, 10:00 - 11:30, 11-205, Frank Weinberg
Fragestunden: In einer Fragestunde könnt ihr euch mit euren
speziellen Fragen zur Vorlesung und zu den Übungsaufgaben direkt an
den jeweils angegebenen Übungsgruppenbleiter wenden. Dieser ist im
entsprechenden Zeitraum für euch ansprechbar und kann auf eure Fragen
eingehen. Ihr könnt ebenfalls Fragen per Email an eure
Übungsgruppenleiter stellen.
20.07.05: Mi, 15:30 - 17:00, 34-419, Andreas Rumpf
05.07.05: Di, 13:00 - 14:00, 48-467 (Fachschaft Informatik), Frank Weinberg
Ausgabe/Abgabe: Die Übungsblätter werden jeweils dienstags
auf der Vorlesungsseite veröffentlicht. Abgabetermin: Dienstag, bis
spätestens 13:45 Uhr bzw. direkt in eurer Übung (in diesem Fall
Korrektur eine Woche später). Werft eure Abgaben bitte in unseren
Übungskasten (Treppenaufgang zwischen Gebäude 34 und 32, direkt neben
Raum 34/401.4)
