Go up to Top Go forward to Klausur

Hinweise zu den Dateiformaten

Für das Lesen von PDF Dokumenten benötigen Sie den Acrobat Reader; PostScript Dokumente können mit Aladdin Ghostscript, Ghostview und GSview gelesen werden. Für das Experimentieren mit dem Logic Evaluator muß Ihr Browser Java applets ausführen können.

Hinweise für MS Windows Benutzer:

Alle PostScript und PDF Dateien sind mit gzip komprimiert; Sie können diese nicht durch Anklicken mit der linken Maustaste im Browser öffnen, sondern müssen sie durch Anklicken mit der rechten Maustaste mit der Endung .gz abspeichern und mit WinZip auspacken.

Zum Ausführen des Logic Evaluator (getestet mit Windows NT, Netscape Communicator 4.61 und MS Internet Explorer 4.0) müssen Sie Java in Ihrem Browser einschalten (Netscape: Edit->Preferences->Advanced->Enable Java; MS IE: View->Internet Options->Advanced->Java VM->Java JIT Compiler enabled). Für die Offline Verwendung speichern Sie HTML.zip als Datei ab, packen mit WinZip alle Dateien auf die Festplatte aus (es wird ein Verzeichnis html erzeugt) und öffnen danach im Explorer die Datei html/index.html.