Sommersemester 2002:
185.179 VL Logikorientierte Programmierung
185.911 LU Logikorientierte Programmiersprachen
Aktuelles
- Veranstaltungsort
- Argentinierstraße 8, 5. Stock. Laborräume geöffnet
Mo-Fr 7h-22h
- Informationen zur Übung
-
- Inhalt
- Programmieren in der logikorientierten
Programmiersprache Prolog. Lesarten, Termination, Grammatiken,
Constraints. (Anwendungen geordnet nach
Systemen. Gegen Ende der Übung werden wir einen Brückenbau
planen).
- 185.911 LU: Diplomstudium Informatik: Pflicht im 2. Semester
- 185.179 VL: Bakkalaureatsstudium Software & Information
Engineering: Pflicht im 4. Semester
- Vorbereitung
-
- Persönliche Anmeldung im Labor
- Dienstag,
5.3.2002, 16h-18h (nach der Vorbesprechung), Mittwoch 14h-16h,
Donnerstag 16h-18h Druckerraum. Letztmögliche Anmeldung Montag,
11.3.2001 18h-20h.
Sie erhalten account (qXXX) und Paßwort, das Sie nicht
weitergeben dürfen. Bitte schreiben Sie den account-Namen
nicht auf den Paßwortzettel und verwenden Sie dieses
Paßwort nicht für andere Rechner bzw. Übungen! Nach der Anmeldung
scheinen Sie in der Anmeldungsliste
auf, sodaß Sie hier über Ihre Matrikelnummer Ihr account finden
können, sollten Sie es vergessen haben.
- Abmeldung
- Persönlich bei Anmeldungsterminen
und in Sprechstunde. Letztmögliche Abmeldung am 20.3.2002 in der
Sprechstunde.
- Vorbesprechung
- Dienstag, 5.3.2002 14h
c.t.-16h Radinger
HS
- Wöchentlicher Termin
- Jeweils Mittwoch, 16h
c.t. Sem ARG ab 6.3.2002 (gleich neben dem Labor)
- Wöchentliche Sprechstunde
- Mittwoch,
15h00-16h00, Druckerraum.
- 1. Abgabetermin
- Freitag, 15.3.2002 12h00. Der
letzte Abgabetermin ist vor Fronleichnam.
- Beurteilungsmodus
- Sie können zwischen zwei
Varianten wählen:
- (default) Wöchentlich am Rechner (in den Laborräumen) gelöste
Beispiele. Siehe WWW-Führung. Ein
optionales (freiwillig) Abgabegespräch findet vom 22.-25. April statt.
- (extern) Nach Lösen der Beispiele der 1. Woche im Labor können Sie
einen externen Zugang beantragen, um die
Beispiele außerhalb der Laborräume lösen zu können, z.B. über
Telekabel, Benutzerräume. Dadurch wird das Abgabegespräch
verpflichtend, die Beispiele entsprechend gewichtet. Auch bei dieser
Variante können Sie selbstverständlich in den Laborräumen arbeiten und
die Hilfe der Studienassistenten (Tutoren) in Anspruch
nehmen.
Sie können sofort (jetzt)
überprüfen, ob Ihr momentaner Arbeitsplatz den technischen
Anforderungen für einen externen Zugang gerecht wird.
Nachdem Sie die Beispiele der ersten Woche
gelöst haben, tragen Sie sich bitte in der im Druckerraum aufliegenden
Liste ein.
- Skriptum
- Bei Anmeldung erhältlich.
- Weiterführende LVAs
- Im Sommersemester: Prolog und logikorientierte Programmierung, VO
185.988, LU 185.015.
- Weitere Informationen finden Sie im
WWW.
2002-06-28: Zeugnisausstellung: 515, 567 haben sich um einen
Notengrad verbessert
2002-06-24: Wer Interesse an den (alten, aber guten) S/W
NCD-X-Terminals hat: Mail an root@complang.tuwien.ac.at
2002-05-29: Sämtliche 1er heute mit Beurteilungsdatum 24.5. ausgestellt
2002-05-27: Die vorläufige Beurteilung kann auf den Rechnern
eingesehen werden. Bei Fragen: Mittwoch 15h00
2002-05-22: Bereits am 27. Mai statt 27. Juni steht die
vorläufige Beurteilung fest
2002-04-30: Änderungen für Mittwoch 8.Mai:
Sprechstunde von 15h00 auf 11h00 und ca. 18h00 verschoben
Fragestunde möglicherweise erst um ca. 16h15
2002-04-24: Heute waren die Laborräume abgeschlossen.
Durch die zusätzlichen 500 Punkte, können
weitere 10 Beispiele um 1 Woche verspätet
abgegeben werden.
2002-04-23: Statt Gesamt = min(S_ungew,S_gew+2000)*F + Abg*100
nun Gesamt = min(S_ungew,S_gew+2500)*F + Abg*100
2002-04-19: Streik: Keine Betreuung und Abgabegespräche am 24.d.M.
2002-04-18: Vorbeurteilungsänderung (siehe Hauptverzeichnis)
2002-04-15: Anmeldungsliste für Abgabegespräch hängt aus
2002-03-21: Zuständigkeit für Liftprobleme
2002-03-11: Weitere Anmeldungen in Sprechstunde Mi 15h00
2002-03-04: Betreuungszeiten durch Studienassist.
Mo Di Mi Do Fr Wo
----- ----- ----- ----- ----- --
13.05. 13-16 10-12 ***** 12-16 ***** 15.05. 20
06.05. 10-15 16-18 ***** 12-18 10-12 10.05. 19
29.04. 13-16 16-18 ***** 12-18 10-12 03.05. 18
22.04. 10-16 10-12 ***** 11-18 9-13 26.04. 17
22.04. 10-16 10-12 16-18 12-18 10-13 26.04. 17
15.04. 10-16 10-17 10-18 12-19 13-16 19.04. 16
8.04. 13-18 10-17 10-18 12-19 09-13 12.04. 15
18.03. 10-16 12-18 13-19 11-18 10-18 22.03 12
11.03. 10-20 10-15 13-19 13-18 10-18 15.03. 11
4.03. 14-18 12-14 12-17 10-17 7.03. 10
2002-03-02: Alten Aushang ausgetauscht