Fach | Informatik |
Kursnummer | 1680 |
Autor | Weihrauch, Klaus |
Titel | Theorie der Berechenbarkeit |
Jahr | 2003 |
Signatur | AKMH/INF |
Kurseinheiten | ||
Nr. | Titel | Invent.-Nr. |
01 | Rekursive und rekursiv-aufzählbare Mengen | 03 / S149 |
02 | Nummerierungen | 03 / S176 |
03 | Der Rekursionssatz, mit Anwendungen | 03 / S196 |
04 | Anwendungen in der Logik | 03 / S209 |
05 | Wahrheitstafel- und Turing-Reduzierbarkeit | 03 / S230 |
06 | Die Arithmetische Hierarchie | 03 / S236 |
07 | Komplexitätstheorie | 03 / S248 |
Ihr Kontakt: Christoph Spieker