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