Illustrationsbild für den Virtuellen Studienplatz

Lehrveranstaltung 01601 (WiSe 07/08)

 
01601 Formale Grundlagen der Informatik im Wintersemester 2007/2008
Hinweis Das Semester dieser Veranstaltung ist beendet.
grundlegende Überarbeitung: Wintersemester 2002/2003 Umfang: 2.0 SWS
Übungsumfang: 1.0 SWS nächster geplanter Einsatz: -keine Angaben vorhanden-
Versionen Autorinnen und Autoren
Teilnahmevoraussetzungen Beschreibung
Schließen
Beschreibung
KursbeschreibungAchtung: Dieser Kurs wird im WS 2007/2008 letztmalig angeboten (für Wiederholer).
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: 12.11.2007
Versand
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  |  5.7.24,08:21 im Sommersemester 2024  |  realisiert durch das LVU-System
FernUni-Logo FernUniversität in Hagen, 58084 Hagen, Telefon: +49 2331 987-01, E-Mail: fernuni@fernuni-hagen.de