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).

@@ Line 3: / Line 3: @@
 {{LeftsidenavHeading|[[MCL/en|International Master]]}}
-<!--
 <ul class="nav-list">
 <li>[[MCL/Introduction/en|Introduction]]</li>
@@ Line 13: / Line 12: @@
 <div style="font-size: 95%; padding-bottom: 1ex !important; ">
 <ul class="nav-list" style="padding-left: 1ex !important; ">
-<li>[[MCLSummerTerm2016/courses/en|Courses]]</li>
+<li>[[MCL/Courses/WS2016/en|Courses]]</li>
-<li>[[MCLSummerTerm2016/timetable/en|Timetable]]</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>
@@ Line 24: / Line 29: @@
 <li>[[MCL/Guests_Events/en|Guests and Events]]</li>
+<li>[[MCL/Internals/en|Internals]]</li>
 </ul>
--->
-<!-- __NOTOC__ -->
-{{LeftsidenavHeading|Modules}}
+__NOTOC__
-<div class="no-toc-head">__TOC__</div>
 |
@@ Line 69: / Line 73: @@
     </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">[[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.&nbsp;Rudolph]]</td>
@@ Line 137: / Line 141: @@
     </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">[[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.&nbsp;Rudolph]]</td>
@@ Line 143: / Line 147: @@
     </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">[[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.&nbsp;Rudolph]]</td>
@@ Line 155: / Line 159: @@
     </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">[[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.&nbsp;Hölldobler]]</td>
@@ Line 198: / Line 202: @@
     </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">[[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.&nbsp;Rudolph]]</td>
@@ Line 204: / Line 208: @@
     </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">[[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.&nbsp;Rudolph]]</td>
@@ Line 210: / Line 214: @@
     </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">[[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.&nbsp;Hölldobler]]</td>
@@ Line 234: / Line 238: @@
     </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">[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.&nbsp;Baader]</td>
@@ Line 277: / Line 281: @@
     </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">[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.&nbsp;Baader]</td>
@@ Line 296: / Line 300: @@
     </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">[[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.&nbsp;Hölldobler]]</td>
@@ Line 307: / Line 311: @@
        <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">[[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.&nbsp;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">[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">0/2/0</td>
@@ Line 314: / Line 324: @@
     </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">[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.&nbsp;Baader]</td>
@@ Line 350: / Line 360: @@
        <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">Project Group Theoretical Computer Science</td>
+       <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; 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.&nbsp;Baader], [[Anni-Yasmin_Turhan/en|Dr.&nbsp;Turhan]]</td>
@@ Line 358: / Line 368: @@
 <br/>
-Here you can find the [http://www.computational-logic.org/content/study/master/modules13.php?id=43 description of the modules] as well as the [[MCLSummerTerm2016/timetable/en|timetable of the courses]].
+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]].
+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)].
+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)]'''.
 &nbsp;
 }}
+[[Kategorie:MCL]]

MCL/Courses/SS2016/en: Difference between revisions

Latest revision as of 15:09, 17 July 2020

Courses in Summer Term 2016

Module MCL-AL Advanced Logics (Basic)

Module MCL-ILS Integrated Logic Systems (Basic)

Module MCL-CSE Computer Science Engineering (Advanced)

Module MCL-KR Knowledge Representation (Advanced)

Module MCL-PI Principles of Inference (Advanced)

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

Module MCL-PCS Presentation and Communication Skills (Basic)

Module MCL-P Project (Basic)