Info zur Überschrift : Einführung in die Logik (BPO 2010) (Modulnr.: INF-THI-37)

5

150 h

4

1

- Nach Abschluss dieses Moduls besitzen die Studierenden einen Einblick in die Methoden der formalen Logik und deren Relevanz in der Informatik. - Sie können Sachverhalte formal-logisch formulieren und formal-logische Methoden anwenden.

- Aussagenlogik - Normalformen - Boole'sche Algebren - Prädikatenlogik

Vorlesung und Übung

1 Prüfungsleistung: Klausur, 120 Minuten oder mündliche Prüfung, 30 Minuten

- J. Adamek: Einfuehrung in die Logik, Skript 2011 (Webseite des Instituts fuer Theoretische Informatik) - Uwe Schoening: Logik fuer Informatiker, Spektrum Verlag, Berlin 2005 - H. Ehrich et al: Grundlagen der Informatik, Springer Verlag 1999 - M. Huth und M.Ryan: Logic in computer science, Cambridge University Press 2004.

Adámek, Jiri, Prof. Dr.