Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Lehrstuhl 8 (Übersicht)
Inhaltsverzeichnis
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
- MMT + TM 2006
-
- KI 1 (Stoyan) + KI 2 (Ludwig)
-
- KI 1+2 (Stoyan)
-
- KI 1+2 (Stoyan)
- KI 2 (Stoyan) [Nebenfach]
-
- KI 1+2 (Stoyan)
- Sprachverarbeitung + KI 1 (Görz)
Weitere Materialien
- KS1 Zusammenfassung WS 11/12 (google docs link)
- Zusammenfassung KI1 (WS 08/09): PDF (XeTeX-Quellen)
- Zusammenfassung Sprachverarbeitung (WS 08/09): PDF (XeTeX-Quellen)
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