Lehrstuhl 8

• Praktische Semantik von Programmiersprachen SS2023
• Praktische Semantik von Programmiersprachen SS2022
• Praktische Semantik von Programmiersprachen SS2016
• Praktische Semantik von Programmiersprachen SS2013 (1)
• Praktische Semantik von Programmiersprachen SS2013 (2)
• Praktische Semantik von Programmiersprachen SS2013 (3)

• Algebra des Programmierens WS2023/24
• Algebra des Programmierens WS23/24
• Algebra des Programmierens WS2018/19
• Algebra der Programmierung WS2013/14
• Zusammenfassung des relevanten Stoffes (WS23)
• Zusammenfassung des relevanteren Stoffes (WS23/24)

• Formale Methoden der Softwareentwicklung WS2016/17
• Formale Methoden der Softwareentwicklung WS2014/15
• Formale Methoden der Softwareentwicklung WS12/13 (1)
• Formale Methoden der Softwareentwicklung WS12/13 (2)

• Ontologien im Semantic Web WS2014/15 (1)
• Ontologien im Semantic Web WS2014/15 (2)
• Ontologien im Semantic Web WS2019/20
• Ontologien im Semantic Web WS2021/22

• MBProg WS21/21
• MBProg SS23 Miniprotokoll

• IDenT SS22
• IDenT SS22

• Kommunikation und Parallele Prozesse SS2015
• Kommunikation und Parallele Prozesse SS2015
• Kommunikation und Parallele Prozesse SS2013

• NomSet SS24 Kurzprotokoll

• Nonclassical Logics WS15/16
• Kryptologie & Protokollverifikation WS2014/15

• KS 1 (Zenker) WS 2011/12: (1) (2) (3) (4)
• KI 1 (Ludwig) + Text Mining (Mandl) 2009
• KI 1 (Ludwig) + Sprachverarbeitung (Görz) 2009
• KI 1 (Stoyan) + TM (Ludwig) 2007
• MMT + TM 2006
• Künstliche Intelligenz 2005
  • KI 1 (Stoyan) + KI 2 (Ludwig)
• Künstliche Intelligenz 2003
  • KI 1+2 (Stoyan)
• Künstliche Intelligenz 2002
  • KI 1+2 (Stoyan)
  • KI 2 (Stoyan) [Nebenfach]
• Künstliche Intelligenz 2000
  • KI 1+2 (Stoyan)
  • Sprachverarbeitung + KI 1 (Görz)

• KS1 Zusammenfassung WS 11/12 (google docs link)
• Zusammenfassung KI1 (WS 08/09): PDF (XeTeX-Quellen)
• Zusammenfassung Sprachverarbeitung (WS 08/09): PDF (XeTeX-Quellen)
• Kryptologie und Protokollverifikation Zusammenfassung ws14/15(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: immoartl