Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Deutsch
22,99 €
Versandkostenfrei per Post / DHL
Lieferzeit 4-7 Werktage
Kategorien:
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 |