Geschke | Endliche Modelltheorie | E-Book | www.sack.de
E-Book

E-Book, Deutsch, 67 Seiten

Reihe: Life Science and Basic Disciplines (German Language)

Geschke Endliche Modelltheorie


Erscheinungsjahr 2024
ISBN: 978-3-662-68322-4
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

E-Book, Deutsch, 67 Seiten

Reihe: Life Science and Basic Disciplines (German Language)

ISBN: 978-3-662-68322-4
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.
Geschke Endliche Modelltheorie jetzt bestellen!

Zielgruppe

Upper undergraduate

Autoren/Hrsg.

Geschke, Stefan

Weitere Infos & Material

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.

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

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.