Logo des Repositoriums

S15 - SKILL 2019 - Studierendenkonferenz Informatik

https://dl.gi.de/handle/20.500.12116/28988
Auflistung nach:

Auflistung S15 - SKILL 2019 - Studierendenkonferenz Informatik nach Schlagwort "Aussagenlogik"

1 - 1 von 1
  • Konferenzbeitrag
    Baumautomaten als notationelle Variante logischer Matrix-Semantik
    (SKILL 2019 - Studierendenkonferenz Informatik, 2019) Grätz, Lukas
    Automaten sind als Grundlage der theoretischen Informatik in der Regel Bestandteil einer Vorlesung über Automaten und Sprachen im Bachelor. Wahrheitsfunktionen werden für die Semantik der Aussagenlogik ebenfalls in einer Grundlagenveranstaltung behandelt. Wie sich nun herausstellt, sind beide Konzepte ab einem gewissen Abstraktionsgrad äquivalent und nur bezüglich Terminologie und Notation unterschiedlich: (aufsteigende) Baumautomaten und Matrizen für mehrwertige Logik. Neben dem deterministischen Fall ist die nicht-deterministische Semantik Thema meiner Masterarbeit.