Lehrveranstaltungen

In den Lehrverstanstaltungen der Arbeitsgruppe Programmiersprachen und Übersetzerkonstruktion werden verschiedene Aspekte von Programmiersprachen, von den Konzepten bis zu deren Implementierung und ihren Anwendungen, erläutert. Warum es für Informatikstudierende wichtig ist, die Prinzipien von Programmiersprachen zu erlernen, ist in diesem Paper der amerikanischen Computervereinigung ACM nachzulesen. Nachfolgend sind die regelmäßigen Lehrveranstaltungen der Arbeitsgruppe zu finden. Abschlussarbeiten (Bachelor/Master/Diplom) können individuell festgelegt werden. Einige Vorschläge für solche Abschlussarbeiten kann man hier finden.

Lehrveranstaltungen im Wintersemester 2013/2014

 

Lehrveranstaltungen im Sommersemester 2013

Lehrveranstaltungen im Wintersemester 2012/2013

Lehrveranstaltungen im Sommersemester 2012

  • Vorlesung "Inf-FortProg: Fortgeschrittene Programmierung" (Ankündigung)
  • Seminar "Inf-MP-PS: Projektmodul "Programmiersprachen und Programmiersysteme" (Ankündigung)
  • Seminar "Inf-PM-PS: Projektmodul "Programmiersprachen und Programmiersysteme" (Ankündigung)
  • Vorlesung "MS0301: Prinzipien von Programmiersprachen"  (Ankündigung)

Lehrveranstaltungen im Wintersemester 2011/2012

Lehrveranstaltungen im Sommersemester 2011

 

Lehrveranstaltungen im Wintersemester 2010/2011

 

Lehrveranstaltungen im Sommersemester 2010

Lehrveranstaltungen im Wintersemester 2009/2010

  • Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
  • Vorlesung "Inf-Prog - Programmierung" (Ankündigung)
  • Masterabschluss-Seminar (Ankündigung)
  • Vorlesung "MS0302: Übersetzerbau" (Ankündigung)
  • Seminar "MSS0302: - Programmiersprachen und Programmiersysteme" (Ankündigung, weitere Infos)
  • Vorlesung "NF-Inf-1: - Informatik für Nebenfächler" (Ankündigung)
  • Vertiefende Übung zu: "Informatik für Nebenfächler" (Ankündigung)
  • Vorlesung "NF-Inf-3: - Programmiertechniken für die Künstliche Intelligenz für Nebenfächler" (Ankündigung)
  • Vorlesung "WI16: - Programmiertechniken für die Künstliche Intelligenz" (Ankündigung)
  • Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2009

  • Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
  • Vorlesung "MS0303: - Deklarative Programmiersprache"(Ankündigung)
  • Vorlesung "MS0306: - Nebenläufige und verteilte Programmierung" (Ankündigung)
  • Seminar "MSS0302: Seminar - Programmiersprachen und Programmiersysteme" (Ankündigung)
  • Vorlesung "Systematisches Programmieren" (Ankündigung)
  • Vorlesung "Systematisches Programmieren für Physiker" (Ankündigung)
  • Vorlesung "WI09 - Fortgeschrittene 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

Lehrveranstaltungen im Wintersemester 2007/2008

Lehrveranstaltungen im Sommersemester 2007

Lehrveranstaltungen im Wintersemester 2006/2007

Lehrveranstaltungen im Sommersemester 2006

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