Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß


Berechenbarkeit

Deutsche Version. This page is available in German only. Cette page n'existe qu'en Allemand. Ésta página sólo existe en Alemán.


Veranstaltungsnummer: 18.222

Titel: Berechenbarkeit

Veranstalter: Manfred Kudlek

Ort und Zeit: Mi 10-12 C-221

Lernziel:

Betrachtung des Begriffs 'Algorithmus' von verschiedenen Gesichtspunkten.

Inhalt:

Primitiv-rekursive und rekursive Funktionen, Ackermann-Funktion, Turing-Maschine, Entscheidbarkeit und Unentscheidbarkeit, Berechenbare Funktionen; Grzegorczyk-Hierarchie; Semi-Thue- und Normale Systeme, Post-Maschine; Markov-Algorithmen; Lambda-Kalkül; Diophantische Gleichungen, 10. Hilbert-Problem; Prädikatenlogik 1. Stufe, Typ-1 und Typ-2-Berechenbarkeit.

Stellung im Studienplan: Hauptstudium; Vertiefungsgebiete Th2, Th3

Voraussetzung: Grundstudium

Vorgehen: Vorlesung

Literatur:

Periodizität: unregelmäßig

Bemerkungen:

Für LehrerInnen / NebenfächlerInnen, insbesondere für Mathematiker, geeignet.

Letzte Änderung: 17:40 19.05.2011
Impressum