Formale Systeme WS 98/99
|
Formale Systeme WS 98/99
|
|
Adressaten:
Studierende im Aufbaustudium
Inhalt:
Der Kurs vermittelt formales Grundwissen, das in späteren Kursen (insbesondere aus den Bereichen Wissensrepräsentation, Datenmodellierung und Datenbanken) benötigt wird. Es werden Relationen, Funktionen, Operatoren, Aussagenlogik (Sprache, Kalküle, Boole'sche Algebra), Prädikatenlogik (Sprache, Kalküle, Interpretation) sowie Formale Sprache und Automatentheorie behandelt.
Kursleistung:
Klausur
Literatur:
Es liegt ein Skript vor, weitere wird im Kurs bekanntgegeben
Hoc fecit Dagmar Michels, 31 Jul 98