• Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten
  • Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten
  1. Boeken
  2. Non-fictie
  3. Wetenschap
  4. Wiskunde & Statistiek
  5. The Logical Approach to Automatic Sequences

The Logical Approach to Automatic Sequences

Exploring Combinatorics on Words with Walnut

Jeffrey Shallit
Paperback | Engels | London Mathematical Society Lecture Note | nr. 482
€ 129,95
+ 259 punten
Levering 2 à 3 weken
Eenvoudig bestellen
Veilig betalen
Gratis thuislevering vanaf € 30 (via bpost)
Gratis levering in je Standaard Boekhandel

Omschrijving

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.

Specificaties

Betrokkenen

Auteur(s):
Uitgeverij:

Inhoud

Aantal bladzijden:
374
Taal:
Engels
Reeks:
Reeksnummer:
nr. 482

Eigenschappen

Productcode (EAN):
9781108745246
Verschijningsdatum:
15/12/2022
Uitvoering:
Paperback
Formaat:
Trade paperback (VS)
Afmetingen:
150 mm x 226 mm
Gewicht:
544 g
Standaard Boekhandel

Alleen bij Standaard Boekhandel

+ 259 punten op je klantenkaart van Standaard Boekhandel
ACTIE

Nu 10% korting

op dé must-haves van het jaar
ACTIE
Standaard Boekhandel - De must-haves van 2024
KOM LANGS IN ONZE WINKELS

Hoera! Het is weer het Feest van het Boek

van 31/10 t.e.m. 03/11
KOM LANGS IN ONZE WINKELS
Feest van het Boek
WEDSTRIJD

Alleen in onze winkels: koop een boek en win een boekenfeest bij je thuis

Jij kiest welke topauteur misschien bij jou over de vloer komt!
WEDSTRIJD
Win een boekenfeest bij je thuis
Standaard Boekhandel

Beoordelingen

We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.