Knowledge Representation and Reasoning
|
**** Diese Seite wird nicht mehr gewartet ****
(Die Seite bleibt für Referenzzwecke aber weiterhin verfügbar.)
Konsultieren Sie bitte stattdessen die Seite zur Logikvorlesung im SS 2006
Weiterführende Hinweise zur Lehrveranstaltung Logik
Allgemeine Hinweise
- Die Lehrveranstaltung besteht aus einer (wöchentlichen) 2-stündigen Vorlesung und (wöchentlichen) 2-stündigen Übungsstunden.
(Entgegen gewissen Ankündigungen findet die für Mittwoch 6.DS angekündigte `Übung für alle' nicht statt.)
Die Einschreibung in die Übungsgruppen erfolgt über das System jExam (mit Ausnahme von IST-Studenten, welche automatisch in Übungsgruppen eingeteilt werden).
- Durch Teilnahme an einem Testat - voraussichtlich Anfang Dezember - können Bonuspunkte für die Klausuren erworben werden.
Für Studenten der Informatik und IST wir zum Erwerb von Bonuspukten ein zusätzliches Testat voraussichtlich im Mai stattfinden.
- Wir ersuchen Sie möglichst täglich einen Blick auf die Aktuellen Hinweise (s.u.) zu werfen.
Aktuelle Hinweise
- Auf den Web Pages des SPIEGEL ist ein interessantes Interview mit Sascha Spoun,
neuer Präsident der Uni Lüneburg.
Es enthält interessante Passagen über den Sinn eines Studiums etc.
- Fragestunden nach Vorlesungsende sind im GRU 350
am Montag, den 13.02. und am Freitag, den 17.02. jeweils um 10:30 und
am Donnerstag, den 23.02. und am Dienstag, den 28.02. jeweils um 11:10.
- Wir möchten darauf hinweisen, dass wir nicht abgeholte Testate nach Ende des Wintersemesters vernichten.
Falls Sie ihr Testat noch abholen möchten, bitten wir Sie bei
Bertram Fronhöfer (GRU 404) oder
Ursula Hans (GRU 422)
vorbeizuschauen.
- Neue Mitteilung für Medieninformatiker höherer Semester:
Der Prüfungsausschuss Medieninformatik hat in seiner Sitzung vom 12.12.2005 verschiedene Anträge und Einsprüche zu den Prüfungsmodalitäten im Fach Logik für Studierende, die vor dem WS 04/05 immatrikuliert wurden, behandelt.
Er stellt klar, dass die mit dem Beschluss vom 18.10.2004 getroffene Übergangsregelung sich nur auf die Lehrangebote sowie die Durchführung der damit verbundenen Prüfungen bezieht und die Prüfungsordnung davon nicht betroffen ist. Für Studierende die vor dem WS 04/05 immatrikuliert wurden, wird die Lehrveranstaltung Logik auch weiterhin als Leistungsnachweis geprüft. Dies erfolgt im Rahmen der Klausur, die für Studierende angeboten wird, die im WS 04/05 oder danach immatrikuliert wurden.
- Statistik zum Testat vom Samstag, den 3. Dezember 2005.
- Klausurtermine: (siehe auch Informationen zu den Klausuren)
Medieninformatik: 3. März 2006, 11.10 Uhr, 90 Minuten, Orte: siehe Informationen zu den Klausuren
Informatik + IST: 21. Februar 2006, 11.10 Uhr, 120 Minuten, HSZ/AUDi/H
- Wir möchten noch mal eindringlich darauf hinweisen, dass wir davon ausgehen, dass Sie vorbereitet in die Übungstunden kommen: D.h. Sie haben den Stoff der Vorlesung nachgearbeitet und zumindest die mit + gekennzeichneten Übungsaufgaben durchgearbeitet.
Es ist nicht die Aufgabe der Tutoren Ihnen den Vorlesungstoff noch mal vorzutragen oder Übungsaufgaben vorzurechnen. Die Übungstunden dienen dazu, Probleme mit dem Stoff der Vorlesung und mit den Übungsaufgaben zu diskutieren und zu lösen.
Wenn Sie aber den Stoff der Vorlesung und die Übungsaufgaben nicht durcharbeiten, dann haben Sie keine Probleme und dann gibt's auch nichts zu besprechen.
Wir möchten zudem darauf hinweisen, dass die Übungsaufgaben ohne + nicht als überflüssig anzusehen sind.
Nicht mehr aktuelle Hinweise
Weiterführende Web Pages
Weitere Hinweise und Hilfestellungen
|
