Suche

Deutsch English (UK)

Home
Aktuelles
Lehre
Research
Publications
Mitarbeiter
Kontakt
Intern

Aktuelle Seite:
LS1 - Logik in der Informatik >
Lehrveranstaltungen >
Ältere Semester

Lehrveranstaltungen
- 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
Dipl.-Dokt.-Seminar
Video-Vorlesungen

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

© 2018 LS1 - Logik in der Informatik - Fakultät für Informatik