Beide Seiten, vorherige ÜberarbeitungVorherige ÜberarbeitungNächste Überarbeitung | Vorherige Überarbeitung |
pruefungen:hauptstudium:ls8 [20.03.2020 10:49] – Kruemel | pruefungen:hauptstudium:ls8 [12.04.2024 12:08] (aktuell) – Zusammenfassung für AlgProg flodobeutlin |
---|
=== Semantik von Programmiersprachen (SemProg) === | === 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_ss16|Praktische Semantik von Programmiersprachen SS2016]] |
* [[.:ls8:semprog_ss13|Praktische Semantik von Programmiersprachen SS2013 (1)]] | * [[.:ls8:semprog_ss13|Praktische Semantik von Programmiersprachen SS2013 (1)]] |
=== Algebra des Progammierens (AlgProg) === | === 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_ws18|Algebra des Programmierens WS2018/19]] |
* [[.:ls8:algprog_ws13|Algebra der Programmierung WS2013/14]] | * [[.: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) |
| |
| |
* [[.:ls8:ontosweb2_ws14|Ontologien im Semantic Web WS2014/15 (2)]] | * [[.:ls8:ontosweb2_ws14|Ontologien im Semantic Web WS2014/15 (2)]] |
* [[.:ls8:ontosweb_ws19|Ontologien im Semantic Web WS2019/20]] | * [[.:ls8:ontosweb_ws19|Ontologien im Semantic Web WS2019/20]] |
| * [[.:ls8:ontosweb_ws21|Ontologien im Semantic Web WS2021/22]] |
| |
| |
| === Monad Based Programming === |
| |
| * [[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 === | === Kommunikation und Parallele Prozesse === |
| |