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

Wintersemester 2009/2010

• Arbeitsgemeinschaft Informatik, Logik und Mathematik
• Vorlesung "MS0402: - Ordnungen und Verbände"
• Übung zu: "Ordnungen und Verbände"
• Oberseminar "für Diplomanden und Mitarbeiter"
• Seminar "TEF-inf-FD2: - Planung, Durchführung und Analyse von Informatikunterricht (im Praxismodul 2)"
• Vertiefende Übung zu: "Planung, Durchführung und Analyse von Informatikunterricht (im Praxismodul 2)"

Sommersemester 2009

• Arbeitsgemeinschaft Informatik, Logik und Mathematik
• Vorlesung "Fachdidaktik der Informatik"
• Übungen zu: "Grundlagen fachbezogenen Lehrens und Lernens im Fach Informatik"
• Seminar "TEF-inf-FD1: Grundlagen der Fachdidaktik Informatik"
• Seminar "Informatikanwendungen von Ordnungen und Verbänden"
• Vorlesung "MS0401: - Semantik von Programmiersprachen"
• Übungen zu: "Semantik von Programmiersprachen"
• Vorlesung "MS0403: - Relationale Methoden in der Informatik"
• Übungen zu: Relationale Methoden in der Informatik
• Oberseminar "Rechnergestütze Programmentwicklung"

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