Illustrationsbild für den Virtuellen Studienplatz

Lehrveranstaltung 01657 (WiSe 15/16)

 
01657 Grundlagen der Theoretischen Informatik A im Wintersemester 2015/2016
Hinweis Das Semester dieser Veranstaltung ist beendet.
grundlegende Überarbeitung: Wintersemester 2006/2007 Umfang: 2.0 SWS
Übungsumfang: 1.0 SWS nächster geplanter Einsatz: Wintersemester 2016/2017
Versionen Autorinnen und Autoren
Teilnahmevoraussetzungen Beschreibung
Schließen
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
Termine
Veranstaltungsbeginn: 01.10.2015
Versand
Material
Hinweis 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.
Einheiten Übungen
Zusatzmaterial
Betreuung
Betreuende Liste der Campus Standorte bzw. Studienzentren
Zusatzveranstaltungen
Hinweis 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  |  5.5.24,04:30 im Sommersemester 2024  |  realisiert durch das LVU-System
FernUni-Logo FernUniversität in Hagen, 58084 Hagen, Telefon: +49 2331 987-01, E-Mail: fernuni@fernuni-hagen.de