Formale Grundlagen 3

Formale Modelle

Sommersemester 2007

Armin Biere.

News

Erste Vorlesung und Übung am Donnerstag, den 13. März, 2007.

Foliensätze und Handouts

An dieser Stelle erhalten Sie die Foliensätze der Vorlesung. Diese werden erst am Ende der Vorlesung vollständig sein. Ein Skript oder Buch ist zur Zeit nicht geplant.

Kompletter Foliensatz: fg3-slides.pdf, fg3-handout-2x2.pdf
Einführung: intro-slides.pdf, intro-handout-2x2.pdf
Endliche Automaten: ea-slides.pdf, ea-handout-2x2.pdf, eaimpl.zip, README.eaimpl
Prozess Algebra: pa-slides.pdf, pa-handout-2x2.pdf
Petri Netze: pn-slides.pdf, pn-handout-2x2.pdf
Temporale Logik: tl-slides.pdf, tl-handout-2x2.pdf
Hoare Logik: hl-slides.pdf, hl-handout-2x2.pdf

Termine

Die Vorlesung findet immer Donnerstag morgens von 8:30 bis 10:00 Uhr statt, die Übungen nachmittags am selben Tag.

Übungen

Die genauen Termine und Ihre Gruppenzuordnung entnehmen Sie bitte dem KUSSS.

Es wird Anwesenheit erwartet, da angekreuzte Beispiele an der Tafel ohne Zuhilfenahme von Unterlagen zu präsentieren sind. Pro Beispiel wird ein Übungsteilnehmer für die Präsentation ausgewählt. Die Übungen müssen schriftlich am Tag der Übung vor Beginn der ersten Übung am Institut abgegeben werden. Für die Abgabe steht ein Postkasten zur Verfügung.