Vorlesung Logik (WS 2006/07)

Hörerkreis: 1. Semester
Informatik, Softwaretechnik

Vorlesung: Di 09:45-11:15,
Do 09:45-11:15 (14-tägig)
Raum V38.01

[19.02.07] Logikscheine gibt es vormittags (8:30 - 12:00 Uhr) in Prof. Esparzas Sekretariat (Raum 1.353).

[13.02.07] Die Ergebnisse des Logiktests hängen neben Prof. Esparzas Sekretariat (Raum 1.353) aus. Eine Klausureinsicht findet am Donnerstag, 15.02.07, ab 9:45 Uhr in Raum 1.168 statt. Bitte kommen Sie nur, wenn Sie einen guten Grund haben.

[12.02.07] Musterlösungen des Logiktests sind unter >> Schein zu finden, Musterlösungen zu den Aufgabenblättern unter >> Übungen.

[08.02.07] Die Besprechung zu Übungsblatt 8 findet ausschließlich in der letzten Vorlesungswoche statt. Deswegen muss vom normalen Rhythmus wie folgt abgewichen werden:

• Teilnehmer der Montagsgruppen 8 - 11 kommen bitte am 12.02. zur gewohnten Zeit in den gewohnten Raum zur Übung, also genau eine Woche nach ihrer Besprechung von Blatt 7. Dort können auch die korrigierten Abgaben abgeholt werden.
• Teilnehmer der Dienstagsgruppe 12 kommen bitte zu einer der Übungsgruppen 1,2,3,4,6 oder 7 (besser nicht in die Dienstagsgruppe 5, weil zu voll). Ort und Zeit dieser Gruppen sind hier angegeben (Login "logik", Passwort "hintikka"). Die korrigierten Abgaben von Gruppe 12 können ab Mittwoch, 14.02., im Büro 1.352 abgeholt werden.

[06.02.07] Kleinere Fehler in der Musterlösung zu Blatt 8 sind in der aktuellen Version nicht mehr enthalten.

[02.02.07] Am Mittwoch, 07.02.2007, 14:00 Uhr findet der Logiktest (auch Scheinklausur genannt) statt. Teilnehmer der Übungsgruppen 1 - 8 kommen bitte in den Hörsaal 53.01. Teilnehmer der Übungsgruppen 9 - 12 kommen bitte in den Hörsaal 57.03. Studenten, die sich keinen Übungsgruppen zugehörig fühlen, kommen bitte in den Hörsaal 53.01.

[23.01.07] Aufgabenblatt 7 enthielt kleinere Fehler, die in der aktuellen Version nicht mehr enthalten sind.

[18.01.07] In Aufgabenblatt 7, Aufgabe 5 wird auf das Buch von Schöning verwiesen. Der referenzierte Beweis steht in der 5. Auflage auf Seite 79.

[21.11.06] Aufgabenblatt 4 und das dazugehörige Infoblatt über KV-Diagramme haben eine Rückseite. Korrekte (nicht fehlgedruckte) Versionen sind bei >> Übungen bzw. >> Folien/Infoblätter zu finden, und auf dem Tisch im 1. Stock.

[7.11.06] Zu Aufgabenblatt 3 gibt es ein Infoblatt über Limboole. Siehe >> Folien/Infoblätter.

[26.10.06]   Die Studenten, die erst in der kommenden Woche ihre erste Logik-Übung haben, dürfen ausnahmsweise auch bei Blatt 2 noch in einer "Einer-Gruppe" abgeben.

[25.10.06]   Die Einschreibung für die Übungen ist beendet. Siehe auch >> Übungen.

[23.10.06]   Einschreibung für die Übungen verlängert bis Dienstag, 24.10, 23:00 Uhr.

[20.10.06]   Wenn für Sie die noch freien Übungstermine ungünstig sind, suchen Sie bitte jemanden, mit dem Sie tauschen können, und tragen Sie sich dann gemeinsam um.

[27.09.06]   Bevor Sie e-mails an Tutoren schreiben, sollten Sie sich hier über Neuigkeiten informieren.