tudo  ls1
Deutsch English (UK)
  • Home
  • Lehre
  • Research
  • Publications
  • Mitarbeiter
  • Kontakt
  • Intern
  • Aktuelle Seite:  
  • LS1 - Logik in der Informatik >
  • WS 19/20
  • 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 Wintersemester 19/20

Lehrveranstaltungen der Bachelorstudiengänge

  • Pflichtmodule
    • Einführung in die Grundlagen des Model Checking von Dr. Thomas Zeume
    • Funktionale Programmierung von Prof. Dr. Peter Padawitz
    • Logik für Informatiker von Dr. Thomas Zeume
  • Wahlpflichtmodule
    • Darstellung, Verarbeitung und Erwerb von Wissen von Prof. Dr. Gabriele Kern-Isberner
  • Wahlmodule
    • Konzepte und Methoden der Theoretischen Informatik von Prof. Dr. Thomas Schwentick
  • Proseminare
    • Automaten von Dr. Thomas Zeume

Lehrveranstaltungen der Masterstudiengänge

  • Vorlesungen
    • Logik und Komplexität von Prof. Dr. Thomas Schwentick
  • Seminare
    • Forgetting - Methoden im Kontext der Wissensrepräsentation von Prof. Dr. Gabriele Kern-Isberner
    • Seminar zu aktuellen Themen der Theoretischen Informatik von Prof. Dr. Thomas Schwentick

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

Wir nutzen Cookies auf unserer Website. Einige von ihnen sind essenziell für den Betrieb der Seite, während andere uns helfen, diese Website und die Nutzererfahrung zu verbessern (Tracking Cookies). Sie können selbst entscheiden, ob Sie die Cookies zulassen möchten. Bitte beachten Sie, dass bei einer Ablehnung womöglich nicht mehr alle Funktionalitäten der Seite zur Verfügung stehen.

Akzeptieren Ablehnen
Weitere Informationen