London Mathematical Society Lecture Note SeriesSeries Number 482-The Logical Approach to Automatic Sequences Exploring Combinatorics on Words with Walnut

Name: London Mathematical Society Lecture Note SeriesSeries Number 482-The Logical Approach to Automatic Sequences
Author: Jeffrey Shallit

Auteur: Jeffrey Shallit

Taal: Engels

Afbeeldingen

Inkijkexemplaar

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Uitgever: Cambridge University Press

Auteur: Jeffrey Shallit

Engels
Paperback
9781108745246
29 september 2022
374 pagina's

Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 29 september 2022
Aantal pagina's: 374

Betrokkenen

Hoofdauteur: Jeffrey Shallit
Hoofduitgeverij: Cambridge University Press

Overige kenmerken

Product breedte: 151 mm
Product hoogte: 20 mm
Product lengte: 230 mm
Studieboek: Nee
Verpakking breedte: 151 mm
Verpakking hoogte: 20 mm
Verpakking lengte: 230 mm
Verpakkingsgewicht: 540 g

EAN

EAN: 9781108745246

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Computers & Informatica

Computertechnologie

Wiskunde

Wiskunde voor computerwetenschappers

Cijfertheorie

Combinatoriek

Grondslagen van de wiskunde

Wiskundige logica

Boeken
Boek, ebook of luisterboek?: Boek
Taal: Engels
Beschikbaarheid: Leverbaar
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.