Lehrveranstaltungen
Vorschläge für neue Diplomarbeiten kann man hier finden.
Lehrveranstaltungen im Sommersemester 2009
Vorläufig!
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Vorlesung "MS0303: Grundlagen deklarativer Programmiersprachen"(Ankündigung)
- Vorlesung "MS0306 - Nebenläufige und verteilte Programmierung" (Ankündigung)
- Vorlesung "Systematisches Programmieren" (Ankündigung)
- Vorlesung "Systematisches Programmieren für Physiker" (Ankündigung)
- Vorlesung "WI09 - Deklarative Programmierung" (Ankündigung)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
Lehrveranstaltungen im Wintersemester 2008/2009
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Vorlesung "G1.1 - Informatik I (Programmierung)" (Ankündigung)
- A6.5: Projektmodul "Werkzeuge zur Fehlersuche" (Ankündigung)
- MSP0302: Masterprojekt "Werkzeuge zur Fehlersuche" (Ankündigung)
- Vorlesung "Informatik für Nebenfächler" (Ankündigung)
- Vorlesung "MS0301 - Prinzipien von Programmiersprachen" (Ankündigung)
- Vorlesung "Objektorientierte Programmierung für Nebenfächler" (Ankündigung)
- Vorlesung "WI08: - Objektorientierte Programmierung" (Ankündigung)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
Lehrveranstaltungen im Sommersemester 2008
- BA6.3: - Projektmodul Internetprogrammierung (Ankündigung)
- Vorlesung "Übersetzerbau (MS0302)" (Ankündigung)
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Vorlesung "Funktionale Programmierung (MS0304)" (Ankündigung)
- Systematisches Programmieren (Ankündigung)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
Lehrveranstaltungen im Wintersemester 2007/2008
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Vorlesung "G1.1 - Informatik I (Programmierung)" (Ankündigung)
- G1.3 - Programmierpraktikum P1 (Ankündigung, weitere Infos)
- Vorlesung "MS0306 - Nebenläufige und verteilte Programmierung" (Ankündigung, Übungen)
- Vorlesung "MS0308 - Programmiertechniken für die künstliche Intelligenz" (Ankündigung)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
Lehrveranstaltungen im Sommersemester 2007
- Vorlesung "Deklarative Programmiersprachen" (Ankündigung)
- Seminar "Funktionale Programmiertechniken" (Ankündigung)
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Fachpraktische Übung mit Seminar "Verteilte Echtzeit-Programmierung" (Ankündigung)
- Systematisches Programmieren (Ankündigung)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
Lehrveranstaltungen im Wintersemester 2006/2007
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Vorlesung "Funktionale Programmierung" (Ankündigung) / Übung
- Vorlesung "Prinzipien von Programmiersprachen"
- Vorlesung "Objektorientierte Programmierung"
- Seminar "Programmierwerkzeuge" (Ankündigung)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
Lehrveranstaltungen im Sommersemester 2006
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Vorlesung "Übersetzerbau" (Ankündigung)
- Vorlesung "Logikprogrammierung" (Ankündigung)
- Vorlesung "Systematisches Programmieren" (Ankündigung)
- Praktikum "Webbasierte Systeme"
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
Lehrveranstaltungen im Wintersemester 2005/2006
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Seminar "Fortgeschrittene Techniken der funktionalen Programmierung" (Ankündigung)
- Vorlesung "Informatik I (Programmierung/G1.1)" (Ankündigung)
- Programmierpraktikum (P1-G1.3)"Informatik I" (Ankündigung)
- Vorlesung "Programmiertechniken für die künstliche Intelligenz" (Ankündigung)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
Lehrveranstaltungen im Sommersemester 2005
- Vorlesung "Funktionale Programmierung" (Ankündigung)
- Vorlesung "Implementierung objektorientierter Sprachen" (Ankündigung)
- Vorlesung "Systematisches Programmieren" (Ankündigung)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
Lehrveranstaltungen im Wintersemester 2004/2005
- Vorlesung "Prinzipien von Programmiersprachen" (Ankündigung)
- Fortgeschrittenen-Praktikum "Internet-Programmierung" (Ankündigung)
- Vorlesung "Objektorientierte Programmierung"
- Vorlesung "Probleme beim Bau voll korrekter Übersetzer"
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
Lehrveranstaltungen im Sommersemester 2004
- Vorlesung "Deklarative Programmiersprachen" (Ankündigung)
- Vorlesung "Systematisches Programmieren" (Ankündigung)
- Vorlesung "Softwaretechnik zum Zertifizieren von Systemen"(Ankündigung)
- Seminar "Implementierung von Programmiersprachen" (Ankündigung)
- Diplomandenseminar hier sind Vorschläge für Diplomarbeiten)
- Fortgeschrittenen Praktikum "WebFun"(Ankündigung)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
Lehrveranstaltungen im Wintersemester 2003/2004
- Vorlesung "Informatik I (Programmierung)" (Ankündigung)
- Programmierpraktikum "Informatik I" (Ankündigung)
- Vorlesung "Übersetzerbau" (Ankündigung)
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
- Vorlesung "Programmiertechniken für die künstliche Intelligenz" (Ankündigung)
- Vorlesung "Implementierung Objektorientierter Sprachen"(Ankündigung)
Lehrveranstaltungen im Sommersemester 2003
- Vorlesung "Logikprogrammierung" (Ankündigung)
- Seminar "Programmierung verteilter Systeme" (Ankündigung)
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
- Vorlesung "Systematisches Programmieren" (Ankündigung)
Lehrveranstaltungen im Wintersemester 2002/2003
- Vorlesung "Prinzipien von Programmiersprachen" (Ankündigung)
- Vorlesung "Nebenläufige und verteilte Programmierung" (Ankündigung)
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
- Fortgeschrittenen-Praktikum "Internet-Programmierung" (Ankündigung)
- Vorlesung "Objektorientierte Programmierung" (Ankündigung)
Lehrveranstaltungen im Sommersemester 2002
- Vorlesung "Deklarative Programmiersprachen" (Ankündigung)
- Seminar "Programmiersprachen für eingebettete Systeme und Echtzeitsysteme" (Ankündigung)
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
- Fortgeschrittenen-Praktikum "Verifikation von Webseiten" (Ankündigung)
- Vorlesung "Systematisches Programmieren" (Ankündigung)
Lehrveranstaltungen im Wintersemester 2001/2002
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Vorlesung "Informatik I (Programmierung)" (Ankündigung)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
- Programmierpraktikum "Informatik I" (Ankündigung)
- Vorlesung "Programmiertechniken für die künstliche Intelligenz" (Ankündigung)
- Vorlesung "Softwaretechnik zum Zertifizieren von Systemen" (Ankündigung)
- Vorlesung "Übersetzerkonstruktion" (Ankündigung)
- Seminar "Objektorientierte Entwurfstechniken und Programmiersprachen" (Ankündigung)
Lehrveranstaltungen im Sommersemester 2001
- Vorlesung "Prinzipien von Programmiersprachen" (Ankündigung)
- Fortgeschrittenen-Praktikum "Verteilte Programmierung" (Ankündigung)
- Seminar "Hochsprachen zur nebenläufigen und verteilten Programmierung" (Ankündigung)
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
- Vorlesung "Probleme beim Bau voll korrekter Übersetzer" (Ankündigung) (Übung)
- Vorlesung "Systematisches Programmieren" (Nebenfachausbildung)(Ankündigung)
Lehrveranstaltungen im Wintersemester 2000/2001
- Vorlesung "Informatik I" (Ankündigung)
- Vorlesung "Logikprogrammierung" (Ankündigung)
- Seminar Internet-Programmiersprachen (Ankündigung)
- Vorlesung "Implementierung objektorientierter Sprachen" (Ankündigung)
- Übungen zu "Implementierung objektorientierter Sprachen" (Hinweis)
- Vorlesung "Objektorientierte Programmierung" (Ankündigung)
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
Lehrveranstaltungen im Sommersemester 2000
- Vorlesung "Übersetzerkonstruktion" (Ankündigung) (Übungen)
- Vorlesung "Deklarative Programmiersprachen" (Ankündigung) (Übungen)
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)