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