Formale Systeme WS 97/98
|
Formale Systeme WS 97/98
|
|
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:
wird im Kurs bekanntgegeben
Hoc fecit Dagmar Michels, 31 Jul 97