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 | |