Logo - Fakultät für Mathematik und Informatik Illustration

Kurs 01657

Illustration

Grundlagen der Theoretischen Informatik A

Autoren/innen: Klaus Weihrauch
SWS: 2
Übung: 1 SWS

Betreuung:

Kurs wird im aktuellen Wintersemester 2014/2015 angeboten.

Prüfer:

Bernhard Heinemann

Rutger Verbeek

Kursbeschreibung

Dieser 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

AuK Webteam | 29.09.2014
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Lehrgebiet Algorithmen und Komplexität, 58084 Hagen, Tel.: +49 2331 987-2823