Sommersemester 2008:
185.179 VL Logikorientierte Programmierung
185.911 LU Logikorientierte Programmiersprachen

Veranstaltungsort

Argentinierstraße 8, Erdgeschoß. Labor geöffnet Mo-Fr 7h-22h

Informationen zur Übung

Auf den Terminals im Labor und http://www.complang.tuwien.ac.at/ulrich/lp

Inhalt

Programmieren in der logikorientierten Programmiersprache Prolog.
Lesarten, Termination, Grammatiken, Constraints. Thematische Vorschau im WWW.

• 185.179 VL: Bakkalaureatsstudium Informatik. Pflicht im 4. Semester Software & Information Engineering
• 185.911 LU: Diplomstudium Informatik. Pflicht im 2. Semester

Vorbereitung

• WWW-Führung
• Über den externen Zugang können Sie die Übungsumgebung sofort ausprobieren

Persönliche Anmeldung im Labor

Mittwoch,  27.02.2008 15h-16h
Mittwoch,   5.03.2008 15h-16h sowie nach Vorbesprechung
Donnerstag, 6.03.2008 15h-16h
Dienstag,  11.03.2008 19h-20h Abendanmeldung
Mittwoch,  12.03.2008 15h-16h

Weitere Anmeldungen in Sprechstunde.

Studentenausweis erforderlich. Sie erhalten Kennung (sXXX) und Passwort, das Sie nicht weitergeben dürfen.
Die Kennung nicht auf den Passwortzettel schreiben und das Passwort nicht für andere Rechner verwenden!
Überprüfen Sie Ihre Anmeldung in der WWW-Anmeldungsliste.

Vorbesprechung und wöchentlicher Termin

Ab 5.3.2008 Mittwoch, 17h c.t. Hörsaal 6

Wöchentliche Sprechstunde

Mittwoch, 15h-16h im Labor.

1. Abgabetermin

Freitag, 7.3.2008 12h00. Letzter Abgabetermin im Mai. Nachbesserungen bis 27.6.2008 12h00 möglich.

Abgabegespräch

Nur für Externe verpflichtend. Findet in der 16. Woche statt. Erforderlich, um die Note 1 (Sehr gut) zu erlangen.

Beurteilungsmodi

1. (default) Wöchentlich im Labor gelöste Beispiele, siehe WWW-Führung.
2. (extern) Nach vollständigem Lösen aller aktuellen Beispiele im Labor können Sie einen externen Zugang beantragen.
   Dadurch ist das Abgabegespräch verpflichtend, Ihre Beispiele werden danach gewichtet.
   Sie können weiterhin die Hilfe unserer Tutoren in Anspruch nehmen und im Labor arbeiten.
   Die technischen Voraussetzungen können Sie jederzeit überprüfen.

Unterlagen

Skriptum (bei Anmeldung erhältlich), Dokumente in der Umgebung (u.a. 14 Führungen bestehend aus mehr als 300 Seiten).

Abmeldung

Persönlich (nicht per e-mail) bei Anmeldungsterminen und in Sprechstunde. Letztmögliche Abmeldung am 12.3.2008.

Zeitplan

27.02.2008 15h	Erster Anmeldungstermin
05.03.2008 17h	Vorbesprechung
07.03.2008 12h	Erster Abgabetermin
14.04.2008	Woche der Abgabegespräche
30.05.2008 12h	Letzter Abgabetermin
03.06.2008	Vorläufige Beurteilung/Zeugnisausstellung
27.06.2008 12h	Ende der Nachbesserungsfrist

Weiterführende LVAs

Fortgeschrittene logikorientierte Programmierung VL 185.209
Prolog und logikorientierte Programmierung VO 185.988, LU 185.015.

Weitere Informationen finden Sie auf dieser Seite im WWW.

Aktuelles

            Tutorenbetreuungszeiten
        Mo    Di    Mi    Do    Fr           KW
       ----- ----- ----- ----- -----         --
25.02. ----- ----- 15-17 ----- -----  29.02. 22  1. Anmeldungstermin
03.03. 09-15 09-13 15-16 12-18 -----  07.03. 23  Vorbesprechung, 1.Abgabetermin
10.03. 09-15 09-13 15-16 12-18 -----  14.03. 24
17.03. ***** ***** ***** ***** *****  21.03. 25  Oster-
24.03. ***** ***** ***** ***** *****  28.03. 26  ferien
31.03. 13-17 09-13 15-16 13-18 -----  04.04. 27
07.04. 13-17 15-19 15-16 14-18 -----  11.04. 28
14.04. 13-18 09-13 15-16 14-16 -----  18.04. 29  Abgabegespräche
21.04. 13-18 09-11 15-16 14-16 -----  25.04. 30
28.04. 13-18 09-11 15-16 ***** -----  02.05. 31  Tag der Arbeit, Christi Himmelfahrt
05.05. ----- 09-11 15-16 15-17 -----  09.05. 32
12.05. ***** ***** 15-16 15-17 -----  16.05. 33  Pfingstferien
19.05. ----- 09-11 15-16 ***** *****  23.05. 34  Fronleichnam, Rektorstag
26.05. ----- 09-10 15-16 15-17 -----  30.05. 35  Letzter Abgabetermin
02.06. ----- ----- 15-16 ----- -----  06.06. 36  Beurteilung
09.06. ----- ----- 15-16 ----- -----  13.06. 37
16.06. ----- ----- 15-16 ----- -----  20.06. 38
23.06. ----- ----- 15-16 ----- -----  27.06. 39  Ende Nachbesserung

Gesamt = min(S_ungew,S_gew+2600)*F+Abg*100-FT.