Nummer

INFO-4421
Titel

Berechenbarkeit
Lehrform(en)

Vorlesung
ECTS 6
Arbeitsaufwand
- Kontaktzeit
- Selbststudium
Arbeitsaufwand:
180 h
Kontaktzeit:
60 h / 4 SWS
Selbststudium:
120 h
Veranstaltungsdauer 1 Semester
Häufigkeit des Angebots Unregelmäßig
Unterrichtssprache Deutsch
Prüfungsform

Hausarbeit

Inhalt

Die Veranstaltung gibt eine Einführung in die Berechenbarkeitstheorie, wobei verschiedene Berechenbarkeitsmodelle, wie partiell-rekursive Funktionen und Turing-Maschinen, das Halteproblem und der Satz von Rice behandelt werden.

Qualifikationsziele

Die Studierenden erwerben Kenntnisse über die formalen Grenzen der Berechenbarkeit

Vergabe von Leistungspunkten/Benotung
Lehrform
Status
SWS
LP
Prüfungsform
Prüfungsdauer
Benotung
Berechnung
Modulnote (%)
Teilnahmevoraussetzungen Es gibt keine besonderen Voraussetzungen.
Dozent/in
Literatur / Sonstiges

-

Zuletzt angeboten nicht bekannt
Geplant für derzeit nicht geplant
Zugeordnete Studienbereiche INFO-INFO, INFO-THEO, MEDI-APPL, MEDI-INFO, ML-CS