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 6: | Line 6: | ||
{{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"> | <table border="1" style=" text-align:left"> | ||
| Line 17: | Line 21: | ||
</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">Advanced 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">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">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">ThCS</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"> | |||
<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">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">Prof. Assmann</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">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">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">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">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">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">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">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">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 38: | Line 87: | ||
<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">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> | |||
<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">Prof. Rudolph</td> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | |||
</tr> | </tr> | ||
<tr> | <tr> | ||
| Line 44: | Line 99: | ||
<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">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> | |||
<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">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 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">Prof. Rudolph</td> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | |||
</tr> | </tr> | ||
<tr> | <tr> | ||
| Line 50: | Line 117: | ||
<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">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> | ||
</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 67: | Line 130: | ||
<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">Lecturer</th> | ||
<th style="background-color: #cccccc; padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Institute</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">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">Prof. Baader, Dr. Borchmann</td> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | |||
</tr> | </tr> | ||
<tr> | <tr> | ||
| Line 73: | Line 142: | ||
<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">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> | |||
<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">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</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. 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 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">Prof. Rudolph</td> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | |||
</tr> | </tr> | ||
<tr> | <tr> | ||
| Line 81: | Line 168: | ||
</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">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">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">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">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 95: | Line 191: | ||
<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">Lecturer</th> | ||
<th style="background-color: #cccccc; padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Institute</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">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">Prof. Baader, Dr. Borchmann</td> | |||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td> | |||
</tr> | </tr> | ||
<tr> | <tr> | ||
| Line 109: | Line 211: | ||
</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">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">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">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">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 236: | ||
</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</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">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">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">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">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"> | <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">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> | ||
<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">Theoretical Computer Science</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">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">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/ | <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. Hölldobler</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">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> | ||
<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. Rudolph</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; 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">Project Group Model Checking</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">Prof. Baier</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">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">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">Prof. Baader, Dr. Turhan</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; 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> | ||
================ | |||
<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">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">Prof. | <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; text-align:center"> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">AI</td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
Revision as of 18:19, 15 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 Knowledge Representation and Reasoning | 0/0/4 | Prof. Hölldobler | AI |
| Project Group Computational Logic | 0/0/4 | Prof. Rudolph | 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 |
