Betrifft die Veranstaltungen:
Automaten und Komplexität (AUK)
Theoretische Grundlagen der Informatik (TGP)
Modelle für Rechensysteme (MfR)

Veranstalter: Matthias Jantzen (nach Unterlagen von Michael Köhler)

Informationen zum Kompakt-Kurs

Der Kompakt-Kurs findet in der Zeit vom 22. Juli bis zum 2. August, von 9:00 bis ca. 15:00   jeweils Montags bis Freitags in Raum C-221 statt. Pausen sind von 10:30 bis 11:15 sowie 12:30 bis 13:30 vorgesehen, so dass ein täglicher Zeitaufwand von etwa 90 + 75 + 90 = 225 Minuten, entsprechend 5,67 Stunden je 45 Minuten entsteht.

Der Besuch des Kompakt-Kurses ist freiwillig, aber die wöchentliche Teilnahme sollte nicht unterbrochen werden.

An allen 5 Wochentagen werden Vorträge des Veranstalters mit offener Plenumsdiskussion im Wechsel mit betreuter Gruppenarbeit stattfinden. Ein grobes Planungsgerüst finden Sie unten angegeben. Die Darstellungsreihenfolge weicht leicht von den Skripten zu TGP und MfR ab, behandelt aber stets nur den prüfungsrelevanten Stoff. Zu AUK ist nur die erste Woche wichtig ist! Stoff zu PNL ist in der zweiten Woche etwas aber insgesamt zu wenig enthalten. Eine Vor- und Nachbereitung wird vor Beginn des Kurses und am Wochenende dazwischen erwartet!

Montag 22.07.

Turingmaschinen, Berechen- und Entscheidbarkeit, Chomsky-Hierarchie

Dienstag 23.07.

erweiterte Automatenmodelle, abstrakte Theorie formaler Sprachen

Mittwoch 24.07.

RAM, PRAM, Kommunikationsnetzwerke

Donnerstag 25.07.

Komplexitätstheorie,

Freitag 26.07.

Analyse von Algorithmen, Kryptographie,

Montag 29.07.

Allgemeine Netz-Theorie: S/T Netze, Erreichbarkeit

Dienstag 30.07.

Invarianten, Lebendigkeit, Fairness

Mittwoch 31.07.

Nebenläufige Prozesse: Sequentialisierung, Funktionalität

Donnerstag 01.08.

Stochastische Modelle: Markovketten,

Freitag 02.08.

Wartenetze und -systeme, Bedienstrategien

Als Unterlagen stehen Texte zur Verfügung, die unter folgenden url's geladen werden können:
http://www2.informatik.uni-hamburg.de/tgi/lehre/vl/SS00/TGP00/TGP.html (Übungsaufgaben und Musterlösungen zu TGP SS 2000)
http://www2.informatik.uni-hamburg.de/tgi/lehre/vl/WS9900/MfR/uebloes.ps (Übungsaufgaben und Musterlösungen zu MfR WS 1999/2000, Postscript-file)
http://www2.informatik.uni-hamburg.de/tgi/mitarbeiter/wimis/koehler/tgp1.ps.gz
http://www2.informatik.uni-hamburg.de/tgi/mitarbeiter/wimis/koehler/mfr1.ps.gz (Anmerkungen zur Vorlesung TGP und Anmerkungen zur Vorlesung MfR)