Computer-Aided Program Development
Institute of Computer Science
Faculty of Engineering
,
Christian-Albrechts-University of Kiel
Aktuelle Lehrveranstaltungen
Sommersemester 2010
Alle Angaben sind vorläufig!
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)"
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
Forschungsfreisemester
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
Rudolf Berghammer
-
rub@informatik.uni-kiel.de
Last modified: 06-Jan-2010, 10:24:24 MET