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