Illustrationsbild für den Virtuellen Studienplatz

Lehrveranstaltung 01601 (WiSe 05/06)

 
01601 Formale Grundlagen der Informatik im Wintersemester 2005/2006
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 2006/2007
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: 14.11.2005
Material
Hinweis Diese Lehrveranstaltung beinhaltet zugriffsgeschütztes Material, das nur nach dem Login eingesehen werden kann.
Einheiten Übungen
Zusatzmaterial
Betreuung
Betreuende Liste der Campus Standorte bzw. Studienzentren

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


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