Jens Knoop
Institut für Computersprachen
Programmiersprachen und Übersetzer

Lehre 2009 S

Haben Sie Interesse an einem geförderten Auslandsstudium?

Informationen zu Fördermöglichkeiten finden Sie hier.

Bachelor-Lehrveranstaltungen

• Grundlagen methodischen Arbeitens, 185.283, SE 2.0, ECTS 3.0
        siehe auch TUWIS++/185.283
        siehe auch GMA 185.283 / Gruppe A (Knoop)

• Projektpraktikum, 185.277 PR 4.0, ECTS 6.0
         siehe auch TUWIS++/185.277

• Freifachpraktikum, 185.236 PR 4.0, ECTS 6.0
         siehe auch TUWIS++/185.236

Master- und Doktoratslehrveranstaltungen

• Gastvorlesung von Prof. Dr. Robert Glück im Rahmen einer ERASMUS/SOKRATES-Vereinbarung mit der Universität Kopenhagen:
  Programminvertierung und Reversibles Rechnen, 185.331, VU 2.0, ECTS 3.0
         siehe auch TUWIS++/185.331

• Gastvorlesung von Prof. Dr. Wolf Zimmermann im Rahmen einer ERASMUS/SOKRATES-Vereinbarung mit der Universität Halle-Wittenberg:
  Verifikation von Übersetzern, 185.323, VU 2.0, ECTS 3.0
         siehe auch TUWIS++/185.323

• Fortgeschrittene funktionale Programmierung, 185.210, VL 2.0, ECTS 3.0
        siehe auch TUWIS++/185.210

• Analyse und Verifikation, 185.276, VU 2.0, ECTS 3.0
        siehe auch TUWIS++/185.276

• Seminar aus Programmiersprachen, 185.307, SE 2.0, ECTS 3.0
         siehe auch TUWIS++/185.307

• Informatikpraktikum 1, 185.309 PR 4.0, ECTS 6.0
         siehe auch TUWIS++/185.309

• Informatikpraktikum 2, 185.308 PR 4.0, ECTS 6.0
         siehe auch TUWIS++/185.308

• Freifachpraktikum, 185.236 PR 4.0, ECTS 6.0
         siehe auch TUWIS++/185.236

• Seminar für DiplomandInnen, 185.215 SE 2.0, ECTS 3.0
         siehe auch TUWIS++/185.215

• Dissertantenseminar, 185.199 SE 2.0, ECTS 2.0
         siehe auch TUWIS++/185.199

Übersicht aller E185-Lehrveranstaltungen

• Siehe TUWIS++ für eine Übersicht über alle aktuell vom Institut E185 angebotenen Lehrveranstaltungen.