Stud.IP Uni Oldenburg
Universität Oldenburg
25.09.2021 02:00:46
inf400 - Theoretische Informatik: Logik (Veranstaltungsübersicht)
Department für Informatik 6 KP
Modulteile Semesterveranstaltungen Sommersemester 2021 Prüfungsleistung
Vorlesung
Übung
Hinweise zum Modul
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