LFU:online

Logik ist definiert als das Studium des Prinzip des Schließens. Das  Modul erweitert die einführende Logikvorlesung im Grundstudium.

Syntax, Semantik und formale Systeme der Prädikatenlogik (mit Gleichheit), Erweiterungen der Prädikatenlogik, wie Modallogik oder zweistufiger Logik, Curry-Howard Isomorphismus, Automatisches Beweisen (mit Gleichheit) in der Prädikatenlogik. Resolution und Paramodulation.

Beurteilung aufgrund von regelmäßigen schriftlichen und/oder mündlichen Beiträgen der Teilnehmerinnen und Teilnehmer.

Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen

Wird im Rahmen der ersten Lehrveranstaltung besprochen.