Dekorationsartikel gehören nicht zum Leistungsumfang.
Endliche Modelltheorie
Taschenbuch von Stefan Geschke
Sprache: Deutsch

19,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
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.
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.
Über den Autor
¿PD Dr. Stefan Geschke arbeitet am Fachbereich Mathematik an der Universität Hamburg.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2024
Fachbereich: Allgemeines
Genre: Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Taschenbuch
Seiten: 76
Inhalt: vii
67 S.
1 s/w Illustr.
67 S. 1 Abb.
ISBN-13: 9783662683217
ISBN-10: 3662683210
Sprache: Deutsch
Herstellernummer: 89220008
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Geschke, Stefan
Auflage: 1. Aufl. 2023
Hersteller: Springer Berlin
Springer Berlin Heidelberg
Maße: 235 x 155 x 5 mm
Von/Mit: Stefan Geschke
Erscheinungsdatum: 20.02.2024
Gewicht: 0,138 kg
preigu-id: 127751992
Über den Autor
¿PD Dr. Stefan Geschke arbeitet am Fachbereich Mathematik an der Universität Hamburg.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2024
Fachbereich: Allgemeines
Genre: Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Taschenbuch
Seiten: 76
Inhalt: vii
67 S.
1 s/w Illustr.
67 S. 1 Abb.
ISBN-13: 9783662683217
ISBN-10: 3662683210
Sprache: Deutsch
Herstellernummer: 89220008
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Geschke, Stefan
Auflage: 1. Aufl. 2023
Hersteller: Springer Berlin
Springer Berlin Heidelberg
Maße: 235 x 155 x 5 mm
Von/Mit: Stefan Geschke
Erscheinungsdatum: 20.02.2024
Gewicht: 0,138 kg
preigu-id: 127751992
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte