Pastāsti draugiem par šo preci:
The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with Walnut - London Mathematical Society Lecture Note Series Shallit, Jeffrey (University of Waterloo, Ontario)
Cena
€ 103,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 6. - 20. okt.
Saņemiet paziņojumus par jauniem Shallit, Jeffrey (University of Waterloo, Ontario) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with Walnut - London Mathematical Society Lecture Note Series
Shallit, Jeffrey (University of Waterloo, Ontario)
Readers will learn how to automatically prove or disprove new results in combinatorics and number theory in milliseconds by phrasing their desired results in first-order logic and using free software to automate the computation process. Containing more than 150 exercises, this text is an ideal resource for students and researchers.
Worked examples or Exercises
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2022. gada 29. septembris |
| ISBN13 | 9781108745246 |
| Izdevēji | Cambridge University Press |
| Lapas | 374 |
| Izmēri | 228 × 153 × 24 mm · 594 g (Svars (aptuveni)) |
