Baumautomaten als notationelle Variante logischer Matrix-Semantik

Zusammenfassung
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.
  • Vollständige Referenz
  • BibTeX
Grätz, L., (2019). Baumautomaten als notationelle Variante logischer Matrix-Semantik. In: Becker, M. (Hrsg.), SKILL 2019 - Studierendenkonferenz Informatik. Bonn: Gesellschaft für Informatik e.V.. (S. 121-127).
@inproceedings{mci/Grätz2019,
author = {Grätz, Lukas},
title = {Baumautomaten als notationelle Variante logischer Matrix-Semantik},
booktitle = {SKILL 2019 - Studierendenkonferenz Informatik},
year = {2019},
editor = {Becker, Michael} ,
pages = { 121-127 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
SKILL2019-10.pdf172.2Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-449-3
ISSN: 1614-3213
Datum: 2019
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige