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

Lehrveranstaltungen der Bachelorstudiengänge
  • 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

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

We use cookies on our website. Some of them are essential for the operation of the site, while others help us to improve this site and the user experience (tracking cookies). You can decide for yourself whether you want to allow cookies or not. Please note that if you reject them, you may not be able to use all the functionalities of the site.

Ok Decline
More information