Wintersemester 2006:
185.179 VL Logikorientierte Programmierung
185.911 LU Logikorientierte Programmiersprachen

Aktuelles
LageplanStatus
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.
Vorbereitung
Persönliche Anmeldung im Labor
Mittwoch,  27.09.2006 15h-16h
Mittwoch,   4.10.2006 15h-16h sowie nach Vorbesprechung
Donnerstag, 5.10.2006 17h-18h
Montag,     9.10.2006 19h-20h
Mittwoch,  11.10.2006 15h-16h
Studentenausweis erforderlich. Sie erhalten Kennung (rXXX) 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 4.10.2006 Mittwoch, 17h c.t. Hörsaal 18
Wöchentliche Sprechstunde
Mittwoch, 15h-16h im Labor.
1. Abgabetermin
Freitag, 6.10.2006 12h00. Letzter Abgabetermin vor Weihnachten. Nachbesserungen bis 26.1.2007 12h00 möglich.
Abgabegespräch
Nur für Externe verpflichtend. Findet in der 45. 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 11.10.2006.
Zeitplan
27.09.2006 15hErster Anmeldungstermin
04.10.2006 17hVorbesprechung
06.10.2006 12hErster Abgabetermin
06.11.2006 Woche der Abgabegespräche
08.12.2006 12hLetzter Abgabetermin
11.12.2006 Vorläufige Beurteilung/Zeugnisausstellung
26.01.2007 12hEnde 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 im WWW.

Aktuelles

            Tutorenbetreuungszeiten
        Mo    Di    Mi    Do    Fr           Wo
       ----- ----- ----- ----- -----         --
25.09. ----- ----- 15-17 ----- -----  29.09. 39
02.10. 10-13 15-17 15-16 13-18 13-17  06.10. 40
09.10. 19-20 13-18 15-16 13-17 13-17  13.10. 41
16.10. 10-13 ----- 15-16 13-17 13-17  20.10. 42
23.10. 10-13 ----- 15-16 ***** 13-17  27.10. 43
30.10. 10-13 13-17 ***** ***** 13-17  03.11. 44
06.11. 08-12 ----- 15-16 13-17 13-17  10.11. 45
13.11. 10-13 13-17 15-16 13-17 13-17  17.11. 46
20.11. 10-13 ----- 15-16 13-17 13-17  24.11. 47
27.11. 10-13 ----- 15-16 13-17 13-17  01.12. 48
04.12. 10-13 ----- 15-16 13-17 *****  08.12. 49
11.12. ----- ----- 15-16 13-17 13-15  15.12. 50
18.12. ***** ***** ***** ***** *****  22.12. 51
25.12. ***** Weihnachtsferien  *****  29.12. 52
01.01. ***** ***** ***** ***** *****  05.01. 01
08.01. 10-13 ----- 15-16 16-17 13-14  12.01. 02
15.01. 10-13 ----- 15-16 16-17 13-14  19.01. 03
22.01. ----- ----- 15-16 16-17 -----  26.01. 04

2006-12-14: Status des TUNETs
2006-12-11: Die vorläufige noch bis 26.1. 12h verbesserbare Note kann in der Umgebung eingesehen werden.
2006-10-24: Aufgrund des Serverausfalls 15h40-16h11 wegen Wartungsarbeiten wurde die Beurteilungsformel angepasst. Statt 2000 nun 2100. Sie lautet nun:
Gesamt = min(S_ungew,S_gew+2100)*F+Abg*100-FT.

2006-10-24: Heute um ca. 16h wird es einen kurzen Stromausfall geben.
2006-10-20: Anmeldungsliste für (freiwillige) Abgabegespräche hängt aus.
2006-09-08: Alten Aushang ausgetauscht.


































Valid HTML 3.2