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 Überarbeitung | ||
pruefungen:hauptstudium:ls8 [23.02.2022 21:40] – vale | pruefungen:hauptstudium:ls8 [12.04.2024 12:08] (aktuell) – Zusammenfassung für AlgProg flodobeutlin | ||
---|---|---|---|
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:// | ||
* [[.: | * [[.: | ||
* [[.: | * [[.: | ||
+ | * {{ : | ||
+ | * [[https:// | ||
Zeile 34: | Zeile 40: | ||
* [[.: | * [[.: | ||
| | ||
+ | |||
+ | === Monad Based Programming === | ||
+ | |||
+ | * [[https:// | ||
+ | * [[.: | ||
+ | |||
+ | === Introduction to Dependently Typed Programming === | ||
+ | |||
+ | * [[.: | ||
+ | * [[https:// | ||
+ | |||
=== Kommunikation und Parallele Prozesse === | === Kommunikation und Parallele Prozesse === | ||