Workload:
180 h
Module Number INFO-4421 |
Module Title Computability |
Lecture Type(s) Lecture |
---|---|---|
ECTS | 6 | |
Work load - Contact time - Self study |
Workload:
180 h Class time:
60 h / 4 SWS Self study:
120 h |
|
Duration | 1 Semester | |
Frequency | Irregular | |
Language of instruction | German | |
Type of Exam | Term Paper |
|
Content | The course gives an introduction to computability theory, covering various computability models such as partial recursive functions and Turing machines, the halting problem, and Rice's theorem. |
|
Objectives | Students acquire knowledge of the formal limits of computability |
|
Allocation of credits / grading |
Type of Class
Status
SWS
Credits
Type of Exam
Exam duration
Evaluation
Calculation
of Module (%) |
|
Prerequisite for participation | There are no specific prerequisites. | |
Lecturer / Other | ||
Literature | - |
|
Last offered | unknown | |
Planned for | currently not planned | |
Assigned Study Areas | INFO-INFO, INFO-THEO, MEDI-APPL, MEDI-INFO, ML-CS |