====== Lehrstuhl 8 ======
<note  tip> 
Bitte schreibt selbst auch ein Prüfungsprotokoll!
</note>
==== Prüfungsprotokolle ====


=== 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: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: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]]

=== Altes Zeug ===

  * 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:ki1sv2009|KI 1 (Ludwig) + Sprachverarbeitung (Görz)]] 2009
  * [[.:ls8:KI+TM 2007|KI 1 (Stoyan) + TM (Ludwig)]] 2007
  * [[.:ls8:Künstliche Intelligenz 2006|MMT + TM]] 2006
  * {{:pruefungen:hauptstudium:ki_2005.pdf|Künstliche Intelligenz}} 2005
    * KI 1 (Stoyan) + KI 2 (Ludwig)
  * {{:pruefungen:hauptstudium:ki_2003.pdf|Künstliche Intelligenz}} 2003
    * KI 1+2 (Stoyan)
  * {{:pruefungen:hauptstudium:ki_2002.pdf|Künstliche Intelligenz}} 2002
    * KI 1+2 (Stoyan)
    * KI 2 (Stoyan) [Nebenfach]
  * {{:pruefungen:hauptstudium:ki2000.pdf|Künstliche Intelligenz}} 2000
    * KI 1+2 (Stoyan)
    * Sprachverarbeitung + KI 1 (Görz)

==== Weitere Materialien ====
  * [[https://docs.google.com/document/d/1-ML-F7e2-uTuvUMPyFs4L50U4tAuhFmD8snNh8wDjdg/edit|KS1 Zusammenfassung WS 11/12]] (google docs link)
  * Zusammenfassung KI1 (WS 08/09): {{:pruefungen:hauptstudium:ls8:zusammenfassung-ki1.pdf|PDF}} ({{:pruefungen:hauptstudium:ls8:zusammenfassung-ki1.tar.gz|XeTeX-Quellen}})
  * Zusammenfassung Sprachverarbeitung (WS 08/09): {{:pruefungen:hauptstudium:ls8:zusammenfassung-sv.pdf|PDF}} ({{:pruefungen:hauptstudium:ls8:zusammenfassung-sv.tar.gz|XeTeX-Quellen}})
   * {{:pruefungen:hauptstudium:crypto_summary.pdf|Kryptologie und Protokollverifikation Zusammenfassung ws14/15}}({{:pruefungen:hauptstudium:crypto_summary.zip|crypto-summary Tex-Quelle}})
Die beiden Zusammenfassungen sind stellenweise relativ knapp und vielleicht auch unvollständig. Falls das jemand ändern mag: die XeTeX-Quellen sind dabei. \\ Wenn es damit Probleme geben sollte: [[:user:immoartl|immoartl]]