Kompakt-Kurs Theorie  
LV-Nr. 18.239

Zur Prüfungsvorbereitung nach alter und neuer DPO


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://www.informatik.uni-hamburg.de/TGI/lehre/vl/SS00/TGP00/TGP.html (Übungsaufgaben und Musterlösungen zu TGP SS 2000)
http://www.informatik.uni-hamburg.de/TGI/lehre/vl/WS9900/MfR/uebloes.ps (Übungsaufgaben und Musterlösungen zu MfR WS 1999/2000, Postscript-file)
http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/wimis/koehler/tgp1.ps.gz
http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/wimis/koehler/mfr1.ps.gz (Anmerkungen zur Vorlesung TGP und Anmerkungen zur Vorlesung MfR)




File translated from TEX by TTH, version 3.05.
On 4 Jun 2002, 16:48.