Unternavigation / Sub Navigation

Standardverweise

Angewandte Logik

Inhalte Aussagenlogik, Hornlogik und Prädikatenlogik werden behandelt, hierbei werden jeweils Syntax, Semantik, Entscheidungsverfahren, Normalformen, Kalküle (insbesondere der Resolutionskalkül) betrachtet. Weiterer Schwerpunkt sind Deduktionssysteme auf der Basis der Prädikatenlogik mit möglichen Repräsentationsformalismen, Strategien und Heuristiken zur Steuerung der Deduktion. Verschiedene Kalküle und Strategien werden im Hinblick auf Suchräume verglichen. Erweiterungen der Prädikatenlogik bezogen auf Gleichheit und Sorten werden vorgestellt. Insbesondere wird das Thema Variantenmanagement und der Zusammenhang zur Logik vertieft.
Lernziele
  • Die Anwendung logischer Sprachen zur Spezifikation, Problembeschreibung und zur Wissensrepräsentation
  • Die Anwendung von Kalkül-Regeln, insbesondere der Resolution zur Beweissuche (zur Suche nach Problemlösungen)
  • Grundlegende Problembeschreibungs- und Problemlösungsmethoden kennen lernen
  • Kennenlernen konkreter aktueller industrieller Fragestellungen und deren Logik-bezogenen Lösungsansätze kennen lernen und anwenden
  • Anwendung von Werkzeugen zur Spezifikation und Analyse varianter Strukturen
Lehrform
Art und Umfang
Vorlesung (2 SWS)
Übung (2 SWS)
Seminar/Seminaristischer Unterricht
Labor
Projekt
Voraussetzungen für die Teilnahme Keine
Prüfungsvorleistung Regelmäßige Teilnahme an der Vorlesung
Regelmäßige Teilnahme an den Übungen
Regelmäßige Bearbeitung von Haus-/Laborarbeiten
Bestehen von Leistungsstandkontrollen
Prüfungsform
Art und Umfang
Schriftliche Prüfung (60 oder 90 Minuten Bearbeitungszeit)
Mündliche Prüfung
Prüfung am PC
Hausarbeit/Projekt mit Kolloquium
Verwendbarkeit
Informatik PF WPF
Informatik - Digitale Medien und Spiele (Schwerpunkt Medien) PF WPF
Informatik - Digitale Medien und Spiele (Schwerpunkt Spiele) PF WPF
Informatik - Sichere und mobile Systeme PF WPF
Medizininformatik PF WPF
Angebot Sommersemester Wintersemester Unregelmäßig
Arbeitsaufwand
ECTS-Punkte Kontaktzeit Selbststudium
5 60 Stunden 90 Stunden
Lehrende(r) Prof. Dr. G. Rock
Modulverantwortliche(r) Prof. Dr. G. Rock
Änderungsdatum 05.03.2018
Christian Bettinger,  5. März 2018