Illustrationsbild für den Virtuellen Studienplatz

Lehrveranstaltung 01601 (WiSe 04/05)

 
01601 Formale Grundlagen der Informatik im Wintersemester 2004/2005
Hinweis Das Semester dieser Veranstaltung ist beendet.
grundlegende Überarbeitung: Wintersemester 2002/2003 Umfang: 2.0 SWS
Übungsumfang: 1.0 SWS nächster geplanter Einsatz: Wintersemester 2005/2006
Versionen Autorinnen und Autoren
Teilnahmevoraussetzungen Beschreibung
Schließen
Beschreibung
KursbeschreibungWichtige 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 dabei auf den logischen Grundlagen. Es wird eine Einführung in die Aussagenlogik und die Prädikatenlogik 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: 15.11.2004
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.
Einstieg
Betreuung
Betreuende/Beratende Liste der Campus Standorte bzw. Studienzentren

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


Seite erstellt in 0,1s  |  23.11.24,13: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