Baumautomaten als notationelle Variante logischer Matrix-Semantik

dc.contributor.author	Grätz, Lukas
dc.contributor.editor	Becker, Michael
dc.date.accessioned	2019-10-14T12:09:07Z
dc.date.available	2019-10-14T12:09:07Z
dc.date.issued	2019
dc.identifier.isbn	978-3-88579-449-3
dc.identifier.issn	1614-3213
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/28990
dc.description.abstract	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.	de
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	SKILL 2019 - Studierendenkonferenz Informatik
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Seminars, Volume S-15
dc.subject	Baumautomaten
dc.subject	Matrix-Semantik
dc.subject	Aussagenlogik
dc.subject	nichtdeterministische Semantik
dc.title	Baumautomaten als notationelle Variante logischer Matrix-Semantik	de
dc.type	Text/Conference Paper
dc.pubPlace	Bonn
mci.reference.pages	121-127
mci.conference.sessiontitle	Algorithmik
mci.conference.location	Kassel
mci.conference.date	25.-26. September 2019