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.

Link zu der Vergleichsansicht

Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung
Nächste Überarbeitung		Vorherige Überarbeitung
pruefungen:hauptstudium:ls8 [12.04.2016 19:36] – Yannikpruefungen:hauptstudium:ls8 [12.04.2024 12:08] (aktuell) – Zusammenfassung für AlgProg flodobeutlin
Zeile 4: Zeile 4:
 </note> </note>
 ==== Prüfungsprotokolle ==== ==== Prüfungsprotokolle ====
-  * [[.:ls8:/nocl_ws15_16_1|Nonclassical Logics WS15/16]]  + 
-  * [[.:ls8:cpp_ss15_2|Kommunikation und Parallele Prozesse SS2015]]  + 
-  * [[.: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) 
 +  * [[https://wwwcip.cs.fau.de/~oc45ujef/lectures/algprog/summary.html| Zusammenfassung des relevanteren Stoffes]] (WS23/24) 
 + 
 + 
 +=== 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