Formal Theories of Occurrences and Substitutions

DSpace Repository

Show simple item record

dc.contributor.advisor Schroeder-Heister, Peter (Prof. Dr.)
dc.contributor.author Gazzari, René
dc.date.accessioned 2020-09-03T10:40:36Z
dc.date.available 2020-09-03T10:40:36Z
dc.date.issued 2020-09-03
dc.identifier.other 1729100996 de_DE
dc.identifier.uri http://hdl.handle.net/10900/106175
dc.identifier.uri http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1061750 de_DE
dc.identifier.uri http://dx.doi.org/10.15496/publikation-47553
dc.description.abstract Mathematische Grundlagen und wesentliche Methoden einer formalen Theorie von Vorkommen und Substitutionen werden anhand der Theorie von Vorkommen von Termen in Termen (einer erststufigen formalen Sprache der Logik) eingeführt. Darauf aufbauend werden intuitive Begriffe (etwa Unabhängigkeit von Vorkommen oder mathematische Rechenschritte) formal definiert und so einer mathematischen Argumentation zugänglich gemacht. Es werden exemplarisch Probleme diskutiert, die nur mithilfe einer formalen Theorie von Vorkommen gelöst werden können. Insbesondere wird der Begriff einer (expliziten) Substitutionsfunktion basierend auf dem Begriff der Substitution eingeführt, und es wird gezeigt, inwiefern diese Funktionen mit denen zusammenhängen, die üblicherweise als Substitutionsfunktion bezeichnet werden. de_DE
dc.language.iso en de_DE
dc.publisher Universität Tübingen de_DE
dc.rights ubt-podno de_DE
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=de de_DE
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=en en
dc.subject.classification Logik , Vorkommen , Logische Sprache , Formale Sprache , Substitution de_DE
dc.subject.ddc 004 de_DE
dc.subject.ddc 100 de_DE
dc.subject.ddc 510 de_DE
dc.subject.other logic en
dc.subject.other occurrence en
dc.subject.other formal language en
dc.title Formal Theories of Occurrences and Substitutions en
dc.type PhDThesis de_DE
dcterms.dateAccepted 2020-07-20
utue.publikation.fachbereich Informatik de_DE
utue.publikation.fakultaet 7 Mathematisch-Naturwissenschaftliche Fakultät de_DE

Dateien:

This item appears in the following Collection(s)

Show simple item record