Sommersemester 2003:
185.179 VL Logikorientierte Programmierung
185.911 LU Logikorientierte Programmiersprachen
Aktuelles
Unser Labor befindet sich nun im 2. Stock!
![Laborplan Argentinierstr.8 2.Stock](p-185-ausweich.gif)
- 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
-
Mo, | 3.3.2003 17h-19h |
Di, | 4.3.2003 16h-18h unmittelbar nach Vorbesprechung |
Mi, | 5.3.2003 15h-16h |
Do, | 6.3.2003 15h-16h |
Mo, | 10.3.2003 18h-20h |
Weitere Anmeldungen in Sprechstunde.
Bitte den Studentenausweis mitnehmen. 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 26.3.2003.
- Vorbesprechung
- Dienstag, 4.3.2003 15h c.t. Radinger
HS
- Wöchentlicher Termin
- Jeweils Mittwoch, 17h
c.t.
Sem ARG ab 5.3.2003. Ab 19.3.2003 Hörsaal
6 im Hauptgebäude (Eingang Paniglgasse 12)
- Wöchentliche Sprechstunde
- Mittwoch,
15h-16h,
Druckerraum Labor im 2.Stock.
- 1. Abgabetermin
- Freitag, 14.3.2003 12h00.
Letzter Abgabetermin Mitte Mai. Nachbesserungen bis 20.6.2003 12h00
möglich.
- Beurteilungsmodus
- Sie können zwischen zwei
Varianten wählen:
- (default) Wöchentlich in den Laborräumen gelöste
Beispiele. Siehe WWW-Führung. Ein
optionales (freiwillig) Abgabegespräch findet vor Ostern 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 zu lösen, z.B. über Telekabel.
Dadurch ist das Abgabegespräch verpflichtend, die Beispiele
werden danach 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
Arbeitsplatz für den externen Zugang verwendbar ist.
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
- Prolog und logikorientierte Programmierung, VO
185.988, LU 185.015.
- Weitere Informationen finden Sie im
WWW.
2003-06-30: Zeugnisausstellung: q729 q849 q856 q862 q913
haben trotz Abmeldung ein Zeugnis erhalten.
Wird in den nächsten Tagen ausgebessert.
2003-06-22: Endgültige Beurteilung steht fest. Verbesserungen:
Um 1 Notengrad: q785 q787 q788 q833 q861 q741 q773 q780
q732 q815 q853 q885 q886
Um 2 Notengrade: q716
2003-06-06: Seit heute ist das Labor im 2.Stock benutzbar.
2003-06-04: In den nächsten Tagen wird das Labor in den 2. Stock
verlegt. Vom Lift aus links.
2003-05-28: Alle derzeitigen Einser wurden heute mit Prüfungsdatum
23.5.2003 ausgestellt
2003-05-26: Die vorläufige bis 20.Juni 12h00 verbesserbare Note kann
bereits eingesehen werden.
Sie können also Ihre Note noch verbessern!
2003-05-26: Die Vorbeurteilung wird heute (wahrscheinlich) Nachmittag feststehen
2003-05-17: ^^69 Animationen für das n-Damenproblem
^^63 Veranschaulichung
^^59 Animationen für größere Magische Quadrate
2003-05-14: Aufgrund streikbedingter Behinderungen:
Gesamt = min(S_ungew,S_gew+2500)*F+Abg*100
2003-04-03: Kommenden Montag Stromabschaltung bis 8h30
2003-04-02: Weitere externe Anmeldungen ausschliesslich nach
(erfolgreichem) Abgabegespräch
2003-03-31: Anmeldungsliste für Abgabegespräch hängt aus
2003-03-27: Systemprobleme, daher 200 zusätzlich:
Gesamt = min(S_ungew,S_gew+2200)*F+Abg*100
2003-03-20: Weiterer SW-Arbeitsplatz im Vorraum verfügbar.
2003-03-18: kein externer Zugang für
q786, q859, q816, q736, q807 wegen Fehler bei C-c n
2003-03-14: Aufgrund der hohen Teilnehmerzahl sind wir ab Mi, 19.3.2003
um 17h im Hörsaal 6 (Eingang Paniglgasse 12, Stiege 8)
2003-03-14: (momentan) kein externer Zugang:
q786, q859, q774, q851, q881, q891, q892: Fehler bei C-c n
Tragen Sie sich (nach Nachbesserung) erneut in die Liste ein.
q711: kein stud-account
2003-03-10: Weitere Anmeldungen in Sprechstunde Mittwoch!
2003-03-10: Skripten sind bei Tutoren (wieder) erhältlich
2003-03-05: 19h30: Es gibt noch einige Skripten
2003-03-05: Betreuungszeiten durch Studienassistenten
Mo Di Mi Do Fr Wo
----- ----- ----- ----- ----- --
12.05. 10-15 10-20 13-18 ***** 10-14 16.05. 20
05.05. 11-16 11-20 10-15 11-15 10-14 09.05. 19
28.04. 10-16 10-15 10-17 ***** 09-15 02.05. 18
07.04. 10-16 13-20 13-20 09-15 11.04. 15
31.03. 10-16 10-20 10-21 10-18 09-16 04.04. 14
24.03. 10-16 10-20 10-19 09-15 10-16 28.03. 13
17.03. 10-18 09-20 09-19 09-15 09-15 21.03. 12
10.03. 10-16 10-16 11-19 12-18 10-14 14.03. 11
03.03. 17-19 15-18 13-19 15-18 11-15 07.03. 10
2003-02-25: Alten Aushang ausgetauscht