Auflistung nach Schlagwort "Matrix-Semantik"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragBaumautomaten als notationelle Variante logischer Matrix-Semantik(SKILL 2019 - Studierendenkonferenz Informatik, 2019) Grätz, LukasAutomaten 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.