Illustrationsbild für den Virtuellen Studienplatz

Kurs 01657 (WS 14/15)

 
Kurs 01657 Grundlagen der Theoretischen Informatik A im Wintersemester 2014/2015
Hinweis Das Semester dieser Veranstaltung ist beendet.
grundlegende Überarbeitung: Wintersemester 2006/2007 Kursumfang: 2.0 SWS
Übungsumfang: 1.0 SWS nächster geplanter Einsatz: -keine Angaben vorhanden-
Versionen Autorinnen und Autoren
Teilnahmevoraussetzungen Kursbeschreibung
Schließen
Kursbeschreibung
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.2014
Versand
Kursmaterial
Hinweis Diese Lehrveranstaltung beinhaltet zugriffsgeschütztes Material, das nur nach dem Login eingesehen werden kann.
Kurseinheiten Übungen
Zusatzmaterial
Betreuung
Betreuende Liste der Regionalzentren
Zusatzveranstaltungen
Hinweis Die zu diesem Kurs angebotenen Zusatzveranstaltungen werden Teilnehmern dieses Kurses nach dem Login angezeigt.

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


Seite erstellt in 0,1s  |  4.8.20,01:41 im Sommersemester 2020  |  realisiert durch das LVU-System
FernUni-Logo FernUniversität in Hagen, 58084 Hagen, Telefon: +49 2331 987-01, E-Mail: fernuni@fernuni-hagen.de