TGI-Lehre
	Kontakt | Index | Suche | Rundgang | English

Formale Gundlagen der Informatik (F1)

Logik

Veranstalter: Manfred Kudlek

Übungsgruppenleiter: Manfred Kudlek, Michael Duvigneau, Marco Braker, Frank Heitmann, Sönke Rölke

Diese Seite enthält Material und Informationen zur Grundstudiumsvorlesung im WiSe 2003/2004 (18.001)

Übungsscheine

Neu: Wer die Übungsaufgaben erfolgreich gelöst hat, kann seinen Schein ab sofort im TGI-Sekretariat (Informatikum, Haus C, Raum C-218) abholen.

Material

Die Folienkopien zur Vorlesung sind vervielfältigt und können im Informatikum abgeholt werden. Die wenigen verbliebenen Exemplare lagern im TGI-Sekretariat (s.o.).

Die Seite zur letztjährigen F1-Vorlesung (beim Arbeitsbereich WSV) umfasst Folienkopien und Literaturhinweise, die auch in diesem Jahr noch aktuell sind.

Übungsaufgaben

• Die Aufgaben werden Dienstags in der Vorlesung verteilt. Außerdem liegen sie ab Dienstag auf dem Tisch im ersten Stock von Haus C (vor den WCs) aus.
• Die Aufgaben werden zusätzlich als PDF-Dateien an dieser Stelle angeboten. Diese Dateien dürfen nicht auf den Druckern im Rechenzentrum des Fachbereichs ausgedruckt werden!
• Die Lösungen können bis zum folgenden Montag abend im Druckerraum im ersten Stock von Haus C (Raum C-209) in Fächern für die jeweiligen Übungsgruppenleiter abgegeben werden.
• Die Besprechung der Aufgaben und Lösungen erfolgt am nachfolgenden Übungsgruppentermin (also Mittwoch oder Freitag).

Aufgabenblätter

• Die Aufgaben und Lösungen werden seit dem 12.10.2004 nicht mehr bereitgestellt.