Lehrveranstaltungen im Wintersemester 11/12

• Pflichtmodule
  • Logik für Informatiker von Prof. Dr. Thomas Schwentick
    
  • Komplexitätstheorie von Prof. Dr. Thomas Schwentick
  • Funktionale Programmierung von Prof. Dr. Peter Padawitz
• Wahlmodule
  • Einführung in den logisch-algebraischen Systementwurf von Prof. Dr. Peter Padawitz
  • Mathematik für Informatiker I von Prof. Dr. Gabriele Kern-Isberner
• Wahlpflichtmodule
  • Übersetzerbau von Prof. Dr. Peter Padawitz
  • Darstellung, Verarbeitung und Erwerb von Wissen von Prof. Dr. Gabriele Kern-Isberner
• Proseminare

  • Proseminar Kategorientheoretische Grundlagen von Prof. Dr. Peter Padawitz

Lehrveranstaltungen der Masterstudiengänge

• Seminare
  • "Commonsense Reasoning in dynamischen Umgebungen" von Prof. Dr. Gabriele Kern-Isberner
  • Executable Specification Languages von Prof. Dr. Peter Padawitz

Exportveranstaltungen

• Einführung in die Informatik für Logistiker und Wirtschaftsingenieure von Dr. Lars Hildebrand
• Einführung in die Informatik für Logistiker und Wirtschaftsingenieure mit speziellen Informationen für Studierende an der Ruhr-Universität Bochum (RuhrCampusOnline) von Dr. Lars Hildebrand
• Einführung in die Informatik für Wirtschaftsmathematiker von Dr. Lars Hildebrand