Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Lehrstuhl 8
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
Beide Seiten, vorherige ÜberarbeitungVorherige ÜberarbeitungNächste Überarbeitung | Vorherige ÜberarbeitungLetzte ÜberarbeitungBeide Seiten, nächste Überarbeitung | ||
pruefungen:hauptstudium:ls8 [02.08.2019 08:31] – Vorlesungen gruppiert Marcel[Inf] | pruefungen:hauptstudium:ls8 [09.04.2024 22:35] – Fix typo zge | ||
---|---|---|---|
Zeile 8: | Zeile 8: | ||
=== Semantik von Programmiersprachen (SemProg) === | === Semantik von Programmiersprachen (SemProg) === | ||
+ | * [[.: | ||
+ | * [[https:// | ||
* [[.: | * [[.: | ||
* [[.: | * [[.: | ||
Zeile 16: | Zeile 18: | ||
=== Algebra des Progammierens (AlgProg) === | === Algebra des Progammierens (AlgProg) === | ||
+ | * [[.: | ||
+ | * [[https:// | ||
* [[.: | * [[.: | ||
* [[.: | * [[.: | ||
+ | * {{ : | ||
Zeile 31: | Zeile 36: | ||
* [[.: | * [[.: | ||
* [[.: | * [[.: | ||
+ | * [[.: | ||
+ | * [[.: | ||
| | ||
+ | |||
+ | === Monad Based Programming === | ||
+ | |||
+ | * [[https:// | ||
+ | * [[.: | ||
+ | |||
+ | === Introduction to Dependently Typed Programming === | ||
+ | |||
+ | * [[.: | ||
+ | * [[https:// | ||
+ | |||
=== Kommunikation und Parallele Prozesse === | === Kommunikation und Parallele Prozesse === | ||