tudo  ls1
Deutsch English (UK)
  • Home
  • Lehre
  • Research
  • Publications
  • Mitarbeiter
  • Kontakt
  • Intern
  • You are here:  
  • LS1 - Logik in der Informatik >
  • Lehrveranstaltungen >
  • Ältere Semester >
  • WS 10/11
  • Lehrveranstaltungen
    • 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 10/11

Lehrveranstaltungen der Bachelorstudiengänge
  • Pflichtmodule
    • Logik für Informatiker von Prof. Dr. Thomas Schwentick
    • Komplexitätstheorie von Prof. Dr. Thomas Schwentick
    • Praktische Informatik für Wirtschaftsmathematiker, Ingenieure und Naturwissenschaftler I von Dr. Lars Hildebrand
    • Funktionale Programmierung von Prof. Dr. Peter Padawitz
  • 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

Lehrveranstaltungen der Masterstudiengänge

  • Seminare
    • Anwendbarkeit theorethischer Konzepte in der Multiagentenprogrammierung von Prof. Dr. Gabriele Kern-Isberner
  • Proseminare
    • Automatisches Planen: Wie soll ein Hafenroboter Container stapeln? von Prof. Dr. Gabriele Kern-Isberner

Our teaching related web pages are currently only available in German 

 

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

Cookies make it easier for us to provide you with our services. With the usage of our services you permit us to use cookies.
More information Ok