Illustrationsbild für den Virtuellen Studienplatz

Lehrveranstaltung 01657 (WiSe 08/09)

 
01657 Grundlagen der Theoretischen Informatik A im Wintersemester 2008/2009
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 2009/2010
Versionen Autorinnen und Autoren
Teilnahmevoraussetzungen Beschreibung
Schließen
Beschreibung
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
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

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


Seite erstellt in 0,2s  |  1.11.24,00:39 im Wintersemester 2024/2025  |  realisiert durch das LVU-System
FernUni-Logo FernUniversität in Hagen, 58084 Hagen, Telefon: +49 2331 987-01, E-Mail: fernuni@fernuni-hagen.de