Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung
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.
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.
Ü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: Geisteswissenschaften, Kunst, Musik, Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Taschenbuch
Inhalt: vii
67 S.
1 s/w Illustr.
67 S. 1 Abb.
ISBN-13: 9783662683217
ISBN-10: 3662683210
Sprache: Deutsch
Herstellernummer: 89220008
Einband: Kartoniert / Broschiert
Autor: Geschke, Stefan
Hersteller: Springer
Springer-Verlag GmbH
Verantwortliche Person für die EU: Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 155 x 5 mm
Von/Mit: Stefan Geschke
Erscheinungsdatum: 20.02.2024
Gewicht: 0,138 kg
Artikel-ID: 127751992