
Endliche Modelltheorie
Stefan Geschke(Author)
Springer Spektrum (Publisher)
Published on 20. February 2024
Book
Paperback/Softback
VII, 67 pages
978-3-662-68321-7 (ISBN)
Description
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.
Die Produktfamilie WissensExpress bietet Ihnen Lehr- und Lernbücher in kompakter Form. Die Bücher liefern schnell und verständlich fundiertes Wissen.
More details
Edition
1. Aufl. 2023 ed.
Language
German
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Illustrations
1 s/w Abbildung
VII, 67 S. 1 Abb.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 5 mm
Weight
138 gr
ISBN-13
978-3-662-68321-7 (9783662683217)
DOI
10.1007/978-3-662-68322-4
Schweitzer Classification
Other editions
Additional editions

Person
PD Dr. Stefan Geschke
arbeitet am Fachbereich Mathematik an der Universität Hamburg.
Content
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.