Description of Modules at the TUD

Basic (Mandatory) Modules

Module No.	Name of Module	Person in Charge
MCL-F	Foundations	Prof. Steffen Hölldobler
Contents and qualification objectives	The module comprises propositional logic, first-order logic, equational logic; deductive, abductive, and inductive reasoning; non-monotonic reasoning; machine learning; logic-based program development; natural-language processing and neural-symbolic integration. After completion of the module students master the methodological basics of propositional and first-order logic. They know the field of Computational Logic and its main sub-fields as well as the basic techniques and methods applied in important sub-fields.
Form of teaching and education	Lectures 4 SWS, tutorials 4 SWS, private studies.
Courses	The courses Logic and Science of Computational Logic with an extent of 2 SWS lectures and 2 SWS tutorials each are assigned to this module.
Prerequisites for participation	None
Usability	This module is a basic (mandatory) module of the master's program Computational Logic. It provides the qualification for the modules Advanced Logic, Integrated Logic Systems and Project as well as for all advanced (elective) modules.
Prerequisites for allocation of credits	The credits are given if the module examination has been passed successfully. The module examination consists of a written examination of 90 minutes and an oral examination of 20 minutes.
Credits and marks	With this module 9 credits will be acquired. The final mark of the module arises from the (unweighted) arithmetical mean of the marks obtained in each course examination.
Frequency	This module is offered every academic year in the winter semester.
Expenditure of work	The overall expenditure of work is 270 hours.
Duration	This module shall be studied within 1 semester.

Module No.	Name of Module	Person in Charge
MCL-LCP	Logic and Constraint Programming	Prof. Sebastian Rudolph
Contents and qualification objectives	Contents of this module are: syntax, semantic and computation aspects of logic programs with different expressions modelling of problems as constraint programs and techniques of their solution practice of logic and constraint programming With this module students acquire a detailed understanding of the theoretical foundations of logic and constraint programming as well as a deep knowledge of a logic programming language and the skill to systematically design logic programs for developing constraint solvers as well as to model application problems as constraint programs. They have knowledge of the domains of logic and constraint programs as well as an understanding of the execution of logic programs.
Form of teaching and education	Lectures 3 SWS, tutorials 4 SWS, private studies.
Courses	The courses Foundations of Logic Programming with an extent of 2 SWS lectures and 1 SWS tutorial, Foundations of Constraint Programming with an extent of 1 SWS lectures and 1 SWS tutorials as well as Logic Programming Engineering with an extent of 2 SWS tutorials are assigned to this module.
Prerequisites for participation	None
Usability	This module is a basic (mandatory) module of the master's program Computational Logic. It provides the qualification for the modules Advanced Logic, Integrated Logic Systems and Project as well as for all advanced (elective) modules.
Prerequisites for allocation of credits	The credits are given if the module examination has been passed successfully. The module examination consists of a written examination of 90 minutes.
Credits and marks	With this module 9 credits will be acquired. The final mark of the module is the mark obtained in the module examination.
Frequency	This module is offered every academic year in the winter semester.
Expenditure of work	The overall expenditure of work is 270 hours.
Duration	This module shall be studied within 1 semester.

Module No.	Name of Module	Person in Charge
MCL-AL	Advanced Logic	Prof. Sebastian Rudolph
Contents and qualification objectives	The contents of this module are selected aspects of logic in computer science, which follow up the basics of the modules of the first semester. Possible topics of the courses offered within this module are extensions of propositional and predicate logic (e.g. description logic, modal and temporal logics, nonmonotonic logics, fuzzy logics, quantitative logics, logics of second or higher order) algorithmic, complexity or model theoretical examinations and/or applications of mathematical logics (e.g. logic programming, theorem proving, knowledge representation, machine learning, verification) After completion of this module the students have a comprehensive knowledge of basic principles of logic calculus and they acquire the skill to examine mathematical logics regarding the aspects being relevant for computer science.
Form of teaching and education	This module contains lectures, tutorials and seminars of a total extent of 6 SWS, of which at least 4 SWS will be covered by lectures.	From summer semester 2016 on this module is offered at the Free University of Bozen-Bolzano, Italy.
Courses	The courses are announced within the course offer of the Faculty of Computer Science at the beginning of every academic year giving the form of teaching and the SWS for the master's program Computational Logic.	From summer semester 2016 on the courses Formal Methods and Non-classical Logics are assigned to this module.
Prerequisites for participation	Besides to the contents of the modules Foundations (MCL-F) and Logic and Constraint Programming (MCL-LCP), this module requires overall basic knowledge of computer science, especially from the areas of computability and complexity theory, formal languages, algorithms and data structures.
Usability	This module is a basic (mandatory) module of the master's program Computational Logic. It provides the qualification for all advanced (elective) modules as well as for the module Project.
Prerequisites for allocation of credits	The credits are given if the module examination has been passed successfully. The module examination consists of an oral examination of 30 minutes.
Credits and marks	With this module 8 credits will be acquired. The final mark of the module is the mark obtained in the module examination.
Frequency	This module is offered every academic year in the summer semester.
Expenditure of work	The overall expenditure of work is 240 hours.
Duration	This module shall be studied within 1 semester.

Module No.	Name of Module	Person in Charge
MCL-ILS	Integrated Logic Systems	Prof. Michael Schroeder
Contents and qualification objectives	The contents of this module are methods and tools for the design and the realization of systems based on logic, rules and conclusion mechanisms. This means the basics of deduction systems, implementation techniques of logic systems as well as learning and searching procedures and methods from information retrieval and natural language processing to generate knowledge from a huge document storage.
Form of teaching and education	Lectures 3 SWS, tutorials 3 SWS, private studies.	From summer semester 2016 on this module is offered at the Free University of Bozen-Bolzano, Italy.
Courses	The courses Deduction Systems with an extent of 1 SWS lectures and 1 SWS tutorials and Semantic Search: Algorithms and Applications with an extent of 2 SWS lectures and 2 SWS tutorials are assigned to this module.	From summer semester 2016 on the course Computational Logic is assigned to this module.
Prerequisites for participation	Comprehensive knowledge in logic and logic programming or equivalent knowledge is required.
Usability	This module is a basic (mandatory) module of the master's program Computational Logic. It provides the qualification for all advanced (elective) modules as well as for the module Project.
Prerequisites for allocation of credits	The credits are given if the module examination has been passed successfully. The module examination consists of a written examination of 120 minutes.
Credits and marks	With this module 8 credits will be acquired. The final mark of the module is the mark obtained in the module examination.
Frequency	This module is offered every academic year in the summer semester.
Expenditure of work	The overall expenditure of work is 240 hours.
Duration	This module shall be studied within 1 semester.

Module No.	Name of Module	Person in Charge
MCL-PCS	Presentation and Communication Skills	Head of the master's program
Contents and qualification objectives	The module consists of the work out and the presentation of a scientific talk, the learning of soft skills, the learning of the German language and private studies. After completion of the module the students are able to communicate in German, to familiarize with a previously unknown scientific topic, to present the topic in a talk and a paper as well as to defend it in a discussion following the presentation.
Form of teaching and education	The module consists of a seminar with an extent of 2 SWS and alternatively a language course, a lecture or another seminar each with a total extent of 2 SWS.
Courses	The course Academic Writing and Presenting is assigned to this module. Seminars and language courses are announced within the course offer of the Faculty of Computer Science at the beginning of every academic year giving the form of teaching and the SWS for the master's program Computational Logic.
Prerequisites for participation	Basic knowledge of Computational Logic is required.
Usability	This module is a basic (mandatory) module of the master's program Computational Logic.
Prerequisites for allocation of credits	The credits are given if the module examination has been passed successfully. The module examination consists of a seminar paper incl. its presentation and alternatively a language course, a written examination or another seminar paper incl. its presentation.
Credits and marks	With this module 4 credits will be acquired, if a seminar and alternatively a language course, a lecture or another seminar have been completed successfully. A seminar mark arises from the arithmetical mean of the marks obtained in the seminar work and its presentation with usage of the following weight: seminar work with factor 1, presentation with factor 3. The final mark of the module arises from the arithmetical mean of the proposed seminar mark(s).
Frequency	This module is offered in every academic year.
Expenditure of work	The overall expenditure of work is 120 hours.
Duration	This module shall be studied within 1 year.

Module No.	Name of Module	Person in Charge
MCL-P	Project	Head of the master's program
Contents and qualification objectives	The module requires the solution of a simple scientific problem from the field of Computational Logic including an oral and written presentation of the problem, the state of the art in the underlying sub-field and the proposed solution as well as its defense. After completion of the module the students are able to analyze a simple scientific problem, to relate the problem to the state of the art in the underlying sub-field, to solve the problem, to present the problem, the state of the art as well as the solution in writing as well as in an oral presentation, and to defend their claims.
Form of teaching and education	Practicals 4 SWS, private studies.
Courses	The course Project Group with an extent of 4 SWS practicals is assigned to this module.
Prerequisites for participation	The knowledge from the basic (mandatory) modules of the master's program Computational Logic is required.
Usability	This module is a basic (mandatory) module of the master's program Computational Logic.
Prerequisites for allocation of credits	The credits are given if the module examination has been passed successfully. The module examination consists of a project work and its defence.
Credits and marks	With this module 16 credits will be acquired. The final mark of the module arises from the arithmetical mean of the marks obtained in each course examination with usage of the following weight: project work with factor 3, presentation with factor 1.
Frequency	This module is offered in every semester.
Expenditure of work	The overall expenditure of work is 480 hours.
Duration	This module shall be studied within 1 semester.

Advanced (Elective) Modules

Module No.	Name of Module	Person in Charge
MCL-KR	Knowledge Representation	Prof. Steffen Hölldobler
Contents and qualification objectives	Contents of this module: Knowledge categories Logic-based formalisms for knowledge representation and their mathematical properties Inference methods for automatically processing knowledge; Design of knowledge bases Foundations and applications of knowledge-based systems in Artificial Intelligence After completion of this module the students have a solid understanding of the formalization and the processing of knowledge in Artificial Intelligence. They acquire the skills of designing, formally specifying, and implementing techniques of knowledge representation and reasoning. With the focus on formal models in combination with systematic methods from software engineering, this module provides the essential basis for the scientific approach to computer science.
Form of teaching and education	This module contains lectures, tutorials, seminars or practicals of a total extent of at least 8 SWS in dependence of the student's choice as well as private studies.
Courses	The courses are announced within the course offer of the Faculty of Computer Science at the beginning of every academic year giving the form of teaching and the SWS for the master's program Computational Logic.
Prerequisites for participation	Comprehensive knowledge of logic is required.
Usability	This module is one of the advanced (elective) modules of the study course Computational Logic, of which 3 ones have to be chosen.
Prerequisites for allocation of credits	The credits are given if the module examination has been passed successfully. The module examination consists of an oral examination of 40 minutes.
Credits and marks	With this module 12 credits will be acquired. The final mark of the module is the mark of the oral examination.
Frequency	This module is offered every academic year beginning in the winter semester.
Expenditure of work	The overall expenditure of work is 360 hours.
Duration	This module shall be studied within 2 semesters.

Module No.	Name of Module	Person in Charge
MCL-TCSL	Theoretical Computer Science and Logic	Prof. Franz Baader
Contents and qualification objectives	The content of this module comprises selected techniques of Theoretical Computer Science (like automata, decidability and complexity results, term rewriting techniques) as well as their application for the analysis of formal properties (like axiomatizations, proof-theoretic properties, design of inference algorithms and analysis of their properties) of logics (like temporal logics, description logics, monadic second-order logic). After completion of the module the students have a deep and practically applicable knowledge of the most important methods of theoretical computer science, which are relevant for the application in logic, as well as a deep understanding of formal properties of various logics.
Form of teaching and education	This module contains lectures, tutorials, seminars or practicals of a total extent of at least 8 SWS in dependence of the student's choice as well as private studies.
Courses	The courses are announced within the course offer of the Faculty of Computer Science at the beginning of every academic year giving the form of teaching and the SWS for the master's program Computational Logic.
Prerequisites for participation	Comprehensive knowledge of logic as well as basic knowledge of the fields automata theory, calculability and complexity are required.
Usability	This module is one of the advanced (elective) modules of the study course Computational Logic, of which 3 ones have to be chosen.
Prerequisites for allocation of credits	The credits are given if the module examination has been passed successfully. The module examination consists of an oral examination of 40 minutes.
Credits and marks	With this module 12 credits will be acquired. The final mark of the module is the mark of the oral examination.
Frequency	This module is offered every academic year beginning in the winter semester.
Expenditure of work	The overall expenditure of work is 360 hours.
Duration	This module shall be studied within 2 semesters.

Module No.	Name of Module	Person in Charge
MCL-PI	Principles of Inference	Prof. Steffen Hölldobler
Contents and qualification objectives	The module containts selected inference techniques applied in automatic or semi-automatic proof and inference systems ranging from logic and calculus over data structures, strategies and heuristics to implementations and applications. After completion of the module students have a deep understanding of the development, implementation and application of selected inference techniques.
Form of teaching and education	This module contains lectures, tutorials, seminars or practicals of a total extent of at least 8 SWS in dependence of the student's choice as well as private studies.
Courses	The courses are announced within the course offer of the Faculty of Computer Science at the beginning of every academic year giving the form of teaching and the SWS for the master's program Computational Logic.
Prerequisites for participation	Comprehensive knowledge of logic is required.
Usability	This module is one of the advanced (elective) modules of the study course Computational Logic, of which 3 ones have to be chosen.
Prerequisites for allocation of credits	The credits are given if the module examination has been passed successfully. The module examination consists of an oral examination of 40 minutes.
Credits and marks	With this module 12 credits will be acquired. The final mark of the module is the mark of the oral examination.
Frequency	This module is offered every academic year beginning in the winter semester.
Expenditure of work	The overall expenditure of work is 360 hours.
Duration	This module shall be studied within 2 semesters.

Module No.	Name of Module	Person in Charge
MCL-CSE	Computer Science Engineering	Head of the master's program
Contents and qualification objectives	The module treats the foundations of the design, the development and the use of computer based systems as well as their application. After completion of this module students have a solid understanding of the foundations of computer based systems as well as of their application. They have an overview of structures of equivalent systems, they have the skills to thoroughly understand the functioning of computer based systems and the skills to model problems from application areas of computer based systems.
Form of teaching and education	This module contains lectures, tutorials, seminars or practicals of a total extent of at least 8 SWS in dependence of the student's choice as well as private studies.
Courses	The courses are announced within the course offer of the Faculty of Computer Science at the beginning of every academic year giving the form of teaching and the SWS for the master's program Computational Logic.
Prerequisites for participation	Basic knowledge of computer science is required.
Usability	This module is one of the advanced (elective) modules of the study course Computational Logic, of which 3 ones have to be chosen.
Prerequisites for allocation of credits	The credits are given if the module examination has been passed successfully. The module examination consists of an oral examination of 40 minutes.
Credits and marks	With this module 12 credits will be acquired. The final mark of the module is the mark of the oral examination.
Frequency	This module is offered every academic year beginning in the winter semester.
Expenditure of work	The overall expenditure of work is 360 hours.
Duration	This module shall be studied within 2 semesters.

For further information, see the pages of the International MSc Program in Computational Logic or contact Prof. Steffen Hölldobler.