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.

--- pruefungen:hauptstudium:ls8 [31.03.2022 17:34] – Add MBprog Braindump zge
+++ pruefungen:hauptstudium:ls8 [12.04.2024 12:08] (aktuell) – Zusammenfassung für AlgProg flodobeutlin
@@ Zeile 8: / Zeile 8: @@
 === Semantik von Programmiersprachen (SemProg) ===
+  * [[.:ls8:semprog_ss23_0|Praktische Semantik von Programmiersprachen SS2023]]
+  * [[https://wwwcip.cs.fau.de/~oc45ujef/lectures/semprog/braindump.html|Praktische Semantik von Programmiersprachen SS2022]]
   * [[.:ls8:semprog_ss16|Praktische Semantik von Programmiersprachen SS2016]]
   * [[.:ls8:semprog_ss13|Praktische Semantik von Programmiersprachen SS2013 (1)]]
@@ Zeile 16: / Zeile 18: @@
 === Algebra des Progammierens (AlgProg) ===
+  * [[.:ls8:algprog_ws23|Algebra des Programmierens WS2023/24]]
+  * [[https://wwwcip.cs.fau.de/~oc45ujef/lectures/algprog/braindump.html|Algebra des Programmierens WS23/24]]
   * [[.:ls8:algprog_ws18|Algebra des Programmierens WS2018/19]]
   * [[.:ls8:algprog_ws13|Algebra der Programmierung WS2013/14]]
+  * {{ :pruefungen:hauptstudium:algprog-summary.pdf | Zusammenfassung des relevanten Stoffes}} (WS23)
+  * [[https://wwwcip.cs.fau.de/~oc45ujef/lectures/algprog/summary.html| Zusammenfassung des relevanteren Stoffes]] (WS23/24)
@@ Zeile 37: / Zeile 43: @@
 === Monad Based Programming ===
- * [[https://wwwcip.cs.fau.de/~oj14ozun/nonpub/mbprog.html|MBProg WS21/21]]
+  * [[https://wwwcip.cs.fau.de/~oj14ozun/nonpub/mbprog.html|MBProg WS21/21]]
+  * [[.:ls8:mbprog_ss23_mini|MBProg SS23 Miniprotokoll]]
+=== Introduction to Dependently Typed Programming ===
+  * [[.:ls8:ident_ss22|IDenT SS22]]
+  * [[https://wwwcip.cs.fau.de/~oc45ujef/lectures/ident/braindump.html|IDenT SS22]]
 === Kommunikation und Parallele Prozesse ===