htw saar Piktogramm QR-encoded URL
Back to Main Page Choose Module Version:
emphasize objectives XML-Code


Theoretical Informatics

Module name (EN):
Name of module in study programme. It should be precise and clear.
Theoretical Informatics
Degree programme:
Study Programme with validity of corresponding study regulations containing this module.
Computer Science and Communication Systems, Master, ASPO 01.04.2016
Module code: KI710
The exam administration creates a SAP-Submodule-No for every exam type in every module. The SAP-Submodule-No is equal for the same module in different study programs.
Hours per semester week / Teaching method:
The count of hours per week is a combination of lecture (V for German Vorlesung), exercise (U for Übung), practice (P) oder project (PA). For example a course of the form 2V+2U has 2 hours of lecture and 2 hours of exercise per week.
4V (4 hours per week)
ECTS credits:
European Credit Transfer System. Points for successful completion of a course. Each ECTS point represents a workload of 30 hours.
Semester: 1
Mandatory course: yes
Language of instruction:
180-minute written exam

[updated 08.05.2008]
Applicability / Curricular relevance:
All study programs (with year of the version of study regulations) containing the course.

KI710 (P222-0071) Computer Science and Communication Systems, Master, ASPO 01.04.2016 , semester 1, mandatory course
PIM-TI Applied Informatics, Master, ASPO 01.10.2011 , semester 1, mandatory course, course inactive since 14.01.2012
Workload of student for successfully completing the course. Each ECTS credit represents 30 working hours. These are the combined effort of face-to-face time, post-processing the subject of the lecture, exercises and preparation for the exam.

The total workload is distributed on the semester (01.04.-30.09. during the summer term, 01.10.-31.03. during the winter term).
60 class hours (= 45 clock hours) over a 15-week period.
The total student study time is 150 hours (equivalent to 5 ECTS credits).
There are therefore 105 hours available for class preparation and follow-up work and exam preparation.
Recommended prerequisites (modules):
Recommended as prerequisite for:
Module coordinator:
Prof. Dr. Thomas Kretschmer
Prof. Dr. Thomas Kretschmer

[updated 01.04.2003]
Learning outcomes:
Students will learn the traditional areas of theoretical informatics: automata and languages, computability and complexity theory. Students will acquire an understanding of the fundamental mathematical properties of hardware and software systems. After completing this course, students will understand and be able to apply the theoretical concepts that are used to solve problems of practical relevance. This will allow them to generate theoretically well-grounded and properly conceived solutions. Students will also appreciate the fundamental limitations that apply to certain types of problems. They will also know how to classify problems into complexity classes with respect to runtime and memory requirements.

[updated 08.05.2008]
Module content:
1.        Automata and languages
-        Regular languages
-        Context-free languages
2.        Computability theory
-        The Church-Turing thesis
-        Decidability
-        Reducibility
-        Defining information
3.        Complexity theory
-        Time complexity with NP-completeness
-        Spatial complexity

[updated 08.05.2008]
Recommended or required reading:
HOPCROFT John E.; ULLMANN Jeffrey D.; MOTWANI Rajeev: Einführung in die Automatentheorie - Formale Sprachen und Komplexitätstheorie, Pearson Studium, München, 2. Auflage 2002
SIPSER Michael: Introduction to the theory of computation, Course Technology, Boston 1997

[updated 08.05.2008]
Module offered in:
WS 2016/17, WS 2010/11, WS 2009/10, WS 2008/09, WS 2007/08, ...
[Fri Jul 12 21:58:35 CEST 2024, CKEY=thinfo, BKEY=kim, CID=KI710, LANGUAGE=en, DATE=12.07.2024]