KursbeschreibungDieser Kurs ist für den Bachelor-Studiengang gedacht.
Es werden zunächst einfache Berechnungsmodelle für Zahlen- und Wortfunktionen
definiert. Anschließend werden grundlegende Eigenschaften der berechenbaren
Funktionen sowie der entscheidbaren und aufzählbaren Mengen behandelt. Als
Modell-Programmiersprache wird die Standardnumerierung der berechenbaren
Zahlenfunktionen eingeführt und eingehend untersucht. Dann werden einige
unlösbare Probleme vorgestellt. Schließlich wird Berechenbarkeit mittels
Nummerierungen auf andere abzählbare Mengen übertragen, und es werden die
berechenbaren reellen Funktionen definiert. Für folgende Informatik-Studiengänge vorgesehen: B