inf400 - Theoretische Informatik: Logik (Veranstaltungsübersicht)

inf400 - Theoretische Informatik: Logik (Veranstaltungsübersicht)

Department für Informatik 6 KP
Modulteile Semesterveranstaltungen Sommersemester 2021 Prüfungsleistung
Vorlesung
Übung
Hinweise zum Modul
Teilnahmevoraussetzungen
Keine Teilnehmervoraussetzungen
Prüfungszeiten
Am Ende der Vorlesungszeit
Prüfungsleistung Modul
Klausur oder mündliche Prüfung
Kompetenzziele
Einführung in die Aussagenlogik, Prädikatenlogik, Logik-Programmierung und Temporale Logik Fachkompetenzen
Die Studierenden:
  • haben Kenntnisse über Syntax, Semantik und Anwendung von Aussagenlogik, Prädikatenlogik, Logik-Programmierung und Temporale Logik
  • spezifizieren Probleme mit Hilfe von logischen Formeln
  • lösen Fragen über aussagelogische Formeln mit Hilfe von Wahrheitstafeln
  • ziehen logische Schlüsse der Aussagen- und Prädikatenlogik mit dem Kalkül des natürlichen Schließens
  • beantworten Anfragen an Logik-Programme mit Hilfe der SLD-Resolution
  • können Model-Checking von Kripke-Strukturen bezüglich CTL-Formeln algorithmisch durchführen
Methodenkompetenzen
Die Studierenden:
  • erkennen Logik als ein vielseitiges Hilfsmittel in der Informatik
Sozialkompetenzen
Die Studierenden:
  • arbeiten in kleinen Gruppen an Lösungen von Aufgaben
  • präsentieren Lösungen von Aufgaben vor Gruppen
Selbstkompetenzen
Die Studierenden:
  • erlernen Ausdauer bei der Bearbeitung schwieriger Aufgaben
  • erlernen Präzision beim Aufschreiben von Lösungen