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 1: / Line 1: @@
 {{#leftsidenav:
-{{LeftsidenavHeading|Modules}}
+{{LeftsidenavHeading|[[MCL/en|International Master]]}}
-<div class="no-toc-head">__TOC__</div>
+<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__
 |
@@ Line 21: / Line 52: @@
     </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">[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.&nbsp;Baier]</td>
@@ Line 42: / 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 110: / 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 116: / 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 128: / 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 134: / Line 165: @@
     </tr>
     <tr>
-       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Logical_Modeling_(SS2016)/en|Logical Modelling]]</td>
+       <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>
@@ Line 171: / 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 177: / 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 183: / 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 189: / Line 220: @@
     </tr>
     <tr>
-       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[[Logical_Modeling_(SS2016)/en|Logical Modelling]]</td>
+       <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>
@@ Line 207: / 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 250: / 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 269: / 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 275: / Line 306: @@
     </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">[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">0/2/0</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://wwwtcs.inf.tu-dresden.de/~baier/ Prof.&nbsp;Baier]</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">Selected Topics in Logics and Verification</td>
+      <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>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://wwwtcs.inf.tu-dresden.de/~baier/ Prof.&nbsp;Baier]</td>
@@ Line 287: / 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 318: / Line 355: @@
     </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">[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">0/0/4</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">[https://wwwtcs.inf.tu-dresden.de/~baier/ Prof.&nbsp;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">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 331: / 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)