2023 S:
185.A12 VU 4.0 Logikprogrammierung und Constraints

Aktuelles

Abhaltungsmodus

Alle Vorlesungstermine sind real (und zur Not virtuell), Anmeldung real, das Labor real (zumindest für die ersten sieben Beispiele) und danach auch virtuell, das Abgabegespräch real. Lernen Sie in den ersten Wochen die Umgebung mit Tutoren betreut kennen!

Veranstaltungsort

EAEG19 complang-Labor Argentinierstraße 8, Erdgeschoß.

Informationen zur Übung

http://www.complang.tuwien.ac.at/ulrich/lp

Inhalt

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

Vorbereitung

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

Persönliche Anmeldung im Labor

Mittwoch,   22.2.2023 15-16h
Mittwoch,    1.3.2023 19-20h, nach Vorbesprechung
Mittwoch,    8.3.2023 15-16h

Weitere Anmeldungen in Sprechstunde.

Studentenausweis erforderlich. Sie erhalten Kennung (tXXX) und Passwort, das Sie nicht weitergeben dürfen.
Die Kennung nicht auf den Passwortzettel schreiben und das Passwort nicht für andere Rechner verwenden! Falls Sie Ihre Kennung vergessen, können Sie diese im Labor erfahren. Passwortersatz in Sprechstunde.

Vorbesprechung und wöchentlicher Termin

Ab 1.3.2023 Mittwoch, 16h c.t. Hörsaal EI 2

Wöchentliche Sprechstunde

Mittwoch, 15h im Labor

1. Abgabetermin

Freitag, 3.3.2023 12h00. Letzter Abgabetermin vor Christi Himmelfahrt. Nachbesserungen bis 30.6.2023 12h00 möglich.

Abgabegespräch

Nicht verpflichtend. Findet in der 13. Kalenderwoche statt. Erforderlich, um die Note 1 (Sehr gut) zu erlangen.

Beurteilungsmodus

1. (default) Wöchentlich im Labor oder online gelöste Beispiele, siehe WWW-Führung. Die ersten sieben Beispiele müssen vollständig im Labor gelöst werden. Erst dann ist der online-Zugang freigeschaltet.
   Die technischen Voraussetzungen zum online-Zugang 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

Letztmögliche Abmeldung am 8.3.2023.

Zeitplan

22.2.2023 15h	Erster Anmeldungstermin
03.3.2023 12h	Erster Abgabetermin
28.3.2023	Abgabegespräche
12.5.2023 12h	Letzter Abgabetermin, Zeugnisausstellung I (alle positiven)
30.6.2023 12h	Ende der Nachbesserungsfrist, Zeugnisausstellung II (alle inkl. Nachbesserungen)

Weiterführende LVAs

185.A25 Fortgeschrittene logische Programmierung. Vorbesprechung in der letzten Übungsstunde.

Weitere Informationen finden Sie auf dieser Seite im WWW.

Aktuelles

             Tutorenbetreuungszeiten
                     2023 S

 W         Mo    Di    Mi    Do    Fr
--       ----- ----- ----- ----- -----
08 20.2. ***** ***** 15o18 ***** ***** 24.2.
09 27.2. ***** ***** 15-16 11-15 .....  3.3.
10  6.3. ..... 15-19 15-16 11-15 ..... 10.3.
11 13.3. ..... 15-19 15-16 15-19 ..... 17.3.
12 20.3. ..... 15-19 15-16 15-19 ..... 24.3.
13 27.3. ..... 15A19 15-16 15-19 ..... 31.3.
14  3.4. ***** ***** ***** ***** *****  7.4. Karwoche
15 10.4. ***** ***** ***** ***** ***** 14.4. Ostern
16 17.4. ..... ..... 15-16 ..... ..... 21.4.
17 24.4. ..... ..... 15-16 ..... ..... 28.4.
18  1.5. ***** ..... 15-16 ..... .....  5.5.
19  8.5. ..... ..... 15-16 ..... ..... 12.5.
20 15.5. ..... NNNNN @@@@@ ***** ***** 19.5. Christi Himmelfahrt
21 22.5. ..... ..... ..... ..... ..... 26.5.
22 29.5. ***** ***** 15-16 ..... .....  2.6. Pfingsten
23 05.6. ..... ..... 15-16 ***** .....  9.6. Fronleichnam
24 12.6. ..... ..... 15-16 ..... ..... 16.6.
25 19.6. ..... ..... 15-16 ..... NNNNN 23.6.
26 26.6. @@@@@ 15-19 15-16 15-19 @@@@@ 30.6.



- ... Labor betreut geöffnet
* ... Labor geschlossen, vorlesungsfrei
. ... Labor offen
o ... Labor offen, vorlesungsfrei
@ ... Labor nicht zugänglich
x ... keine Betreuung
+ ... neue Betreuungstermine

V ... 14..19h nur altes NCD-Terminal verwendbar
W ... 14..24h nur altes NCD-Terminal verwendbar
N ... nur altes NCD-Terminal verwendbar
= ... doch zugänglich
A ... Abgabegespräche
f ... Diese Tutorenbetreuungszeiten werden nicht abgegolten.