Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Lehrstuhl 8   (Übersicht)

Lehrstuhl 8

Bitte schreibt selbst auch ein Prüfungsprotokoll!

Prüfungsprotokolle

Semantik von Programmiersprachen (SemProg)

Algebra des Progammierens (AlgProg)

Formale Methoden der Softwareentwicklung (FMSoft)

Ontologien im Semantic Web

Monad Based Programming

Introduction to Dependently Typed Programming

Kommunikation und Parallele Prozesse

Diverses

Altes Zeug

Weitere Materialien

Die beiden Zusammenfassungen sind stellenweise relativ knapp und vielleicht auch unvollständig. Falls das jemand ändern mag: die XeTeX-Quellen sind dabei.
Wenn es damit Probleme geben sollte: immoartl