|
|
|
|
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. |
|
|
