Account
Edit tools
Internal
SucheSearch
Deutsch

MCL/Courses/SS2016/en: Difference between revisions

From International Center for Computational Logic
No edit summary
No edit summary
Line 8: Line 8:


== Module MCL-AL Advanced Logics (Basic) ==
== Module MCL-AL Advanced Logics (Basic) ==
<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"></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"></td>
      <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center"></td>
  </tr>
</table>


== Module MCL-KR Knowledge Representation (Advanced) ==
== Module MCL-KR Knowledge Representation (Advanced) ==


<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">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">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">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">Dr. Turhan</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">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">Dr. Gaggl</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"></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"></td>
      <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center"></td>
  </tr>
</table>
== Module MCL-PI Principles of Inference (Advanced) ==
<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">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">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">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">Dr. Gaggl</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"></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"></td>
      <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center"></td>
  </tr>
</table>
== Module MCL-TCSL Theoretical Computer Science and Logic (Advanced) ==
== Module MCL-TCSL Theoretical Computer Science and Logic (Advanced) ==


== Module MCL-PI Principles of Inference (Advanced) ==
<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">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">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">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">Dr. Turhan</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"></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"></td>
      <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center"></td>
  </tr>
</table>
 
 
 
================
 
<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">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">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">Foundations of Semantic Web Technologies</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. 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">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">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</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. 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"></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">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">Prof. Baier</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">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">Prof. Baier</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"></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>
      <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">Prof. Baader</td>
      <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; text-align:center">ThCS</td>
  </tr>
</table>




&nbsp;
&nbsp;
}}
}}

Revision as of 17:13, 15 March 2016

Toggle side column

Courses in Summer Term 2016

Module MCL-AL Advanced Logics (Basic)

Course Title SWS (l/ts/p) Lecturer Institute

Module MCL-KR Knowledge Representation (Advanced)

Course Title SWS (l/ts/p) Lecturer Institute
Database Theory 2/2/0 Dr. Krötzsch ThCS
Introduction to Automatic Structures 2/1/0 Dr. Turhan ThCS
Problem Solving and Search in Artificial Intelligence 2/1/1 Dr. Gaggl AI

Module MCL-PI Principles of Inference (Advanced)

Course Title SWS (l/ts/p) Lecturer Institute
Database Theory 2/2/0 Dr. Krötzsch ThCS
Problem Solving and Search in Artificial Intelligence 2/1/1 Dr. Gaggl AI

Module MCL-TCSL Theoretical Computer Science and Logic (Advanced)

Course Title SWS (l/ts/p) Lecturer Institute
Database Theory 2/2/0 Dr. Krötzsch ThCS
Introduction to Automatic Structures 2/1/0 Dr. Turhan ThCS


====
Course Title SWS (l/ts/p) Lecturer Institute
Advanced Topics in Complexity Theory 2/2/0 Dr. Borchmann ThCS
Foundations of Semantic Web Technologies Prof. Rudolph AI
Deduction Systems Prof. Rudolph AI
Foundations of Semantic Web Technologies Prof. Rudolph AI
Knowledge Representation and Reasoning 0/2/0 Prof. Hölldobler AI
Logical Modelling Prof. Rudolph AI
Advanced Logic Prof. Baier ThCS
Selected Topics in Logics and Verification Prof. Baier ThCS
Theoretical Computer Science Prof. Baader ThCS
Term Rewriting Systems Prof. Baader ThCS


 
Retrieved from "https://iccl.inf.tu-dresden.de/w/index.php?title=MCL/Courses/SS2016/en&oldid=18356"