Arbeitsgruppe Rechnergestützte Programmentwicklung

Veranstaltungen aus früheren Semestern

Wintersemester 2011/2012

 

Sommersemester 2010
  • Arbeitsgemeinschaft Informatik, Logik und Mathematik
  • Fortgeschrittenenpraktikum "A5.3.8: Rechnergestützte Programmentwicklung (iPhone Programmierung)"
  • Projektmodul "BA6.10: Rechnergestützte Programmentwicklung (iPhone Programmierung)"
  • Fortgeschrittenenpraktikum "MSP040: Rechnergestützte Programmentwicklung (iPhone Programmierung)"
  • Seminar "Fachdidaktik der Informatik"
  • Seminar "TEF-info-FD1: Grundlagen fachbezogenen Lehrens und Lernens im Fach Informatik"
  • Übung zu: "Grundlagen fachbezogenen Lehrens und Lernens im Fach Informatik"
  • Vorlesung "Inf-Math-A: Mathematik für Informatiker A - Grundlagen und Diskrete Strukturen"
  • Übung zu: "Mathematik für Informatiker A - Grundlagen und Diskrete Strukturen"
  • Vorlesung "WI11: Semantik von Programmiersprachen"
  • Übung zu: "Semantik von Programmiersprachen"
  • Oberseminar "für Diplomanden und Mitarbeiter"


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