Beide Seiten, vorherige ÜberarbeitungVorherige ÜberarbeitungNächste Überarbeitung | Vorherige ÜberarbeitungLetzte ÜberarbeitungBeide Seiten, nächste Überarbeitung |
pruefungen:hauptstudium:ls8 [04.08.2015 10:09] – bankinus | pruefungen:hauptstudium:ls8 [09.04.2024 22:35] – Fix typo zge |
---|
</note> | </note> |
==== Prüfungsprotokolle ==== | ==== Prüfungsprotokolle ==== |
* [[.:ls8:cpp_ss15|Kommunikation und Parallele Prozesse SS2015]] | |
| |
| === 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)]] |
| * [[.:ls8:semprog_ss13_b|Praktische Semantik von Programmiersprachen SS2013 (2)]] |
| * [[.:ls8:semprog_ss13_c|Praktische Semantik von Programmiersprachen SS2013 (3)]] |
| |
| |
| === 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) |
| |
| |
| === Formale Methoden der Softwareentwicklung (FMSoft) === |
| |
| * [[.:ls8:FMSoft_ws16|Formale Methoden der Softwareentwicklung WS2016/17]] |
* [[.:ls8:FMSoft_ws14|Formale Methoden der Softwareentwicklung WS2014/15]] | * [[.:ls8:FMSoft_ws14|Formale Methoden der Softwareentwicklung WS2014/15]] |
| * [[.:ls8:fm_ws1213|Formale Methoden der Softwareentwicklung WS12/13 (1)]] |
| * [[.:ls8:fm_ws1213_2|Formale Methoden der Softwareentwicklung WS12/13 (2)]] |
| |
| === Ontologien im Semantic Web === |
| |
| * [[.:ls8:ontosweb_ws14|Ontologien im Semantic Web WS2014/15 (1)]] |
* [[.:ls8:ontosweb2_ws14|Ontologien im Semantic Web WS2014/15 (2)]] | * [[.:ls8:ontosweb2_ws14|Ontologien im Semantic Web WS2014/15 (2)]] |
* [[.:ls8:ontosweb_ws14|Ontologien im Semantic Web WS2014/15]] | * [[.: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 === |
| |
| * [[.:ls8:cpp_ss15_2|Kommunikation und Parallele Prozesse SS2015]] |
| * [[.:ls8:cpp_ss15|Kommunikation und Parallele Prozesse SS2015]] |
| * [[.:ls8:cpp_ss13|Kommunikation und Parallele Prozesse SS2013]] |
| |
| === Diverses === |
| |
| * [[.:ls8:/nocl_ws15_16_1|Nonclassical Logics WS15/16]] |
* [[.:ls8:crypto_ws14|Kryptologie & Protokollverifikation WS2014/15]] | * [[.:ls8:crypto_ws14|Kryptologie & Protokollverifikation WS2014/15]] |
* [[.:ls8:algprog_ws13|Algebra der Programmierung WS2013/14]] | |
* [[.:ls8:semprog_ss13|Praktische Semantik von Programmiersprachen SS2013 (1)]] [[.:ls8:semprog_ss13_b| SemProg (2)]] [[.:ls8:semprog_ss13_c| SemProg (3)]] | === Altes Zeug === |
* [[.:ls8:cpp_ss13|Kommunikation und Parallele Prozesse SS2013 (1)]] | |
* [[.:ls8:fm_ws1213_2|Formale Methoden der Softwareentwicklung WS12/13 (2)]] | |
* [[.:ls8:fm_ws1213|Formale Methoden der Softwareentwicklung WS12/13]] | |
* KS 1 (Zenker) WS 2011/12: [[.:ls8:ks1ws2011|(1)]] [[.:ls8:ks1ws2011b|(2)]] [[.:ls8:ks1ws2011c|(3)]] [[.:ls8:ks1ws2011d|(4)]] | * KS 1 (Zenker) WS 2011/12: [[.:ls8:ks1ws2011|(1)]] [[.:ls8:ks1ws2011b|(2)]] [[.:ls8:ks1ws2011c|(3)]] [[.:ls8:ks1ws2011d|(4)]] |
* [[.:ls8:ki1tm2009|KI 1 (Ludwig) + Text Mining (Mandl)]] 2009 | * [[.:ls8:ki1tm2009|KI 1 (Ludwig) + Text Mining (Mandl)]] 2009 |