Lehrveranstaltung

Logik als Arbeitssprache (326.014)

Sommersemester 2005

Wolfgang Windsteiger

Aktuelle Informationen

Hier finden Sie aktuelle Mitteilungen des LV-Leiters an die Studentinnen.
Mitteilung vom 1.7.2005:
Musterlösung zum 2. Fallbeispiel erhältlich
Mitteilung vom 28.6.2005:
Mathematica Notebook für Fallbeispiel mit Theorema.
Mitteilung vom 23.6.2005:
Musterlösung zum 1. Fallbeispiel erhältlich
Mitteilung vom 22.6.2005:
Noten der Logik-Klausur sollten in KUSSS einsehbar sein. Zur LVA gehen, dort zu den LVA-Details, dort sollte Ihre Punkte-Info stehen. Es gab insgesamt 30 Punkte zu erreichen. Wenn in KUSSS steht "22 / 30 Punkte", dann heißt das "22 von 30 möglichen Punkten" sind erreicht worden. Einsichtnahme: Di. 28. 6. nach der LVA.
Mitteilung vom 24.5.2005:
Es sind schriftliche Arbeiten zu erstellen. Die Angaben dazu finden Sie immer bei den Fallbeispielen. Bis zum Ende des Semesters werden ca. 3 Arbeiten zu erstellen sein. Für die 2-stündige "Logik als Arbeitssprache" machen die schriftlichen Arbeiten 50% der Note aus, die restlichen 50% trägt die Klausur bei. Die Note für die 1-stündige "Präsentationstechnik" ergibt sich aus den schriftlichen Arbeiten, die Note für die 1-stündige "Logik als Arbeitssprache" ergibt sich aus der Klausur.
Mitteilung vom 24.5.2005:
Neuer Klausurtermin: Donnerstag, 16. Juni, MZ412, 13:45-14:45. Keine Neuanmeldung in KUSSS notwendig!
Mitteilung vom 10.3.2005:
Die Klausur findet statt am 7. Juni, 14:20 - 15:15, Raum T211. ACHTUNG: In KUSSS sind 2 Prüfungen angelegt! Diejenigen, die ein Zeugnis über 1 Stunde VL "Logik als Arbeitssprache" brauchen, bitte für die Prüfung zur LVA-Nr. 326.920 (WS2003) anmelden. Jene, die ein Zeugnis über 2 Stunden KV "Logik als Arbeitssprache" brauchen, bitte für die Prüfung zur LVA-Nr. 326.014 (SS2005) anmelden.