Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden    Semester: WiSe 2020/21      Switch to english language    Hilfe    Sitemap
Logout in [min] [minutetext]

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

Hinweis :
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.

Einrichtungen Institut für Theoretische Informatik

Server: LSF35 Impressum & Datenschutz            Erklärung zur Barrierefreiheit