Uni-Logo

This page is only available in German.

Handlungsplanung - Vorlesungen

Nr. Datum Thema Folien Letzte Änderung
0. Fr, 27.10.2006 Einführung (Bildschirm) (Drucker) (Drucker; 4-auf-1)
1. Fr, 03.11.2006 Transitionssysteme (Bildschirm) (Drucker) (Drucker; 4-auf-1)
2. Mi, 08.11.2006
Fr, 10.11.2006
Mi, 15.11.2006
Planen als Zustandsraumsuche (Bildschirm) (Drucker) (Drucker; 4-auf-1)
3. Mi, 15.11.2006
Fr, 17.11.2006
Mi, 22.11.2006
Planen durch heuristische Suche (Bildschirm) (Drucker) (Drucker; 4-auf-1) Mi, 29.11.2006
4. Fr, 24.11.2006
Mi, 29.11.2006
Planen durch Erfüllbarkeitstests (Bildschirm) (Drucker) (Drucker; 4-auf-1) Fr, 08.12.2006
5. Fr, 01.12.2006
Mi, 06.12.2006
Fr, 08.12.2006
Invarianten (Bildschirm) (Drucker) (Drucker; 4-auf-1) Mi, 06.12.2006
6. Fr, 08.12.2006
Mi, 13.12.2006
Planen mit binären Entscheidungsdiagrammen (Bildschirm) (Drucker) (Drucker; 4-auf-1) Mi, 13.12.2006
7. Fr, 15.12.2006
Fr, 22.12.2006
Komplexität (Bildschirm) (Drucker) (Drucker; 4-auf-1) Fr, 26.01.2007
8. Mi, 10.01.2007 Ausdrucksstärke (Bildschirm) (Drucker) (Drucker; 4-auf-1) Mi, 10.01.2007
9. Fr, 12.01.2007
Mi, 17.01.2007
Nichtdeterministisches Planen (Bildschirm) (Drucker) (Drucker; 4-auf-1) Mi, 17.01.2007
10. Mi, 17.01.2007
Fr, 19.01.2007
Mi, 24.01.2007
Starkes nichtdeterministisches Planen
mit voller Beobachtbarkeit
(Bildschirm) (Drucker) (Drucker; 4-auf-1) Fr, 19.01.2007
11. Mi, 24.01.2007 Starkes zyklisches nichtdeterministisches Planen
mit voller Beobachtbarkeit
(Bildschirm) (Drucker) (Drucker; 4-auf-1) Di, 13.02.2007
12. Fr, 26.01.2007 Komplexität des nichtdeterministischen Planens
mit voller Beobachtbarkeit
(Bildschirm) (Drucker) (Drucker; 4-auf-1)
13. Mi, 31.01.2007 Konformantes Planen (Bildschirm) (Drucker) (Drucker; 4-auf-1)
14. Fr, 02.02.2007 Komplexität des konformanten Planens (Bildschirm) (Drucker) (Drucker; 4-auf-1) Do, 08.02.2007
15. Mi, 07.02.2007 Nichtdeterministisches Planen mit partieller Beobachtbarkeit (Bildschirm) (Drucker) (Drucker; 4-auf-1) Mi, 07.02.2007
16. Fr, 09.02.2007 Komplexität des nichtdeterministischen Planens
mit partieller Beobachtbarkeit
(Bildschirm) (Drucker) (Drucker; 4-auf-1) Fr, 09.02.2007

Folien mit den Präsentationen der Arbeitsgebiete und Themen für Studien- und Abschlussarbeiten:

Probleme beim Ausdrucken der Folien

Bei manchen Druckern sind Vorder- und Rückseite der 4-auf-1-Folien im Duplexmodus falsch orientiert. Da die Orientierung von Vorder- und Rückseite bei Vorlagen im Querformat druckertreiberabhängig ist, gibt es leider keine Lösung, die immer funktioniert. Falls die Rückseite "auf dem Kopf" gedruckt wird, helfen (unter Linux/UNIX) eventuell folgende Kommandos (folien4.pdf ist dabei die Datei mit den Folien, printer der Name des Druckers):

pdf2ps folien4.pdf
grep -v "^%%Orientation" folien4.ps | lpr -Pprinter

Alternativ kann man die angepassten Folien auch in eine zweite Datei ausgabe.ps schreiben, um diese später zu drucken:

pdf2ps folien4.pdf
grep -v "^%%Orientation" folien4.ps > ausgabe.ps