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

F4 - Formale Grundlagen der Informatik

2st. Mo. 10 - 12 ASA B

Veranstalter: Matthias Jantzen

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

Aktuelles

• Die Dateien sind mit gzip komprimiert. Unter Microsoft Windows und Internet Explorer werden die Dateien automatisch dekomprimiert. Die Endung ".gz" wird allerdings nicht entfernt!!! Zum Betrachten oder Drucken der Dateien muss die Endung nach einem Download manuell entfernt werden. Dies ist kein Fehler der Dateien, sondern ... ;-)
• Noch nicht zur Verfügung stehende Einträge (Links) werden erst schrittweise zur Verfügung gestellt!

Offizielle Angaben aus dem Kommentierten Vorlesungsverzeichnis

Skript

• Das Skript wird als Online-Version (PDF) angeboten. Dieses kann zu Hause ausgedruckt, und zusammen mit der angegebenen Literatur nachbearbeitet werden.
• Das Skript steht gedruckt zur Verfügung im ersten Stock, darf allerdings nicht auf den Druckern im Informatikum ausgedruckt werden!!!
• Die Dateien sind mit gzip komprimiert.

Folien

• Eine Online-Version (PDF) wird regelmäßig (entsprechend zum Fortschritt der Veranstaltung) verfügbar sein. Sie dürfen allerdings - genau wie das Skript - nicht auf den Druckern im Informatikum ausgedruckt werden!!!
• Die PDF-Dateien der Folienpräsentation sind mit gzip komprimiert, und werden hier zum Herunterladen angeboten:
• Folien Teil 1 (pdf.gz)
• Folien Teil 2 (pdf.gz)
• Folien Teil 3 (pdf.gz)
• Folien Teil 4 (pdf.gz)
• Folien Teil 5 (pdf.gz)
• Folien Teil 6 (pdf.gz)
• Folien Teil 7 (pdf.gz)

• Aufgaben sind im Skript enthalten und 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.