The Logical Approach to Automatic Sequences (Paperback)

Lingua: inglese

Editore: Cambridge University Press, Cambridge, 2022

1108745245 / 9781108745246

Da: CitiRetail, Stevenage, Regno UnitoCitiRetail

Venditore con 5 stelle

Venditore AbeBooks dal 29 giugno 2022

Brossura

Condizione: Nuovo

EUR 123,58

EUR 44,18 spedizione 
Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Paperback. Automatic sequences are sequences over a finite alphabet generated by a finite-state machine. This book presents a novel viewpoint on automatic sequences, and more generally on combinatorics on words, by introducing a decision method through which many new results in combinatorics and number theory can be automatically proved or disproved with little or no human intervention. This approach to proving theorems is extremely powerful, allowing long and error-prone case-based arguments to be replaced by simple computations. Readers will learn how to phrase their desired results in first-order logic, using free software to automate the computation process. Results that normally require multipage proofs can emerge in milliseconds, allowing users to engage with mathematical questions that would otherwise be difficult to solve. With more than 150 exercises included, this text is an ideal resource for researchers, graduate students, and advanced undergraduates studying combinatorics, sequences, and number theory. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. …

Codice articolo 9781108745246

Titolo
The Logical Approach to Automatic Sequences (Paperback)
Autore
Jeffrey Shallit
Editore
Cambridge University Press, Cambridge
Anno di pubblicazione
2022
Condizione
new
Rilegatura
Paperback
Lingua
inglese
ISBN 10
1108745245
ISBN 13
9781108745246

CitiRetail

Stevenage, Regno Unito

Venditore con 5 stelle

Venditore AbeBooks dal 29 giugno 2022

Tariffe di spedizione da Regno Unito a U.S.A.

ArticoloDa 7 a 14 giorni lavorativiDa 7 a 60 giorni lavorativi
Primo articoloEUR 44,18EUR 44,18
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Descrizione dello Store

Online business

Informazioni sull’azienda del venditore

ABC BOOKS LIMITED

10 John Street
London, Regno Unito WC1N 2EB