In den Vorlagen finden Sie alle Lehrveranstaltungen tabellarisch aufgeführt, die Sie im vorigen Wintersemester gemeldet hatten mit den folgenden Informationen:
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
und folgende Pseudo-Module für ältere Studiengänge und Sonstiges
Prüfung 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:
| Datenfelder | Bisherige Daten | Neue/zu ändernde Daten |
|---|---|---|
| Titel | Model Checking | |
| englischer Titel | ||
| SWS | 4/4/0 | |
| Sprache | en | |
| Dozent | Prof. Christel Baier Dr. Sascha Klüppelholz | |
| verantwortliche Professur | ||
| Prüfungsleistung | P(m) 30min | |
| URL | http://www.inf.tu-dresden.de/index.php?node_id=1461 | |
| 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, Mittelschulen | ||
| Lehramt, Master, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) | ||
| Lehramt, Staatsexamen, Mittelschule (berufsbegleitende Qualifizierung) | ||
| Fakultative Fächer | ||
| Lehrexport |
| Datenfelder | Bisherige Daten | Neue/zu ändernde Daten |
|---|---|---|
| Titel | Project Group Model Checking | |
| englischer Titel | ||
| SWS | 0/0/4 | |
| Sprache | en | |
| Dozent | Prof. Christel Baier | |
| verantwortliche Professur | ||
| Prüfungsleistung | Projektarbeit | |
| URL | http://www.inf.tu-dresden.de/index.php?node_id=1461 | |
| 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-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, Mittelschulen | ||
| Lehramt, Master, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) | ||
| Lehramt, Staatsexamen, Mittelschule (berufsbegleitende Qualifizierung) | ||
| Fakultative Fächer | ||
| Lehrexport |
| Datenfelder | Bisherige Daten | Neue/zu ändernde Daten |
|---|---|---|
| Titel | Proseminar Theoretische Informatik | |
| englischer Titel | ||
| SWS | 0/2/0 | |
| Sprache | dt | |
| Dozent | Prof. Christel Baier | |
| verantwortliche Professur | ||
| Prüfungsleistung | Seminararbeit und Präsentation | |
| URL | http://www.inf.tu-dresden.de/index.php?node_id=1461 | |
| 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, Mittelschulen | ||
| Lehramt, Master, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) | ||
| Lehramt, Staatsexamen, Mittelschule (berufsbegleitende Qualifizierung) | ||
| Fakultative Fächer | ||
| Lehrexport |
| Datenfelder | Bisherige Daten | Neue/zu ändernde Daten |
|---|---|---|
| Titel | Lab Course Modeling and Automated Verification | |
| englischer Titel | ||
| SWS | 0/2/0 | |
| Sprache | en | |
| Dozent | Prof. Christel Baier | |
| verantwortliche Professur | ||
| Prüfungsleistung | ||
| URL | http://www.inf.tu-dresden.de/index.php?node_id=1461 | |
| 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, Mittelschulen | ||
| Lehramt, Master, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) | ||
| Lehramt, Staatsexamen, Mittelschule (berufsbegleitende Qualifizierung) | ||
| Fakultative Fächer | ||
| Lehrexport |
| Datenfelder | Bisherige Daten | Neue/zu ändernde Daten |
|---|---|---|
| Titel | Komplexpraktikum Modellierung und quantitative Systemanalyse I | |
| englischer Titel | ||
| SWS | 0/0/4 | |
| Sprache | dt | |
| Dozent | Prof. Christel Baier | |
| verantwortliche Professur | ||
| Prüfungsleistung | ||
| URL | http://www.inf.tu-dresden.de/index.php?node_id=1461 | |
| Studiengänge und Module | ||
| Informatik, Bachelor | ||
| Informatik, Master | INF-MA-PR | |
| Informatik, Diplom 2004 | INF-04-KP , INF-04-P | |
| Informatik, Diplom 2010 | ||
| 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, Mittelschulen | ||
| Lehramt, Master, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) | ||
| Lehramt, Staatsexamen, Mittelschule (berufsbegleitende Qualifizierung) | ||
| Fakultative Fächer | ||
| Lehrexport |
| Datenfelder | Bisherige Daten | Neue/zu ändernde Daten |
|---|---|---|
| Titel | Komplexpraktikum Modellierung und quantitative Systemanalyse II | |
| englischer Titel | ||
| SWS | 0/0/8 | |
| Sprache | dt | |
| Dozent | Prof. Christel Baier | |
| verantwortliche Professur | ||
| Prüfungsleistung | ||
| URL | http://www.inf.tu-dresden.de/index.php?node_id=1461 | |
| Studiengänge und Module | ||
| Informatik, Bachelor | ||
| Informatik, Master | INF-MA-PR | |
| 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, Mittelschulen | ||
| Lehramt, Master, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) | ||
| Lehramt, Staatsexamen, Mittelschule (berufsbegleitende Qualifizierung) | ||
| Fakultative Fächer | ||
| Lehrexport |
| Datenfelder | Bisherige Daten | Neue/zu ändernde Daten |
|---|---|---|
| Titel | Seminar Selected Topics in Logic and Verification | |
| englischer Titel | ||
| SWS | 0/2/0 | |
| Sprache | en | |
| Dozent | Prof. Christel Baier | |
| verantwortliche Professur | ||
| Prüfungsleistung | Seminararbeit und Präsentation | |
| URL | http://www.inf.tu-dresden.de/index.php?node_id=1461 | |
| 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, Mittelschulen | ||
| Lehramt, Master, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) | ||
| Lehramt, Staatsexamen, Mittelschule (berufsbegleitende Qualifizierung) | ||
| Fakultative Fächer | ||
| Lehrexport |
| Datenfelder | Bisherige Daten | Neue/zu ändernde Daten |
|---|---|---|
| Titel | Tutorial Logic Programming Engineering | |
| englischer Titel | Tutorial Logic Programming Engineering | |
| SWS | 0/2/0 | |
| Sprache | en | |
| Dozent | Prof. Christel Baier Dr. Sascha Klüppelholz | |
| verantwortliche Professur | ||
| Prüfungsleistung | ||
| URL | http://www.inf.tu-dresden.de/index.php?node_id=1461 | |
| 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, Mittelschulen | ||
| Lehramt, Master, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) | ||
| Lehramt, Staatsexamen, Mittelschule (berufsbegleitende Qualifizierung) | ||
| Fakultative Fächer | ||
| Lehrexport |
| Datenfelder | Bisherige Daten | Neue/zu ändernde Daten |
|---|---|---|
| Titel | Doktorandenseminar Advances in Probabilistic Model Checking | |
| englischer Titel | ||
| SWS | 0/2/0 | |
| Sprache | en | |
| Dozent | Prof. Christel Baier | |
| verantwortliche Professur | ||
| Prüfungsleistung | ||
| URL | http://www.inf.tu-dresden.de/index.php?node_id=1461 | |
| 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, Mittelschulen | ||
| Lehramt, Master, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) | ||
| Lehramt, Staatsexamen, Mittelschule (berufsbegleitende Qualifizierung) | ||
| Fakultative Fächer | FAK-INF-FF | |
| Lehrexport |
| Datenfelder | Bisherige Daten | Neue/zu ändernde Daten |
|---|---|---|
| Titel | Forschungsprojekt Formale Methoden | |
| englischer Titel | ||
| SWS | 8P/PB | |
| Sprache | dt, en | |
| Dozent | Prof. Christel Baier | |
| verantwortliche Professur | ||
| Prüfungsleistung | ||
| URL | http://www.inf.tu-dresden.de/index.php?node_id=1461 | |
| 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, Mittelschulen | ||
| Lehramt, Master, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) | ||
| Lehramt, Staatsexamen, Mittelschule (berufsbegleitende Qualifizierung) | ||
| Fakultative Fächer | ||
| Lehrexport |
| Datenfelder | Bisherige Daten | Neue/zu ändernde Daten |
|---|---|---|
| Titel | Ringvorlesung RoSI | |
| englischer Titel | ||
| SWS | 2/0/0 | |
| Sprache | dt | |
| Dozent | Prof. Wolfgang Lehner Dr. Sascha Klüppelholz | |
| verantwortliche Professur | ||
| Prüfungsleistung | P(m) | |
| URL | https://wwwdb.inf.tu-dresden.de/study/teaching/ | |
| Studiengänge und Module | ||
| Informatik, Bachelor | ||
| Informatik, Master | INF-BAS3 , INF-BAS4 , INF-VERT3 , INF-VERT4 | |
| Informatik, Diplom 2004 | ||
| Informatik, Diplom 2010 | INF-BAS3 , INF-BAS4 , INF-VERT3 , INF-VERT4 | |
| Medieninformatik, Bachelor | ||
| Medieninformatik, Master | INF-BI-2 , INF-BI-4 | |
| Medieninformatik, Diplom 2004 | ||
| Informationssystemtechnik, Diplom 2005 | ||
| Informationssystemtechnik, Diplom 2010 | INF-BAS3 , INF-BAS4 , INF-VERT3 , INF-VERT4 | |
| 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, Mittelschulen | ||
| Lehramt, Master, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium | ||
| Lehramt, Staatsexamen, Gymnasium (berufsbegleitende Qualifizierung) | ||
| Lehramt, Staatsexamen, Mittelschule (berufsbegleitende Qualifizierung) | ||
| Fakultative Fächer | ||
| Lehrexport |