KursbeschreibungDieser Kurs ist für den Bachelor-Studiengang und das Lehramt für die
Sekundarstufe gedacht. Er enthält wesentliche Inhalte des Kurses 01653.
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. - Der Kurs ersetzt zusammen mit dem
Kurs 01658 "Grundlagen der Theoretischen Informatik B" den bisherigen Kurs
01655. Für folgende Informatik-Studiengänge vorgesehen: B, L.
Termine
Veranstaltungsbeginn: 06.10.2008
Material
Diese Lehrveranstaltung beinhaltet zugriffsgeschütztes Material, das nur nach dem Einloggen und bei vorhandener Belegung der Lehrveranstaltung eingesehen werden kann. Studierende der FernUniversität sollten sich einloggen.