Grundlagen der Theoretischen Informatik A (WiSe 13/14)
Das Semester dieser Veranstaltung ist beendet.
grundlegende Überarbeitung: Wintersemester 2006/2007 Umfang: 2.0 SWS
nächster geplanter Einsatz: Wintersemester 2014/2015 Autorinnen und Autoren
Teilnahmevoraussetzungen Beschreibung
Beschreibung
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
Material
Diese Lehrveranstaltung beinhaltet zugriffsgeschütztes Material, das nur nach dem Login eingesehen werden kann.
Das für diese Veranstaltung bereits definierte Material ist noch nicht freigegeben.
Bitte versuchen Sie es später noch einmal.
Betreuung
Betreuende Liste der Campus Standorte bzw. Studienzentren
Zusatzveranstaltungen
Die zu dieser Lehrveranstaltung angebotenen Zusatzveranstaltungen werden Teilnehmern nach dem Login angezeigt.

Irrtümer und nachträgliche Datenänderungen vorbehalten.


Seite erstellt in 0,1s  |  2.8.2025,16:26 im Sommersemester 2025  |  realisiert durch das LVU-System