WS 1995: Logikorientierte Programmiersprachen, 185.911 LU2

Um alle Informationen zu dieser Übung zu erfahren:

• Loggen Sie sich in den Übungsräumen unter info (kein Paßwort) ein.
  Argentinierstraße 8, 5.Stock, geöffnet 7h00-22h00
• Lesen Sie diese Seite über WWW.
  URL: http://www.complang.tuwien.ac.at/ulrich/185911LU.html

Inhalt:

Programmieren in der logikorientierten Programmiersprache Prolog. Pflicht im 3. Semester Informatik, Vorlesungsverzeichnis. Diese Laborübung baut auf Mathematische Logik (VO+UE) von E185/2 (Prof. Leitsch) auf.

Vorbereitung:

• Überprüfen Sie im WWW, ob Sie die benötigten Vorkenntnisse besitzen!
• Eine WWW-Führung erklärt Ihnen detailliert, wie Sie diese Laborübung am besten absolvieren. Sehen Sie sich diese Führung an, bevor Sie sich anmelden!

Voranmeldung:

Ab Mitte Juli 1995 hängt im Schaukasten des Instituts E185/1 Argentinierstraße 8, Erdgeschoß eine Liste der Voranmeldungen aus. Notieren Sie sich bitte Ihr dort angegebenes Account.

Persönliche Anmeldung:

Von Montag, 2. Oktober bis Donnerstag, 5. Oktober persönlich am Institut (Studentenausweis). Aufgrund der wenigen vorhandenen Rechner kann nur eine beschränkte Teilnehmerzahl an dieser Laborübung teilnehmen. Letzte mögliche Anmeldung (falls noch Plätze vorhanden): Donnerstag, 5. Oktober 15h00. Sie erhalten ein Paßwort, das Sie nicht weitergeben dürfen.

Rechnerreservierung:

Nach der persönlichen Anmeldung beim Tutor im 5. Stock.

Abmeldung:

Sie sind zu dieser Laborübung nur angemeldet, wenn Sie sich persönlich anmelden. Bis Montag den 30. Oktober können Sie sich wieder (im 5.Stock bei einem Tutor) abmelden. Falls Sie sich bis dahin nicht wieder abmelden, wird für Sie auf alle Fälle ein Zeugnis ausgestellt!

Vorbesprechung:

Donnerstag, 5. Oktober 1995 10h30-12h00, Informatikhörsaal.

Schriftliche Unterlagen:

Skriptum. Bei Anmeldung und bei Tutoren erhältlich.

1. Abgabetermin:

Freitag, 13. Oktober 1995, 12h00. Der letzte Abgabetermin ist vor Weihnachten.

Tutoren:

Zu Ihrer Hilfe sind Tutoren während der Übungszeiten (9h00-17h00) anwesend.

Beurteilungsmodus:

Wöchentlich am Rechner gelöste Beispiele.

Übungsbesprechung:

freiwillig, wöchentlich, voraussichtlich Donnerstag 10h30-12h00, Seminarraum, 5. Stock.

Weiterführende LVAs:

Auf diese Laborübung bauen weiterführende Lehrveranstaltungen im Sommersemester auf:
Prolog und logikorientierte Programmierung, VO 185.988, LU 185.015.

Weitere Informationen finden Sie im WWW.