Pastāsti draugiem par šo preci:
Proof Complexity Generators - London Mathematical Society Lecture Note Series Krajicek, Jan (Charles University, Prague)
Cena
€ 64,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 22. sept. - . gada 6. okt.
Saņemiet paziņojumus par jauniem Krajicek, Jan (Charles University, Prague) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2025. gada 26. jūnijs |
| ISBN13 | 9781009611701 |
| Izdevēji | Cambridge University Press |
| Lapas | 134 |
| Izmēri | 153 × 228 × 9 mm · 206 g |
| Valoda | Angļu |
