Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

--- pruefungen:hauptstudium:ls8 [21.10.2022 16:16] – Add braindump for semprog SS22 flodobeutlin
+++ 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]]
@@ Zeile 17: / 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 39: / Zeile 44: @@
   * [[https://wwwcip.cs.fau.de/~oj14ozun/nonpub/mbprog.html|MBProg WS21/21]]
+  * [[.:ls8:mbprog_ss23_mini|MBProg SS23 Miniprotokoll]]
 === Introduction to Dependently Typed Programming ===