inf400 - Theoretische Informatik: Logik

inf400 - Theoretische Informatik: Logik

Department für Informatik 6 KP
Modulteile Semesterveranstaltungen Sommersemester 2020 Prüfungsleistung
Vorlesung
  • Kein Zugang 2.01.400 - Theoretische Informatik: Logik Lehrende anzeigen
    • Dr. Harro Wimmel
    • Jonas Prellberg

    Dienstag: 10:00 - 12:00, wöchentlich (ab 21.04.2020), V, Ort: (Online), (siehe Information Präsidium vom 03.04.2020)
    Freitag: 10:00 - 12:00, wöchentlich (ab 24.04.2020), V/Ü, Ort: (Online)
    Termine am Freitag, 24.07.2020 08:00 - 10:00, Montag, 28.09.2020 09:00 - 11:00, Ort: A14 1-112, A14 1-101 (Hörsaal 1)
Ü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

Nach oben