|
|
Intelligente Informations- und Kommunikationssysteme
Lehrveranstaltungen des IICS
Kurs 1601: Formale Grundlagen der Informatik
- Kurzbeschreibung: Wichtige formale Grundlagen, die in vielen Bereichen der Informatik eine Rolle spielen, sind Gegenstand dieses Kurses. 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.
- Studiengänge: vorgesehen für Informatik-Studiengang B
- Autoren: Prof. Dr. C. Beierle / Prof. Dr. H. Helbig
- Newsgroup: feu.informatik.kurs.1601.diskussion