TGI-Lehre
Kontakt
|
Index
|
Suche
|
Rundgang
|
English
F4 - Formale Grundlagen der Informatik
2st. Mo. 10:15 - 11:00 + 11:05 - 11:50 ESA B
Veranstalter:
Daniel Moldt
|
Rüdiger Valk
Diese Seite enthält Material und Informationen zur Vorlesung im Sommersemester 2006
Aktuelles
Noch nicht zur Verfügung stehende Einträge (Links) werden schrittweise zur Verfügung gestellt!
Offizielle Angaben aus dem kommentierten Vorlesungsverzeichnis
Beschreibung aus dem KVV
Skript
Das
Skript (Stand vom 6. März 2006)
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!
aktuelle
Folien:
Kap 2.1
Kap 2.2
Kap 3.1
Kap 4.2
Kap 6.1
Kap 6.2
Kap 7.1
Kap 7.2
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.
Korrekturen und Anmerkungen bitte an
Daniel Moldt
|
Rüdiger Valk
Letzte Änderung:
11.04.2006
