tudo  ls1
Deutsch English (UK)
  • Home
  • Lehre
  • Research
  • Publications
  • Mitarbeiter
  • Kontakt
  • Intern
  • Aktuelle Seite:  
  • LS1 - Logik in der Informatik >
  • Ältere Semester
  • 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 13/14

Lehrveranstaltungen der Bachelorstudiengänge im WS 2013/2014

  • Pflichtmodule
    • Funktionale Programmierung von Prof. Dr. Peter Padawitz
    • Logik für Informatiker von Prof. Dr. Thomas Schwentick
  • Wahlpflichtmodule
    • Darstellung, Verarbeitung und Erwerb von Wissen von Prof. Dr. Gabriele Kern-Isberner
    • Übersetzerbau von Prof. Dr. Peter Padawitz
  • Wahlmodule
    • Einführung in den logisch-algebraischen Systementwurf von Prof. Dr. Peter Padawitz
  • Proseminare
    • Automatisches Planen - Wie agenten ihre Ziele erreichen (können) (inkl. Präsentationskurs) von Prof. Dr. Gabriele Kern-Isberner
    • Parametrisierte Algorithmen von Prof. Dr. Thomas Schwentick

Lehrveranstaltungen der Masterstudiengänge im WS 2013/2014

  • Vertiefungsmodule
    • Datenbanktheorie von Prof. Dr. Thomas Schwentick
  • Seminare
    • Executable Specification Languages von Prof. Dr. Peter Padawitz

Exportveranstaltungen im WS 2013/2014

  • Einführung in die Informatik für Logistiker und Wirtschaftsingenieure von Dr. Lars Hildebrand
  • Einführung in die Informatik für Logistiker und Wirtschaftsingenieure (RCO) von Dr. Lars Hildebrand
  • Einführung in die Informatik für Wirtschaftsmathematiker von Dr. Lars Hildebrand

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

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