Endliche Modelltheorie
Dieses Buch basiert auf dem Skript zu einer Vorlesung über endliche Modelltheorie an der Freien Universität Berlin und dient als eine kurze Einführung in das Thema. Vorausgesetzt wird dabei eine gewisse Vertrautheit mit mathematischer Notation und...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
20.55 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Endliche Modelltheorie “
Klappentext zu „Endliche Modelltheorie “
Dieses Buch basiert auf dem Skript zu einer Vorlesung über endliche Modelltheorie an der Freien Universität Berlin und dient als eine kurze Einführung in das Thema. Vorausgesetzt wird dabei eine gewisse Vertrautheit mit mathematischer Notation und grundlegenden Konzepten, wie zum Beispiel Mengen, die man in einer einführenden Mathematikvorlesung für Studierende der Mathematik, Informatik oder der Naturwissenschaften erwirbt. Ausdrücklich nicht vorausgesetzt werden Kenntnisse in mathematischer Logik.Die Produktfamilie WissensExpress bietet Ihnen Lehr- und Lernbücher in kompakter Form. Die Bücher liefern schnell und verständlich fundiertes Wissen.
Inhaltsverzeichnis zu „Endliche Modelltheorie “
Einleitung.- erststufige Logik und endliche Strukturen.- ehrenfeucht-Fraïssé-Spiele.- 0-1-Gesetze.- Zweitstufige Logik und reguläre Sprachen.- Turing-Maschinen, Komplexitätsklassen und der Satz von Trahtenbrot.- Zweitstufige Logik und die Komplexität von Model Checking.
Autoren-Porträt von Stefan Geschke
PD Dr. Stefan Geschke arbeitet am Fachbereich Mathematik an der Universität Hamburg.
Bibliographische Angaben
- Autor: Stefan Geschke
- 2024, 1. Aufl. 2023, VII, 67 Seiten, 1 Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Deutsch
- Verlag: Springer, Berlin
- ISBN-10: 3662683210
- ISBN-13: 9783662683217
- Erscheinungsdatum: 20.02.2024
Kommentar zu "Endliche Modelltheorie"
Schreiben Sie einen Kommentar zu "Endliche Modelltheorie".
Kommentar verfassen