Theorie II - 14 - Satz von Rice

Diese Vorlesung stammt aus dem Kurs
"Theoretische Informatik II: Formale Sprachen, Berechenbarkeit, Komplexität"
von Prof. Dr. Philipp Hennig, gehalten im Sommersemester 2024 an der Universität Tübingen.
Die Veranstaltung wird auf Deutsch gehalten und richtet sich an BSc-Studierende der Informatik im 3. und 4. Fachsemester.
Auf unserem Kanal finden Sie auch die Partnerversion dieser Vorlesung von Prof. Dr. Ulrike von Luxburg, aus dem (Corona) Sommer 2021: • Theoretische Informati...