In den Vorlagen finden Sie alle Lehrveranstaltungen tabellarisch aufgeführt, die Sie im vorigen Wintersemester gemeldet hatten mit den folgenden Informationen:
- Titel
- englischer Titel
- Semesterwochenstunden
- Sprache ... deutsch/englisch
- Dozent/Prüfer ... Falls die LV von einem externen oder Gastdozenten gehalten wird, geben Sie bitte einen Fakultätsinternen Professor an, der die Prüfungen übernimmt, wenn der externe/Gastdozent dies nicht tun kann.
- verantwortliche Professur ... sofern Externe/Gastdozenten die LV halten, ist hier zuvermerken, welche Professur die Verantwortung für die LV trägt.
- Prüfungsleistung ... Bitte geben Sie hier die Prüfungsform der Lehrveranstaltung an, wenn diese in einem der folgenden Module angeboten wird: INF-AQUA, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-B-610, INF-D-940. Für alle anderen Module ist die Angabe nicht erforderlich und wird ignoriert, da alle anderen Module die Prüfungsart direkt festlegen!
- URL
- Raumvergabe erbeten ... Bitte geben Sie hier an, ob und wieviele zentral verwaltete Räume (Campus/APB-Seminarräume) benötigt werden.
- erforderliche Ausstattung ... Bitte notieren Sie hier alle absolut notwendigen Ausstattungsanforderungen, die ihre LV hat, bspw. 3D-Beamer/Doppelprojektion/4 Tafeln/...
- Einschreibung mit jExam ... Bitte notieren Sie hier, ob Sie über jExam Einschreibungen vornehmen wollen. Die LV wird in diesem Fall in jExam angelegt.
- Module ... Die Module sind nach Studiengängen sortiert.
In der dritten Spalte der Tabelle haben Sie die Möglichkeit, Änderungen für die einzelnen LV einzutragen. Bitte lassen Sie die ersten beiden Spalten der Tabelle unangetastet. Bei der Modulzuordnung geben Sie Änderungen bitte in Form von "Hinzufügen in / Löschen aus Modul X" an (die Modulnummer genügt). Am Ende des Dokumentes finden Sie eine leere Tabelle als Vorlage für neue Lehrveranstaltungen. Bitte geben Sie bei neuen Lehrveranstaltungen an, ob Räume benötigt werden. Lehrveranstaltungen aus früheren Semestern oder aus dem vergangenen/aktuellen Sommersemester können auf Anfrage aktiviert werden. Kontaktieren Sie mich dazu bitte, bevor sie die Tabellen ausfüllen!
Master-Niveau: Diese Lehrveranstaltung ist an Master- bzw. Diplomstudenten im Hauptstudium gerichtet. Diese Angebot ist optional und nur für fortgeschrittene Studenten empfohlen. Diese Angabe ist bei Eintragungen in INF-B-5x0 notwendig, um den Studierenden den höheren Anspruch/Aufwand zu verdeutlichen.
Zusätzlich zu den Modulen aus Bachelor/Master/Diplom Informatik, Medieninformatik und Informationssystemtechnik gibt es noch folgende Module für andere Studiengänge
- MCL-* ... Master Computational Logic
- DSE-10* ... Master Distributed Systems Engineering (PO 2010)
- DSE-14* ... Master Distributed Systems Engineering (PO 2014)
- INF-LA* ... Bachelor/Master Lehramt
- INF-SE* ... Staatsexamen Lehramt (Gymnasium, Mittelschule, berufsbildende Schulen)
und folgende Pseudo-Module für ältere Studiengänge und Sonstiges
- INF-04* ... Diplom Informatik, Prüfungs-/ Studienordnung 2004
- MINF-04* ... Diplom Medieninformatik, Prüfungs-/ Studienordnung 2004
- IST-05* ... Diplom Informationssystemtechnik, Prüfungs-/ Studienordnung 2005-2010
- INF-LE* ... Lehrexport an andere Fakultäten/Fachbereiche
- FAK-INF-FF ... Fakultative Lehrveranstaltungen für alle Studierende an der Fakultät Informatik
Art und Dauer von Prüfungsleistungen sind den Modulbeschreibungen zu entnehmen. Ausnahmen hierfür sind die Module INF-AQUA, INF-B-510/20/30/40, INF-B-610 und INF-D-940 - hier wird die Prüfungsform der jeweiligen Lehrveranstaltung explizit angegeben. Mögliche Prüfungsformen sind
- Seminararbeit und Präsentation
- P(m) ... mündliche Prüfung im angegebenen Umfang
- P(PP) ... Praktikumsprotokoll
- P(sA) ... schriftliche Ausarbeitung
- P(PA) ... Projektarbeit
- P(PE) ... bewertbares Ergebnis des Praktikums
| Titel |
Model Checking |
|
| englischer Titel |
|
|
| SWS |
4/4/0 |
|
| Sprache |
en |
|
| verantwortliche Professur |
Algebraische und logische Grundlagen der Informatik |
|
| Dozent |
Prof. Christel Baier Dr. Sascha Klüppelholz |
|
| Prüfungsleistung |
P(m) 30min |
|
| URL |
https://tu-dresden.de/ing/informatik/thi/alg/studium/lehrveranstaltungen?set_language=en |
|
| Raumvergabe erbeten |
|
|
| erforderliche Ausstattung |
|
|
| Einschreibung mit jExam |
|
|
| Studiengänge und Module |
|
|
| Informatik, Bachelor |
INF-B-510 , INF-B-520 |
|
| Informatik, Master |
INF-BAS6 , INF-VERT6 |
|
| Informatik, Diplom 2004 |
|
|
| Informatik, Diplom 2010 |
INF-BAS6 , INF-VERT6 |
|
| Medieninformatik, Bachelor |
|
|
| Medieninformatik, Master |
|
|
| Medieninformatik, Diplom 2004 |
|
|
| Informationssystemtechnik, Diplom 2005 |
|
|
| Informationssystemtechnik, Diplom 2010 |
|
|
| Computational Logic |
MCL-TCSL |
|
| Computational Science and Engineering |
|
|
| Distributed Systems Engineering, PO 2014 |
|
|
| Computational Modeling and Simulation, Master |
|
|
| Lehramt, Master, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Oberschulen |
|
|
| Lehramt, Master, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) |
|
|
| Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung) |
|
|
| Fakultative Fächer |
|
|
| Lehrexport |
|
|
| Titel |
Project Group Model Checking |
|
| englischer Titel |
|
|
| SWS |
0/0/4 |
|
| Sprache |
en |
|
| verantwortliche Professur |
Algebraische und logische Grundlagen der Informatik |
|
| Dozent |
Prof. Christel Baier |
|
| Prüfungsleistung |
Projektarbeit |
|
| URL |
https://tu-dresden.de/ing/informatik/thi/alg/studium/lehrveranstaltungen/summer-term-2020/komplexpraktikum-2 |
|
| Raumvergabe erbeten |
|
|
| erforderliche Ausstattung |
|
|
| Einschreibung mit jExam |
|
|
| Studiengänge und Module |
|
|
| Informatik, Bachelor |
|
|
| Informatik, Master |
INF-PM-FPG |
|
| Informatik, Diplom 2004 |
|
|
| Informatik, Diplom 2010 |
INF-PM-FPG |
|
| Medieninformatik, Bachelor |
|
|
| Medieninformatik, Master |
|
|
| Medieninformatik, Diplom 2004 |
|
|
| Informationssystemtechnik, Diplom 2005 |
|
|
| Informationssystemtechnik, Diplom 2010 |
|
|
| Computational Logic |
MCL-P |
|
| Computational Science and Engineering |
|
|
| Distributed Systems Engineering, PO 2014 |
|
|
| Computational Modeling and Simulation, Master |
|
|
| Lehramt, Master, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Oberschulen |
|
|
| Lehramt, Master, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) |
|
|
| Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung) |
|
|
| Fakultative Fächer |
|
|
| Lehrexport |
|
|
| Titel |
Proseminar Theoretische Informatik |
|
| englischer Titel |
|
|
| SWS |
0/2/0 |
|
| Sprache |
dt |
|
| verantwortliche Professur |
Algebraische und logische Grundlagen der Informatik |
|
| Dozent |
Prof. Christel Baier |
|
| Prüfungsleistung |
Seminararbeit und Präsentation |
|
| URL |
https://tu-dresden.de/ing/informatik/thi/alg/studium/lehrveranstaltungen/summer-term-2020/proseminar |
|
| Raumvergabe erbeten |
|
|
| erforderliche Ausstattung |
|
|
| Einschreibung mit jExam |
|
|
| Studiengänge und Module |
|
|
| Informatik, Bachelor |
INF-B-510 , INF-B-520 , INF-B-610 |
|
| Informatik, Master |
|
|
| Informatik, Diplom 2004 |
|
|
| Informatik, Diplom 2010 |
INF-D-520 |
|
| Medieninformatik, Bachelor |
INF-B-610 |
|
| Medieninformatik, Master |
|
|
| Medieninformatik, Diplom 2004 |
|
|
| Informationssystemtechnik, Diplom 2005 |
|
|
| Informationssystemtechnik, Diplom 2010 |
|
|
| Computational Logic |
|
|
| Computational Science and Engineering |
|
|
| Distributed Systems Engineering, PO 2014 |
|
|
| Computational Modeling and Simulation, Master |
|
|
| Lehramt, Master, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Oberschulen |
|
|
| Lehramt, Master, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) |
|
|
| Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung) |
|
|
| Fakultative Fächer |
|
|
| Lehrexport |
|
|
| Titel |
Laborkurs Modeling and Automated Verification |
|
| englischer Titel |
Lab Course Modeling and Automated Verification |
|
| SWS |
0/2/0 |
|
| Sprache |
en |
|
| verantwortliche Professur |
Algebraische und logische Grundlagen der Informatik |
|
| Dozent |
Prof. Christel Baier |
|
| Prüfungsleistung |
|
|
| URL |
https://tu-dresden.de/ing/informatik/thi/alg/studium/lehrveranstaltungen/summer-term-2020/lab-course |
|
| Raumvergabe erbeten |
|
|
| erforderliche Ausstattung |
|
|
| Einschreibung mit jExam |
|
|
| Studiengänge und Module |
|
|
| Informatik, Bachelor |
|
|
| Informatik, Master |
|
|
| Informatik, Diplom 2004 |
|
|
| Informatik, Diplom 2010 |
|
|
| Medieninformatik, Bachelor |
|
|
| Medieninformatik, Master |
|
|
| Medieninformatik, Diplom 2004 |
|
|
| Informationssystemtechnik, Diplom 2005 |
|
|
| Informationssystemtechnik, Diplom 2010 |
|
|
| Computational Logic |
MCL-PS |
|
| Computational Science and Engineering |
|
|
| Distributed Systems Engineering, PO 2014 |
|
|
| Computational Modeling and Simulation, Master |
|
|
| Lehramt, Master, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Oberschulen |
|
|
| Lehramt, Master, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) |
|
|
| Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung) |
|
|
| Fakultative Fächer |
|
|
| Lehrexport |
|
|
| Titel |
Komplexpraktikum Modellierung und quantitative Systemanalyse I |
|
| englischer Titel |
|
|
| SWS |
0/0/4 |
|
| Sprache |
dt |
|
| verantwortliche Professur |
Algebraische und logische Grundlagen der Informatik |
|
| Dozent |
Prof. Christel Baier |
|
| Prüfungsleistung |
|
|
| URL |
https://tu-dresden.de/ing/informatik/thi/alg/studium/lehrveranstaltungen |
|
| Raumvergabe erbeten |
|
|
| erforderliche Ausstattung |
|
|
| Einschreibung mit jExam |
|
|
| Studiengänge und Module |
|
|
| Informatik, Bachelor |
|
|
| Informatik, Master |
INF-MA-PR , INF-PM-FPG |
|
| Informatik, Diplom 2004 |
INF-04-KP , INF-04-P |
|
| Informatik, Diplom 2010 |
INF-PM-FPG |
|
| Medieninformatik, Bachelor |
|
|
| Medieninformatik, Master |
|
|
| Medieninformatik, Diplom 2004 |
|
|
| Informationssystemtechnik, Diplom 2005 |
IST-05-KP |
|
| Informationssystemtechnik, Diplom 2010 |
|
|
| Computational Logic |
|
|
| Computational Science and Engineering |
|
|
| Distributed Systems Engineering, PO 2014 |
|
|
| Computational Modeling and Simulation, Master |
|
|
| Lehramt, Master, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Oberschulen |
|
|
| Lehramt, Master, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) |
|
|
| Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung) |
|
|
| Fakultative Fächer |
|
|
| Lehrexport |
|
|
| Titel |
Komplexpraktikum Modellierung und quantitative Systemanalyse II |
|
| englischer Titel |
|
|
| SWS |
0/0/8 |
|
| Sprache |
dt |
|
| verantwortliche Professur |
Algebraische und logische Grundlagen der Informatik |
|
| Dozent |
Prof. Christel Baier |
|
| Prüfungsleistung |
|
|
| URL |
https://tu-dresden.de/ing/informatik/thi/alg/studium/lehrveranstaltungen |
|
| Raumvergabe erbeten |
|
|
| erforderliche Ausstattung |
|
|
| Einschreibung mit jExam |
|
|
| Studiengänge und Module |
|
|
| Informatik, Bachelor |
|
|
| Informatik, Master |
INF-MA-PR , INF-PM-FPG |
|
| Informatik, Diplom 2004 |
|
|
| Informatik, Diplom 2010 |
INF-PM-FPG |
|
| Medieninformatik, Bachelor |
|
|
| Medieninformatik, Master |
|
|
| Medieninformatik, Diplom 2004 |
|
|
| Informationssystemtechnik, Diplom 2005 |
|
|
| Informationssystemtechnik, Diplom 2010 |
|
|
| Computational Logic |
|
|
| Computational Science and Engineering |
|
|
| Distributed Systems Engineering, PO 2014 |
|
|
| Computational Modeling and Simulation, Master |
|
|
| Lehramt, Master, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Oberschulen |
|
|
| Lehramt, Master, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) |
|
|
| Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung) |
|
|
| Fakultative Fächer |
|
|
| Lehrexport |
|
|
| Titel |
Seminar Selected Topics in Logic and Verification |
|
| englischer Titel |
|
|
| SWS |
0/2/0 |
|
| Sprache |
en |
|
| verantwortliche Professur |
Algebraische und logische Grundlagen der Informatik |
|
| Dozent |
Prof. Christel Baier |
|
| Prüfungsleistung |
Seminararbeit und Präsentation |
|
| URL |
https://tu-dresden.de/ing/informatik/thi/alg/studium/lehrveranstaltungen/summer-term-2020/seminar |
|
| Raumvergabe erbeten |
|
|
| erforderliche Ausstattung |
|
|
| Einschreibung mit jExam |
|
|
| Studiengänge und Module |
|
|
| Informatik, Bachelor |
|
|
| Informatik, Master |
INF-AQUA |
|
| Informatik, Diplom 2004 |
INF-04-HS |
|
| Informatik, Diplom 2010 |
INF-D-940 |
|
| Medieninformatik, Bachelor |
|
|
| Medieninformatik, Master |
INF-AQUA |
|
| Medieninformatik, Diplom 2004 |
|
|
| Informationssystemtechnik, Diplom 2005 |
|
|
| Informationssystemtechnik, Diplom 2010 |
|
|
| Computational Logic |
MCL-PS |
|
| Computational Science and Engineering |
|
|
| Distributed Systems Engineering, PO 2014 |
|
|
| Computational Modeling and Simulation, Master |
|
|
| Lehramt, Master, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Oberschulen |
|
|
| Lehramt, Master, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) |
|
|
| Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung) |
|
|
| Fakultative Fächer |
|
|
| Lehrexport |
|
|
| Titel |
Tutorial Logic Programming Engineering |
|
| englischer Titel |
Tutorial Logic Programming Engineering |
|
| SWS |
0/2/0 |
|
| Sprache |
en |
|
| verantwortliche Professur |
Algebraische und logische Grundlagen der Informatik |
|
| Dozent |
Prof. Christel Baier Dr. Sascha Klüppelholz |
|
| Prüfungsleistung |
|
|
| URL |
https://tu-dresden.de/ing/informatik/thi/alg/studium/lehrveranstaltungen?set_language=en |
|
| Raumvergabe erbeten |
|
|
| erforderliche Ausstattung |
|
|
| Einschreibung mit jExam |
|
|
| Studiengänge und Module |
|
|
| Informatik, Bachelor |
|
|
| Informatik, Master |
|
|
| Informatik, Diplom 2004 |
|
|
| Informatik, Diplom 2010 |
|
|
| Medieninformatik, Bachelor |
|
|
| Medieninformatik, Master |
|
|
| Medieninformatik, Diplom 2004 |
|
|
| Informationssystemtechnik, Diplom 2005 |
|
|
| Informationssystemtechnik, Diplom 2010 |
|
|
| Computational Logic |
MCL-LCP |
|
| Computational Science and Engineering |
|
|
| Distributed Systems Engineering, PO 2014 |
|
|
| Computational Modeling and Simulation, Master |
|
|
| Lehramt, Master, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Oberschulen |
|
|
| Lehramt, Master, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) |
|
|
| Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung) |
|
|
| Fakultative Fächer |
|
|
| Lehrexport |
|
|
| Titel |
Doktorandenseminar Advances in Probabilistic Model Checking |
|
| englischer Titel |
|
|
| SWS |
0/2/0 |
|
| Sprache |
en |
|
| verantwortliche Professur |
Algebraische und logische Grundlagen der Informatik |
|
| Dozent |
Prof. Christel Baier |
|
| Prüfungsleistung |
|
|
| URL |
https://tu-dresden.de/ing/informatik/thi/alg/studium/lehrveranstaltungen/summer-term-2020/doctoral-seminar |
|
| Raumvergabe erbeten |
|
|
| erforderliche Ausstattung |
|
|
| Einschreibung mit jExam |
|
|
| Studiengänge und Module |
|
|
| Informatik, Bachelor |
|
|
| Informatik, Master |
|
|
| Informatik, Diplom 2004 |
|
|
| Informatik, Diplom 2010 |
|
|
| Medieninformatik, Bachelor |
|
|
| Medieninformatik, Master |
|
|
| Medieninformatik, Diplom 2004 |
|
|
| Informationssystemtechnik, Diplom 2005 |
|
|
| Informationssystemtechnik, Diplom 2010 |
|
|
| Computational Logic |
|
|
| Computational Science and Engineering |
|
|
| Distributed Systems Engineering, PO 2014 |
|
|
| Computational Modeling and Simulation, Master |
|
|
| Lehramt, Master, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Oberschulen |
|
|
| Lehramt, Master, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) |
|
|
| Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung) |
|
|
| Fakultative Fächer |
FAK-INF-FF |
|
| Lehrexport |
|
|
| Titel |
Forschungsprojekt Formale Methoden |
|
| englischer Titel |
|
|
| SWS |
8P/PB |
|
| Sprache |
dt, en |
|
| verantwortliche Professur |
Algebraische und logische Grundlagen der Informatik |
|
| Dozent |
Prof. Christel Baier |
|
| Prüfungsleistung |
|
|
| URL |
https://tu-dresden.de/ing/informatik/thi/alg/studium/lehrveranstaltungen |
|
| Raumvergabe erbeten |
|
|
| erforderliche Ausstattung |
|
|
| Einschreibung mit jExam |
|
|
| Studiengänge und Module |
|
|
| Informatik, Bachelor |
|
|
| Informatik, Master |
INF-PM-FPG |
|
| Informatik, Diplom 2004 |
|
|
| Informatik, Diplom 2010 |
INF-PM-FPG |
|
| Medieninformatik, Bachelor |
|
|
| Medieninformatik, Master |
|
|
| Medieninformatik, Diplom 2004 |
|
|
| Informationssystemtechnik, Diplom 2005 |
|
|
| Informationssystemtechnik, Diplom 2010 |
|
|
| Computational Logic |
|
|
| Computational Science and Engineering |
|
|
| Distributed Systems Engineering, PO 2014 |
|
|
| Computational Modeling and Simulation, Master |
|
|
| Lehramt, Master, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Oberschulen |
|
|
| Lehramt, Master, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) |
|
|
| Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung) |
|
|
| Fakultative Fächer |
|
|
| Lehrexport |
|
|
| Titel |
(Neue Lehrveranstaltung) |
|
| englischer Titel |
|
|
| SWS |
|
|
| Sprache |
|
|
| verantwortliche Professur |
|
|
| Dozent |
|
|
| Prüfungsleistung |
|
|
| URL |
|
|
| Raumvergabe erbeten |
|
|
| erforderliche Ausstattung |
|
|
| Einschreibung mit jExam |
|
|
| Studiengänge und Module |
|
|
| Informatik, Bachelor |
|
|
| Informatik, Master |
|
|
| Informatik, Diplom 2004 |
|
|
| Informatik, Diplom 2010 |
|
|
| Medieninformatik, Bachelor |
|
|
| Medieninformatik, Master |
|
|
| Medieninformatik, Diplom 2004 |
|
|
| Informationssystemtechnik, Diplom 2005 |
|
|
| Informationssystemtechnik, Diplom 2010 |
|
|
| Computational Logic |
|
|
| Computational Science and Engineering |
|
|
| Distributed Systems Engineering, PO 2014 |
|
|
| Computational Modeling and Simulation, Master |
|
|
| Lehramt, Master, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Berufsbildende Schulen |
|
|
| Lehramt, Staatsexamen, Oberschulen |
|
|
| Lehramt, Master, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium |
|
|
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) |
|
|
| Lehramt, Staatsexamen, Oberschule (berufsbegleitende Qualifizierung) |
|
|
| Fakultative Fächer |
|
|
| Lehrexport |
|
|