Blick ins Buch

Endliche Modelltheorie

Stefan Geschke (Autor)

Buch | Softcover

VII, 67 Seiten

2024 | 1. Auflage
Springer Spektrum (Verlag)
978-3-662-68321-7 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Lieferbar (Termin unbekannt)
Portofrei ab CHF 40
Auch auf Rechnung

Artikel merken

Einführung in die endliche Modelltheorie von Grundlagen bis hin zu fortgeschrittenen Konzepten
Verbindung von Logik und Informatik wird beschrieben
Anwendbarkeit der endlichen Modelltheorie auf verschiedene Problembereiche

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.

PD Dr. Stefan Geschke arbeitet am Fachbereich Mathematik an der Universität Hamburg.

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.

Erscheinungsdatum	20.02.2024
Zusatzinfo	VII, 67 S. 1 Abb.
Verlagsort	Berlin
Sprache	deutsch
Maße	155 x 235 mm
Gewicht	130 g
Einbandart	kartoniert
Themenwelt	Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
Themenwelt	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
Schlagworte	Endliche Strukturen • Erststufige Logik • Mathematische Logik • Modelltheorie • Rekursionstheorie
ISBN-10	3-662-68321-0 / 3662683210
ISBN-13	978-3-662-68321-7 / 9783662683217
Zustand	Neuware