Tipsa dina vänner om produkten:
Proof Complexity Generators - London Mathematical Society Lecture Note Series
Krajicek, Jan (Charles University, Prague)
Pris
₪ 226,84
Beställningsvara
Förväntad leverans 8 - 11 jul 2025
Lägg till din iMusic-önskelista
Eller
Proof Complexity Generators - London Mathematical Society Lecture Note Series
Krajicek, Jan (Charles University, Prague)
This book presents a state-of-the-art theory in the field of proof complexity, aiming to construct hard propositional tautologies needed to solve the P vs. NP problem in the negative. The theory is introduced step by step, starting with the historic background, and several potential new avenues of research are highlighted.
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 30 juni 2025 |
| ISBN13 | 9781009611701 |
| Utgivare | Cambridge University Press |
| Antal sidor | 143 |
| Mått | 320 g (Estimerad vikt) |
Visa alla
Fler produkter med Krajicek, Jan (Charles University, Prague)
Se alt med Krajicek, Jan (Charles University, Prague) ( t.ex. Pocketbok och Inbunden Bok )