tudo  ls1
Deutsch English (UK)
  • Home
  • Lehre
  • Research
  • Publications
  • Mitarbeiter
  • Kontakt
  • Intern
  • You are here:  
  • LS1 - Logik in der Informatik >
  • SS 17
  • Lehrveranstaltungen
    • WS 20/21
    • SS 20
    • WS 19/20
    • SS 19
    • WS 18/19
    • SS 18
    • WS 17/18
    • SS 17
    • WS 16/17
    • SS 16
    • WS 15/16
    • SS 15
    • WS 14/15
    • SS 14
    • Ältere Semester
      • WS 13/14
      • SS 13
      • WS 12/13
      • SS 12
      • WS 11/12
      • SS 11
      • WS 10/11
      • SS 10
      • WS 09/10
      • SS 09
      • WS 08/09
      • SS 08
      • WS 07/08
  • Abschlussarbeiten
    • Bachelorarbeiten
    • Diplomarbeiten
  • Absolventenseminar
  • Video-Vorlesungen
    • Commonsense Reasoning
    • DVEW
    • EINI

Lehrveranstaltungen im Sommersemester 17

Lehrveranstaltungen der Bachelorstudiengänge

  • Pflichtmodule
    • Logik für Informatiker von Prof. Dr. Peter Padawitz
  • Wahlpflichtmodule
    • Fachprojekt Rapid Prototyping mit Haskell & Expander2 von Prof. Dr. Peter Padawitz
  • Proseminar
    • Parametrisierte Algorithmen von Prof. Dr. Thomas Schwentick

 

Lehrveranstaltungen der Masterstudiengänge

  • Basismodule
    • Commonsense Reasoning von Prof. Dr. Gabriele Kern-Isberner
    • Komplexitätstheorie von Prof. Dr. Thomas Schwentick
  • Vertiefungsmodule
    • Fortgeschrittene Themen der Wissenspräsentation von Prof. Dr. Gabriele Kern-Isberner
    • Logisch-Algebraischer Systementwurf von Prof. Dr. Peter Padawitz
  • Seminare
    • Executable Specification Languages von Prof. Dr. Peter Padawitz

 

Our teaching related web pages are currently only available in German 

 

© 2020 LS1 - Logik in der Informatik - Fakultät für Informatik Barrierefreiheit|Datenschutzerklärung|Impressum

We use cookies on our website. Some of them are essential for the operation of the site, while others help us to improve this site and the user experience (tracking cookies). You can decide for yourself whether you want to allow cookies or not. Please note that if you reject them, you may not be able to use all the functionalities of the site.

Ok Decline
More information