to be completed ...
Technische Universität Dresden
| Course | Given by | Day | Time | Room | Credit Points | Remarks |
|---|---|---|---|---|---|---|
| Deduction Systems | Prof. Sebastian Rudolph | Wednesday | 13:00 - 14:30 | INF E005 | 3 | in English |
| Foundations of Semantic Web Technologies (Lecture) (Lecture) (Tutorial) |
Prof. Sebastian Rudolph | Friday Friday Wednesday |
14:50 - 16:20 16:40 - 18:10 16:40 - 18:10 |
INF E005 INF E005 INF E005 |
9 | in English |
| Logical Approach to Physical Data Independence and Query Compilation | Prof. David Toman | Tuesday Wednesday Thursday Friday |
09:20 - 10:50 16:40 - 18:10 09:20 - 10:50 09:20 - 10:50 |
INF 3027 INF 3027 INF 3027 INF 3027 |
3 | in English it starts on Wednesday 2014-04-09 at 09:20 in room INF 3027 last class is on Friday 2014-04-25 |
| Modul Math Ma ALLALG: Allgemeine Algebra (Lecture) (Lecture) (Exercise) |
Dr. Friedrich Martin Schneider | Monday Tuesday (odd weeks) Tuesday (even weeks) |
11:10 - 12:40 11:10 - 12:40 11:10 - 12:40 |
WIL A317 WIL A124 WIL A124 |
6 | in German |
| Model Checking (Lecture & Exercise) |
Prof. Dr. Christel Baier | Thursday Friday |
09:20 - 12:40 09:20 - 12:40 |
INF E005 INF E005 |
12 | in English |
| Selected Topics in Logic and Verification (Seminar) |
Prof. Dr. Christel Baier |
in English to participate, register until 2014-04-11 |
||||
Term Rewriting Systems (Lecture & Exercise) |
Dr. rer. nat. Rafael Peñaloza Marcel Lippmann |
Tuesday Wednesday Thursday |
16:40 - 18:10 14:50 - 16:20 16:40 - 18:10 |
INF E005 INF E005 INF E005 |
9 | in English |
| Undecidable problems from applications (Seminar) |
Dr. Ing. Anni-Yasmin Turhan | INF E005 | 3 | in English it starts on Monday, 2014-04-14 at 16:40 |
Universität Leipzig
| Course | Given by | Day | Time | Room | Credit Points | Remarks |
|---|---|---|---|---|---|---|
| Real-timed automata (Lecture) (Exercise) |
Dr. rer. nat. Karin Quaas | Monday Monday (every two weeks) |
13:15 - 14:45 15:15 - 16:45 |
SG 3-14 SG 3-14 |
in English | |
| Automata Theory (Seminar) | Prof. Dr. Manfred Droste | 3 | in English | |||
| Wissensbasierte Systeme | Prof. Dr. Gerhard Brewka | Wednesday | 13:15 - 14:45 | HS 15 | 3 | in German |
| Statistical Machine Translation | Dr. Andreas Maletti | 4.5 | in German |
Details
- Modul Math Ma ALLALG: Allgemeine Algebra
3+1+0 F01/141
- Zielgruppe Master-Studiengänge Mathematik, Technomathematik, Wirtschaftsmathematik
- Klassifizierung Master Math: Wahlpflichtmodul im Mathematischen Wahlpflichtbereich, gehört zum Studienschwerpunkt 'Algebra, Geometrie und diskrete Strukturen'.
Master TMath: Wahlpflichtmodul im Mathematischen Wahlpflichtbereich, gehört zum Studienschwerpunkt 'Algebra, Geometrie und diskrete Strukturen'.
Master WMath: Wahlpflichtmodul im Mathematischen Wahlpflichtbereich. - Vorkenntnisse Kompetenzen aus dem Gebiet der algebraischen Strukturen auf Bachelor-Niveau sind von Vorteil.
- Einschreibung 1. Vorlesung
- Leistungsnachweis laut Modulbeschreibung
