Placeholder text

Endliche Modelltheorie

Product Image: Endliche Modelltheorie

Endliche Modelltheorie

0 - Default Title
Description
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.
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
76
Release Date:
2024-02-20
Publication Date:
2024-02-20
Publisher:
Springer Spektrum
Languages:
Original: German
ISBN10:
3662683210
ISBN13:
9783662683217
GPSR Manufacturer Reference:
Weight:
138 g
Height:
155 cm
Width:
235 cm
Thickness:
5 cm
Currently sold out