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.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.identifier.isbn	978-3-88579-449-3
dc.identifier.pissn	1614-3213
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/28990
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
gi.citation.endPage	127
gi.citation.publisherPlace	Bonn
gi.citation.startPage	121
gi.conference.date	25.-26. September 2019
gi.conference.location	Kassel
gi.conference.sessiontitle	Algorithmik

Dateien

1 - 1 von 1