Descriptive Complexity Theory
CHF 46.40
Auf Lager
SKU
EHBH4D4VSVD
1 Verfügbar 
Kostenloser Versand ab CHF 50
Geliefert zwischen Mi., 08.10.2025 und Do., 09.10.2025
Details
Descriptive complexity is a branch of finite model theory, a subfield of computational complexity theory and mathematical logic, which seeks to characterize complexity classes by the type of logic needed to express the languages in them. For example, PH, the union of all complexity classes in the polynomial hierarchy, is precisely the class of languages expressible by statements of second-order logic. This connection between complexity and logic allows results to be transferred easily from one area to the other, facilitating new proof methods and providing additional evidence that the main complexity classes are somehow "natural" and not tied to the specific abstract machines used to define them.
30 Tage Rückgaberecht
GarantieWeitere Informationen
- Allgemeine Informationen
- GTIN 09786130212100
- Editor Frederic P. Miller, Agnes F. Vandome, John McBrewster
- EAN 9786130212100
- Format Fachbuch
- Titel Descriptive Complexity Theory
- Herausgeber Alphascript Publishing
- Anzahl Seiten 84
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
