Illustrationsbild für den Virtuellen Studienplatz

Lehrveranstaltung 01601 (WiSe 06/07)

 
01601 Formale Grundlagen der Informatik im Wintersemester 2006/2007
Hinweis Das Semester dieser Veranstaltung ist beendet.
grundlegende Überarbeitung: Wintersemester 2002/2003 Umfang: 2.0 SWS
Übungsumfang: 2.0 SWS nächster geplanter Einsatz: Wintersemester 2007/2008
Versionen Autorinnen und Autoren
Teilnahmevoraussetzungen Beschreibung
Schließen
Beschreibung
Wichtige formale Grundlagen, die in vielen Bereichen der Informatik eine Rolle spielen, sind Gegenstand dieses Kurses. (Hierzu gehören u.a. folgende Themen: Relationen, Graphen, Verbände, Algebraische Strukturen, Formale Systeme) Der Schwerpunkt liegt auf den logischen Grundlagen. Es wird eine Einführung in die Aussagenlogik und die Prädikantenlogik gegeben, wobei z.B. folgende Themen behandelt werden: Aussagen, Terme, Formeln, Interpretationen, logische Folgerung, Äquivalenzen, Ableitungen, Kalkülbegriff. Dabei wird auch auf Probleme eingegangen, die immer wieder bei der Formalisierung von "natürlichen" Sachverhalten mit Methoden der Logik entstehen, und es werden insbesondere verschiedene Logikanwendungen aus der Informatik vorgestellt.
Für folgende Informatik-Studiengänge vorgesehen: B.
Termine
Veranstaltungsbeginn: 13.11.2006
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,3s  |  27.11.24,05:13 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