Computer-Aided Program Development Institute of Computer Science Faculty of Engineering, Christian-Albrechts-University of Kiel

Wintersemester 2008/2009

• Arbeitsgemeinschaft Informatik, Logik und Mathematik
• Vorlesung "Fachunterricht - Konzeption und Gestaltung im Fach Informatik"
• Übungen zu: Fachunterricht - Konzeption und Gestaltung im Fach Informatik
• Praktikum "G1.3: - Programmierpraktikum P1"
• Praktikum "G1.3L: - Programmierpraktikum P1"
• Vorlesung "MS0402: - Ordnungen und Verbände"
• Übungen zu: Ordnungen und Verbände
• Oberseminar für Diplomanden und wiss. Mitarbeiter

Sommersemester 2008

• Arbeitsgemeinschaft Informatik, Logik und Mathematik

Wintersemester 2007/2008

• Vorlesung Relationale Methoden in der Informatik
• Übungen zu: Relationale Methoden in der Informatik
• Arbeitsgemeinschaft Informatik, Logik und Mathematik

Sommersemester 2007

• Vorlesung Ordnungen und Verbände
• Übungen zu: Ordnungen und Verbände
• Vorlesung Semantik von Programmiersprachen
• Übungen zu: Semantik von Programmiersprachen
• Arbeitsgemeinschaft Informatik, Logik und Mathematik

Wintersemester 2006/2007

• Vorlesung Informatik I (Programmierung)
• Übungen zu: Informatik I
• Programmierpraktikum P1
• Arbeitsgemeinschaft Informatik, Logik und Mathematik

Sommersemester 2006

• Vorlesung Semantik von Programmiersprachen
• Übungen zu:Semantik von Programmiersprachen
• Vorlesung Ordnungen und Verbände
• Übungen zu Ordnungen und Verbände
• Softwarepraktikum
• Seminar Evolutionäre Algorithmen
• Arbeitsgemeinschaft Informatik, Logik und Mathematik

Wintersemester 2005/2006

• Vorlesung Formale Methoden der Programmierung und unterstützende Werkzeuge
• Übungen zu: Formale Methoden der Programmierung und unterstützende Werkzeuge
• Softwarepraktikum
• Seminar: Einige ausgewählte Themen aus der Theorie der Verbände und Relationen
• Arbeitsgemeinschaft Informatik, Logik und Mathematik

Sommersemester 2005

• Vorlesung Semantik von Programmiersprachen
• Übungen zu: Semantik von Programmiersprachen
• Vorlesung Verbands- und Relationentheorie mit Anwendungen in der Informatik
• Übungen zu: Verbands- und Relationentheorie mit Anwendungen in der Informatik
• Fortgeschrittenen-Praktikum
• Arbeitsgemeinschaft Informatik, Logik und Mathematik