MCL/Courses/SS2016/en: Difference between revisions
From International Center for Computational Logic
Sibylle Moehle (talk | contribs) No edit summary |
Stephan Mennicke (talk | contribs) (Adding this page to category MCL) |
||
| (28 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
{{#leftsidenav: | {{#leftsidenav: | ||
{{LeftsidenavHeading| | {{LeftsidenavHeading|[[MCL/en|International Master]]}} | ||
<div class=" | |||
<ul class="nav-list"> | |||
<li>[[MCL/Introduction/en|Introduction]]</li> | |||
<li>[[MCL/For_Prospective_Students/en|For Prospective Students]]</li> | |||
<li>[[MCL/CurrentStudents/en|For Current Students]]</li> | |||
<div style="font-size: 95%; padding-bottom: 1ex !important; "> | |||
<ul class="nav-list" style="padding-left: 1ex !important; "> | |||
<li>[[MCL/Courses/WS2016/en|Courses]]</li> | |||
<li>[[MCL/Timetable/WS2016/en|Timetable]]</li> | |||
<li>[[MCL/Social_Events/en|Social Events]]</li> | |||
<li>[[MCL/CurrentStudents/Financial_Support/en|Financial Support]]</li> | |||
<li><strong class="selflink">[[MCL/CurrentStudents/Other_Information/en|Other Information]]</strong></li> | |||
</ul> | |||
</div> | |||
<li>[[MCL/Business_Industry/en|Business and Industry]]</li> | |||
<li>[[MCL/Grants/en|Grants]]</li> | |||
<li>[[MCL/Guests_Events/en|Guests and Events]]</li> | |||
<li>[[MCL/Internals/en|Internals]]</li> | |||
</ul> | |||
__NOTOC__ | |||
| | | | ||
{{Main heading|Courses in Summer Term 2016}} | {{Main heading|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) == | == Module MCL-AL Advanced Logics (Basic) == | ||
'''Person in charge:''' Prof. Sebastian Rudolph | |||
<table border="1" style=" text-align:left"> | |||
<tr> | |||
<th style="background-color: #cccccc; padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Course Title</th> | |||
<th style="background-color: #cccccc; padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">SWS (l/ts/p)</th> | |||
<th style="background-color: #cccccc; padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Lecturer</th> | |||
<th style="background-color: #cccccc; padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Institute</th> | |||
</tr> | |||
<tr> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://www.inf.tu-dresden.de/index.php?node_id=3740&ln=en Advanced Logics]</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; text-align:center">ThCS</td> | |||
</tr> | |||
</table> | |||
<br/> | |||
== Module MCL-ILS Integrated Logic Systems (Basic) == | |||
'''Person in charge:''' Prof. Michael Schroeder | |||
<table border="1" style=" text-align:left"> | |||
<tr> | |||
<th style="background-color: #cccccc; padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Course Title</th> | |||
<th style="background-color: #cccccc; padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">SWS (l/ts/p)</th> | |||
<th style="background-color: #cccccc; padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Lecturer</th> | |||
<th style="background-color: #cccccc; padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Institute</th> | |||
</tr> | |||
<tr> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Deduction_Systems_(SS2016)/en|Deduction Systems]]</td> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">1/1/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; text-align:center">AI</td> | |||
</tr> | |||
</table> | |||
== Module MCL-CSE Computer Science Engineering (Advanced) == | |||
'''Person in charge:''' head of the study course | |||
<table border="1" style=" text-align:left"> | <table border="1" style=" text-align:left"> | ||
| Line 17: | Line 92: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></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"></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"></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"></td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">SMT</td> | ||
</tr> | |||
<tr> | |||
<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">[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> | |||
</tr> | |||
<tr> | |||
<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">[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> | |||
</tr> | |||
<tr> | |||
<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">[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> | |||
</tr> | |||
<tr> | |||
<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">[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> | |||
</tr> | </tr> | ||
</table> | </table> | ||
== Module MCL-KR Knowledge Representation (Advanced) == | == Module MCL-KR Knowledge Representation (Advanced) == | ||
'''Person in charge:''' Prof. Steffen Hölldobler | |||
<table border="1" style=" text-align:left"> | <table border="1" style=" text-align:left"> | ||
| Line 34: | Line 135: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">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">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> | ||
<tr> | <tr> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Introduction to Automatic Structures</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Deduction_Systems_(SS2016)/en|Deduction Systems]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">1/1/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; text-align:center">AI</td> | |||
</tr> | |||
<tr> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Foundations_of_Semantic_Web_Technologies_(SS2016)/en|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">[[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> | |||
</tr> | |||
<tr> | |||
<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">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> | ||
<tr> | <tr> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Knowledge_Representation_and_Reasoning_Seminar_(SS2016)/en|Knowledge Representation and Reasoning]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">2/ | <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"> | <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> | |||
</tr> | |||
<tr> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Logical_Modeling_(SS2016)/en|Logical Modeling]]</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; 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> | ||
<tr> | <tr> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></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"></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"></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"></td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
== Module MCL-PI Principles of Inference (Advanced) == | == Module MCL-PI Principles of Inference (Advanced) == | ||
'''Person in charge:''' Prof. Steffen Hölldobler | |||
<table border="1" style=" text-align:left"> | <table border="1" style=" text-align:left"> | ||
| Line 69: | Line 190: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"> | <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">Dr. | <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> | ||
<tr> | <tr> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Problem Solving and Search in Artificial Intelligence</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">[[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> | |||
</tr> | |||
<tr> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Deduction_Systems_(SS2016)/en|Deduction Systems]]</td> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">1/1/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; text-align:center">AI</td> | |||
</tr> | |||
<tr> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Foundations_of_Semantic_Web_Technologies_(SS2016)/en|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">[[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> | |||
</tr> | |||
<tr> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Knowledge_Representation_and_Reasoning_Seminar_(SS2016)/en|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">[[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> | |||
</tr> | |||
<tr> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Logical_Modeling_(SS2016)/en|Logical Modeling]]</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; text-align:center">AI</td> | |||
</tr> | |||
<tr> | |||
<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">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> | ||
<tr> | <tr> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/teaching/ss2016/TRS/ Term Rewriting 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">4/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></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"></td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | |||
<tr> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/teaching/ss2016/seminar/ 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">[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> | |||
</tr> | </tr> | ||
</table> | </table> | ||
== Module MCL-TCSL Theoretical Computer Science and Logic (Advanced) == | == Module MCL-TCSL Theoretical Computer Science and Logic (Advanced) == | ||
'''Person in charge:''' Prof. Franz Baader | |||
<table border="1" style=" text-align:left"> | <table border="1" style=" text-align:left"> | ||
| Line 97: | Line 257: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Database 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">[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> | |||
</tr> | |||
<tr> | |||
<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">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> | ||
<tr> | <tr> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">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">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> | ||
<tr> | <tr> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/teaching/ss2016/TRS/ Term Rewriting 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">4/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></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"></td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | |||
<tr> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/teaching/ss2016/seminar/ 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">[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> | |||
</tr> | </tr> | ||
</table> | </table> | ||
== Module MCL-PCS Presentation and Communication Skills (Basic) == | |||
'''Person in charge:''' head of the study course | |||
<table border="1" style=" text-align:left"> | <table border="1" style=" text-align:left"> | ||
| Line 128: | Line 300: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Knowledge_Representation_and_Reasoning_Seminar_(SS2016)/en|Knowledge Representation and Reasoning]]</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center"> | <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"> | <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"> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://www.inf.tu-dresden.de/index.php?node_id=3732&ln=en Lab Course Modeling and Automated Verification]</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">0/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Prof. | <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 style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | </tr> | ||
<tr> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Logical_Modeling_(SS2016)/en|Logical Modeling]]</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">0/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">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> | ||
<tr> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://www.inf.tu-dresden.de/index.php?node_id=3737&ln=en Selected Topics in Logics and Verification]</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">0/2/0</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Prof. | <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 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"> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/teaching/ss2016/seminar/ 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">Prof. | <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"> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | ||
</tr> | </tr> | ||
</table> | |||
== Module MCL-P Project (Basic) == | |||
'''Person in charge:''' head of the study course | |||
<table border="1" style=" text-align:left"> | |||
<tr> | <tr> | ||
< | <th style="background-color: #cccccc; padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Course Title</th> | ||
< | <th style="background-color: #cccccc; padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">SWS (l/ts/p)</th> | ||
<th style="background-color: #cccccc; padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Lecturer</th> | |||
< | <th style="background-color: #cccccc; padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Institute</th> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"> | <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"></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">Prof. | <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"> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"> | <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"></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">Prof. | <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"> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://www.inf.tu-dresden.de/index.php?node_id=3733&ln=en Project Group Model Checking]</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">0/0/4</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Prof. | <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> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://lat.inf.tu-dresden.de/teaching/ss2016/Projects/cl-project.html Project Group Theoretical Computer Science]</td> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"> | <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"></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">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></table> | ||
</ | |||
<br/> | |||
Here you can find the '''[[MCL/Modules/2013/en|description of the modules]]''' as well as the '''[[MCL/Timetable/SS2016/en|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 '''[[Steffen_Hölldobler/en|homepage]]'''. | |||
For questions concerning exams etc., please consult the web pages of the '''[http://www.inf.tu-dresden.de/index.php?node_id=2690&ln Service Center for International Students (SCIS)]'''. | |||
| | ||
}} | }} | ||
[[Kategorie:MCL]] | |||
Latest revision as of 15:09, 17 July 2020
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 Logics | 4/2/0 | Prof. Baier | ThCS |
Module MCL-ILS Integrated Logic Systems (Basic)
Person in charge: Prof. Michael Schroeder
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Deduction Systems | 1/1/0 | Prof. Rudolph | AI |
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 |
| Deduction Systems | 1/1/0 | Prof. Rudolph | AI |
| 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 Modeling | 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 |
| Deduction Systems | 1/1/0 | Prof. Rudolph | AI |
| Foundations of Semantic Web Technologies | 4/2/0 | Prof. Rudolph | AI |
| Knowledge Representation and Reasoning | 0/2/0 | Prof. Hölldobler | AI |
| Logical Modeling | 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 Modeling and Automated Verification | 0/2/0 | Prof. Baier | ThCS |
| Logical Modeling | 0/2/0 | Prof. Rudolph | AI |
| Selected Topics in Logics and Verification | 0/2/0 | Prof. Baier | ThCS |
| 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 |
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).
Category:
- MCL
