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

Lehrveranstaltungen der Bachelorstudiengänge

  • Pflichtmodule
    • Funktionale Programmierung von Prof. Dr. Peter Padawitz
    • Logik für Informatiker von Prof. Dr. Thomas Schwentick
  • Wahlpflichtmodule
    • Übersetzerbau von Prof. Dr. Peter Padawitz
    • Darstellung, Verarbeitung und Erwerb von Wissen von Prof. Dr. Gabriele Kern-Isberner
  • Wahlmodul
    • Einführung in den logisch-algebraischen Systementwurf von Prof. Dr. Peter Padawitz
    • Konzepte und Methoden der Theoretischen Informatik von Prof. Dr. Thomas Schwentick
  • Proseminar
    • Grundlagen algebraischer Modellierung und funktionaler Programmierung von Prof. Dr. Peter Padawitz
    • Verteilte Algorithmen von Dr. rer. nat. Thomas Zeume

 

Lehrveranstaltungen der Masterstudiengänge

  • Vorlesungen
    • Datenbanktheorie von Prof. Dr. Thomas Schwentick
  • Seminare
    • Revision und Fusion von Wissen von Prof. Dr. Gabriele Kern-Isberner

 

Our teaching related web pages are currently only available in German 

 

© 2021 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