Formale Grundlagen der Informatik (F4)

TGI-Lehre

Kontakt | Index | Suche | Rundgang | English

F4 - Formale Grundlagen der Informatik

Diese Seite enthält Material und Informationen zur Vorlesung im Sommersemester 2005

Noch nicht zur Verfügung stehende Einträge (Links) werden schrittweise zur Verfügung gestellt!

Skript

Das Skript (Stand vom 5. Juni 2005) wird als Online-Version (PDF) angeboten.
Das gedruckte Skript steht ab dem Beginn der Vorlesungszeit im ersten Stock Haus C, Campus Stellingen, zur Verfügung.
Es ist zusammen mit der im KVV und im Skript angegebenen Literatur vor- und nachzubearbeitet.
Das Skript darf allerdings nicht auf den Druckern im Informatikum ausgedruckt werden!

Folien

Eine Online-Version wird regelmäßig, entsprechend zum Fortschritt der Veranstaltung, verfügbar sein.
Die Folien dürfen allerdings genau wie das Skript nicht auf den Druckern im Informatikum ausgedruckt werden!
JPG-Dateien der Folienpräsentation werden hier zum Herunterladen angeboten:
Folien Kapitel 2.1 (jpg ohne Hintergrund)
Folien Kapitel 2.2 (jpg ohne Hintergrund)
Folien Kapitel 6.1 (jpg ohne Hintergrund)
Folien Kapitel 6.2 (jpg ohne Hintergrund)
Folien Kapitel 7.1 (jpg ohne Hintergrund)
Folien Kapitel 7.2 (jpg ohne Hintergrund)

Aufgaben

Aufgaben sind im Skript enthalten.
Einige werden in der Vorlesung im Plenum gestellt und zum Teil dort auch gemeinsam bearbeitet.
Andere werden als Fragen für eine Beschäftigung zu Hause bis zum nächsten Veranstaltungstermin gegeben.
Aufgabe 7.7 (Stand vom 5. Juni 2005) (PDF)

Korrekturen und Anmerkungen bitte an Daniel Moldt | Rüdiger Valk

Letzte Änderung:05.06.2005