Leistungspunkte:5
Workload:150 h
SWS:4
Anzahl Semester:1
Qualifikationsziele:- 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.
Inhalte:- Aussagenlogik
- Normalformen
- Boole'sche Algebren
- Prädikatenlogik
Lernformen:Vorlesung und Übung
Prüfungsmodalitäten:1 Prüfungsleistung: Klausur, 120 Minuten oder mündliche Prüfung, 30 Minuten
Literatur:- 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.
Modulverantwortlicher:Adámek, Jiri, Prof. Dr.
kurz
eG