Arbeitsaufwand:
180 h
|
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 | |