|Module name (EN): Computability and Complexity Theory|
|Degree programme: Computer Science and Communication Systems, Master, ASPO 01.10.2017|
|Module code: KIM-BK|
|Hours per semester week / Teaching method: 4V (4 hours per week)|
|ECTS credits: 6|
|Mandatory course: yes|
|Language of instruction:
KIM-BK Computer Science and Communication Systems, Master, ASPO 01.10.2017, semester 1, mandatory course
PIM-BK Applied Informatics, Master, ASPO 01.10.2011, semester 1, mandatory course
PIM-BK Applied Informatics, Master, ASPO 01.10.2017, semester 1, mandatory course
60 class hours (= 45 clock hours) over a 15-week period.
The total student study time is 180 hours (equivalent to 6 ECTS credits).
There are therefore 135 hours available for class preparation and follow-up work and exam preparation.
|Recommended prerequisites (modules):
|Recommended as prerequisite for:
Prof. Dr. Thomas Kretschmer
|Lecturer: Prof. Dr. Thomas Kretschmer
The students will be able to define the most important concepts from the computability and complexity theory and explain them using examples. They can understand the basic mathematical properties of hardware and software and are able to identify and apply theoretical concepts that solve practical problems. Students can explain the principal limitations to which certain problems are subject and analyze new problems with regard to these limitations.
The students can determine the complexity of problems regarding runtime and storage space and implement this knowledge to draw conclusions about the practical implementation of algorithms.
1 Automata and languages
* Finite and infinite automata
* Regular expressions
* Kleene´s recursion theorem
* Quotient automaton
2 Computability theory
* Turing machines
* Church-Turing thesis
3 Complexity theory
* Time complexity
* Space complexity
Lecture, exercises, discussions
|Recommended or required reading:
SIPSER Michael: Introduction to the theory of computation, Course Technology, 3rd edition, 2012
SAKAROVITCH Jacques: Elements of Automata Theory, Cambridge University Press, 2009
|Module offered in: |
WS 2020/21, WS 2019/20, WS 2018/19, WS 2017/18
[Sat Jul 11 13:42:22 CEST 2020, CKEY=pbk, BKEY=kim2, CID=KIM-BK, LANGUAGE=en, DATE=11.07.2020]