MCL/Courses/SS2016/en: Difference between revisions
From International Center for Computational Logic
Sibylle Moehle (talk | contribs) No edit summary |
Sibylle Moehle (talk | contribs) No edit summary |
||
| Line 23: | Line 23: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Advanced Logic</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Advanced Logic</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">4/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">4/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://wwwtcs.inf.tu-dresden.de/~baier/ Prof. Baier]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://wwwtcs.inf.tu-dresden.de/~baier/ Prof. Baier]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | </tr> | ||
| Line 42: | Line 42: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://tu-dresden.de/die_tu_dresden/fakultaeten/fakultaet_informatik/smt/st/studium?leaf=1&lang=en&subject=311 Component-Based Software Engineering]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://tu-dresden.de/die_tu_dresden/fakultaeten/fakultaet_informatik/smt/st/studium?leaf=1&lang=en&subject=311 Component-Based Software Engineering]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[http://www1.inf.tu-dresden.de/~ua1/ Prof. Assmann]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[http://www1.inf.tu-dresden.de/~ua1/ Prof. Assmann]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">SMT</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">SMT</td> | ||
</tr> | </tr> | ||
| Line 48: | Line 48: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://tu-dresden.de/die_tu_dresden/fakultaeten/fakultaet_informatik/sysa/se/teaching/courses/ss/foundations_of_concurrent_and_distributed_systems Foundations of Concurrent and Distributed Systems]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://tu-dresden.de/die_tu_dresden/fakultaeten/fakultaet_informatik/sysa/se/teaching/courses/ss/foundations_of_concurrent_and_distributed_systems Foundations of Concurrent and Distributed Systems]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">4/0/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">4/0/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://tu-dresden.de/die_tu_dresden/fakultaeten/fakultaet_informatik/sysa/se/team/people/c_fetzer Prof. Fetzer]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://tu-dresden.de/die_tu_dresden/fakultaeten/fakultaet_informatik/sysa/se/team/people/c_fetzer Prof. Fetzer]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">SyA</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">SyA</td> | ||
</tr> | </tr> | ||
| Line 54: | Line 54: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[http://www.inf.tu-dresden.de/index.php?node_id=2568&ln=en&lv_id=50 Internet & Web Applications]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[http://www.inf.tu-dresden.de/index.php?node_id=2568&ln=en&lv_id=50 Internet & Web Applications]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[http://www.inf.tu-dresden.de/index.php?node_id=588&ln=en Prof. Schill]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[http://www.inf.tu-dresden.de/index.php?node_id=588&ln=en Prof. Schill]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">SyA</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">SyA</td> | ||
</tr> | </tr> | ||
| Line 60: | Line 60: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://tu-dresden.de/die_tu_dresden/fakultaeten/fakultaet_informatik/sysa/ps/studium/lehrveranstaltungen/ss_dud/seccrypt2/ss_seccrypt2_de Security & Cryptography II]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://tu-dresden.de/die_tu_dresden/fakultaeten/fakultaet_informatik/sysa/ps/studium/lehrveranstaltungen/ss_dud/seccrypt2/ss_seccrypt2_de Security & Cryptography II]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://tu-dresden.de/die_tu_dresden/fakultaeten/fakultaet_informatik/sysa/ps/beschaeftigte/mitarbeiter/sko_de Dr. Köpsell]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://tu-dresden.de/die_tu_dresden/fakultaeten/fakultaet_informatik/sysa/ps/beschaeftigte/mitarbeiter/sko_de Dr. Köpsell]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">SyA</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">SyA</td> | ||
</tr> | </tr> | ||
| Line 66: | Line 66: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[http://www.inf.tu-dresden.de/index.php?node_id=2568&ln=en&lv_id=45 Wireless Sensor Networks]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[http://www.inf.tu-dresden.de/index.php?node_id=2568&ln=en&lv_id=45 Wireless Sensor Networks]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[http://www.inf.tu-dresden.de/index.php?node_id=1380&ln=en&mailsubject=Lecture+Wireless+Sensor+Networks+%28English%29&ma=582 Dr. Dargie]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[http://www.inf.tu-dresden.de/index.php?node_id=1380&ln=en&mailsubject=Lecture+Wireless+Sensor+Networks+%28English%29&ma=582 Dr. Dargie]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">SyA</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">SyA</td> | ||
</tr> | </tr> | ||
| Line 85: | Line 85: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Database_Theory_(SS2016)/en|Database Theory]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Database_Theory_(SS2016)/en|Database Theory]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Markus_Krötzsch/en|Dr. Krötzsch]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Markus_Krötzsch/en|Dr. Krötzsch]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | </tr> | ||
| Line 91: | Line 91: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Foundations of Semantic Web Technologies</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Foundations of Semantic Web Technologies</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">4/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">4/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Sebastian_Rudolph/en|Prof. Rudolph]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Sebastian_Rudolph/en|Prof. Rudolph]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | ||
</tr> | </tr> | ||
| Line 97: | Line 97: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Introduction_to_Automatic_Structures_(SS2016)/en|Introduction to Automatic Structures]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Introduction_to_Automatic_Structures_(SS2016)/en|Introduction to Automatic Structures]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/1/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/1/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Anni-Yasmin_Turhan/en|Dr. Turhan]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Anni-Yasmin_Turhan/en|Dr. Turhan]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | </tr> | ||
| Line 103: | Line 103: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Knowledge Representation and Reasoning</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Knowledge Representation and Reasoning</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Steffen_Hölldobler/en|Prof. Hölldobler]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Steffen_Hölldobler/en|Prof. Hölldobler]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | ||
</tr> | </tr> | ||
| Line 109: | Line 109: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Logical Modelling</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Logical Modelling</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Sebastian_Rudolph/en|Prof. Rudolph]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Sebastian_Rudolph/en|Prof. Rudolph]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | ||
</tr> | </tr> | ||
| Line 115: | Line 115: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Problem_Solving_and_Search_in_Artificial_Intelligence_(SS2016)/en|Problem Solving and Search in Artificial Intelligence]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Problem_Solving_and_Search_in_Artificial_Intelligence_(SS2016)/en|Problem Solving and Search in Artificial Intelligence]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/1/1</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/1/1</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Sarah_Alice_Gaggl/en|Dr. Gaggl]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Sarah_Alice_Gaggl/en|Dr. Gaggl]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | ||
</tr> | </tr> | ||
| Line 134: | Line 134: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Advanced_Topics_in_Complexity_Theory_(SS2016)/en|Advanced Topics in Complexity Theory]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Advanced_Topics_in_Complexity_Theory_(SS2016)/en|Advanced Topics in Complexity Theory]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/~baader/index-en.html Prof. Baader], [[Daniel_Borchmann/en|Dr. Borchmann]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/~baader/index-en.html Prof. Baader], [[Daniel_Borchmann/en|Dr. Borchmann]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | </tr> | ||
| Line 140: | Line 140: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Database_Theory_(SS2016)/en|Database Theory]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Database_Theory_(SS2016)/en|Database Theory]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Markus_Krötzsch/en|Dr. Krötzsch]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Markus_Krötzsch/en|Dr. Krötzsch]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | </tr> | ||
| Line 146: | Line 146: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Foundations of Semantic Web Technologies</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Foundations of Semantic Web Technologies</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">4/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">4/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Sebastian_Rudolph/en|Prof. Rudolph]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Sebastian_Rudolph/en|Prof. Rudolph]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | ||
</tr> | </tr> | ||
| Line 152: | Line 152: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Knowledge Representation and Reasoning</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Knowledge Representation and Reasoning</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Steffen_Hölldobler/en|Prof. Hölldobler]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Steffen_Hölldobler/en|Prof. Hölldobler]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | ||
</tr> | </tr> | ||
| Line 158: | Line 158: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Logical Modelling</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Logical Modelling</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Sebastian_Rudolph/en|Prof. Rudolph]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Sebastian_Rudolph/en|Prof. Rudolph]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | ||
</tr> | </tr> | ||
| Line 164: | Line 164: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Problem_Solving_and_Search_in_Artificial_Intelligence_(SS2016)/en|Problem Solving and Search in Artificial Intelligence]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Problem_Solving_and_Search_in_Artificial_Intelligence_(SS2016)/en|Problem Solving and Search in Artificial Intelligence]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/1/1</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/1/1</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Sarah_Alice_Gaggl/en|Dr. Gaggl]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Sarah_Alice_Gaggl/en|Dr. Gaggl]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | ||
</tr> | </tr> | ||
| Line 170: | Line 170: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Term Rewriting Systems</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Term Rewriting Systems</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">4/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">4/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/~baader/index-en.html Prof. Baader]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/~baader/index-en.html Prof. Baader]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | </tr> | ||
| Line 176: | Line 176: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Theoretical Computer Science</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Theoretical Computer Science</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/~baader/index-en.html Prof. Baader]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/~baader/index-en.html Prof. Baader]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | </tr> | ||
| Line 195: | Line 195: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Advanced_Topics_in_Complexity_Theory_(SS2016)/en|Advanced Topics in Complexity Theory]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Advanced_Topics_in_Complexity_Theory_(SS2016)/en|Advanced Topics in Complexity Theory]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/~baader/index-en.html Prof. Baader], [[Daniel_Borchmann/en|Dr. Borchmann]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/~baader/index-en.html Prof. Baader], [[Daniel_Borchmann/en|Dr. Borchmann]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | </tr> | ||
| Line 201: | Line 201: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Database_Theory_(SS2016)/en|Database Theory]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Database_Theory_(SS2016)/en|Database Theory]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Markus_Krötzsch/en|Dr. Krötzsch]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Markus_Krötzsch/en|Dr. Krötzsch]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | </tr> | ||
| Line 207: | Line 207: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Introduction_to_Automatic_Structures_(SS2016)/en|Introduction to Automatic Structures]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Introduction_to_Automatic_Structures_(SS2016)/en|Introduction to Automatic Structures]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/1/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/1/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Anni-Yasmin_Turhan/en|Dr. Turhan]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Anni-Yasmin_Turhan/en|Dr. Turhan]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | </tr> | ||
| Line 213: | Line 213: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Term Rewriting Systems</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Term Rewriting Systems</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">4/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">4/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/~baader/index-en.html Prof. Baader]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/~baader/index-en.html Prof. Baader]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | </tr> | ||
| Line 219: | Line 219: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Theoretical Computer Science</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Theoretical Computer Science</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/~baader/index-en.html Prof. Baader]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/~baader/index-en.html Prof. Baader]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | </tr> | ||
| Line 238: | Line 238: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Knowledge Representation and Reasoning</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Knowledge Representation and Reasoning</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Steffen_Hölldobler/en|Prof. Hölldobler]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Steffen_Hölldobler/en|Prof. Hölldobler]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | ||
</tr> | </tr> | ||
| Line 244: | Line 244: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Lab Course Modelling and Automated Verification</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Lab Course Modelling and Automated Verification</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://wwwtcs.inf.tu-dresden.de/~baier/ Prof. Baier]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://wwwtcs.inf.tu-dresden.de/~baier/ Prof. Baier]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | </tr> | ||
| Line 250: | Line 250: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Selected Topics in Logics and Verification</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Selected Topics in Logics and Verification</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://wwwtcs.inf.tu-dresden.de/~baier/ Prof. Baier]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://wwwtcs.inf.tu-dresden.de/~baier/ Prof. Baier]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center"></td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center"></td> | ||
</tr> | </tr> | ||
| Line 256: | Line 256: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Theoretical Computer Science</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Theoretical Computer Science</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/~baader/index-en.html Prof. Baader]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/~baader/index-en.html Prof. Baader]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | </tr> | ||
| Line 275: | Line 275: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Project Group Computational Logic</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Project Group Computational Logic</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/0/4</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/0/4</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Sebastian_Rudolph/en|Prof. Rudolph]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Sebastian_Rudolph/en|Prof. Rudolph]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | ||
</tr> | </tr> | ||
| Line 281: | Line 281: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Project Group Knowledge Representation and Reasoning</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Project Group Knowledge Representation and Reasoning</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/0/4</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/0/4</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Steffen_Hölldobler/en|Prof. Hölldobler]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Steffen_Hölldobler/en|Prof. Hölldobler]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | ||
</tr> | </tr> | ||
| Line 287: | Line 287: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Project Group Model Checking</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Project Group Model Checking</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/0/4</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/0/4</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://wwwtcs.inf.tu-dresden.de/~baier/ Prof. Baier]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://wwwtcs.inf.tu-dresden.de/~baier/ Prof. Baier]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> <tr> | </tr> <tr> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Project Group Theoretical Computer Science</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Project Group Theoretical Computer Science</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/0/4</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">0/0/4</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/~baader/index-en.html Prof. Baader], [[Anni-Yasmin_Turhan/en|Dr. Turhan]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/~baader/index-en.html Prof. Baader], [[Anni-Yasmin_Turhan/en|Dr. Turhan]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr></table> | </tr></table> | ||
| Line 308: | Line 308: | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Deduction Systems</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Deduction Systems</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center"></td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center"></td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Sebastian_Rudolph/en|Prof. Rudolph]]</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Sebastian_Rudolph/en|Prof. Rudolph]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | ||
</tr> | </tr> | ||
Revision as of 13:09, 16 March 2016
Courses in Summer Term 2016
Note: 3 advanced modules have to be chosen out of the 4 ones. Courses summing up to min. 8 SWS have to be assigned for each of the 3 modules. Any course may be chosen for max. one module.
Module MCL-AL Advanced Logics (Basic)
Person in charge: Prof. Sebastian Rudolph
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Advanced Logic | 4/2/0 | Prof. Baier | ThCS |
Module MCL-CSE Computer Science Engineering (Advanced)
Person in charge: head of the study course
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Component-Based Software Engineering | 2/2/0 | Prof. Assmann | SMT |
| Foundations of Concurrent and Distributed Systems | 4/0/0 | Prof. Fetzer | SyA |
| Internet & Web Applications | 2/2/0 | Prof. Schill | SyA |
| Security & Cryptography II | 2/2/0 | Dr. Köpsell | SyA |
| Wireless Sensor Networks | 2/2/0 | Dr. Dargie | SyA |
Module MCL-KR Knowledge Representation (Advanced)
Person in charge: Prof. Steffen Hölldobler
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Database Theory | 2/2/0 | Dr. Krötzsch | ThCS |
| Foundations of Semantic Web Technologies | 4/2/0 | Prof. Rudolph | AI |
| Introduction to Automatic Structures | 2/1/0 | Dr. Turhan | ThCS |
| Knowledge Representation and Reasoning | 0/2/0 | Prof. Hölldobler | AI |
| Logical Modelling | 0/2/0 | Prof. Rudolph | AI |
| Problem Solving and Search in Artificial Intelligence | 2/1/1 | Dr. Gaggl | AI |
Module MCL-PI Principles of Inference (Advanced)
Person in charge: Prof. Steffen Hölldobler
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Advanced Topics in Complexity Theory | 2/2/0 | Prof. Baader, Dr. Borchmann | ThCS |
| Database Theory | 2/2/0 | Dr. Krötzsch | ThCS |
| Foundations of Semantic Web Technologies | 4/2/0 | Prof. Rudolph | AI |
| Knowledge Representation and Reasoning | 0/2/0 | Prof. Hölldobler | AI |
| Logical Modelling | 0/2/0 | Prof. Rudolph | AI |
| Problem Solving and Search in Artificial Intelligence | 2/1/1 | Dr. Gaggl | AI |
| Term Rewriting Systems | 4/2/0 | Prof. Baader | ThCS |
| Theoretical Computer Science | 0/2/0 | Prof. Baader | ThCS |
Module MCL-TCSL Theoretical Computer Science and Logic (Advanced)
Person in charge: Prof. Franz Baader
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Advanced Topics in Complexity Theory | 2/2/0 | Prof. Baader, Dr. Borchmann | ThCS |
| Database Theory | 2/2/0 | Dr. Krötzsch | ThCS |
| Introduction to Automatic Structures | 2/1/0 | Dr. Turhan | ThCS |
| Term Rewriting Systems | 4/2/0 | Prof. Baader | ThCS |
| Theoretical Computer Science | 0/2/0 | Prof. Baader | ThCS |
Module MCL-PCS Presentation and Communication Skills (Basic)
Person in charge: head of the study course
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Knowledge Representation and Reasoning | 0/2/0 | Prof. Hölldobler | AI |
| Lab Course Modelling and Automated Verification | 0/2/0 | Prof. Baier | ThCS |
| Selected Topics in Logics and Verification | 0/2/0 | Prof. Baier | |
| Theoretical Computer Science | 0/2/0 | Prof. Baader | ThCS |
Module MCL-P Project (Basic)
Person in charge: head of the study course
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Project Group Computational Logic | 0/0/4 | Prof. Rudolph | AI |
| Project Group Knowledge Representation and Reasoning | 0/0/4 | Prof. Hölldobler | AI |
| Project Group Model Checking | 0/0/4 | Prof. Baier | ThCS |
| Project Group Theoretical Computer Science | 0/0/4 | Prof. Baader, Dr. Turhan | ThCS |
====
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Deduction Systems | Prof. Rudolph | AI |
Here you can find the description of the modules as well as the timetable of the courses.
To discuss questions concerning logic and computational logic, you may contact Prof. Hölldobler during his consultation hours mentioned on his homepage.
For questions concerning exams etc., please consult the web pages of the Service Center for International Students (SCIS).
