Hurtig levering
Fremragende Trustpilot
Op til 20% Rabat på nye medlemsordrer
Kurv
The Logical Approach to Automatic Sequences
SPAR
kr 267
The Logical Approach to Automatic Sequences
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.
Eksklusiv medlemspris 648 kr
Medlemspris 675 kr
Eksklusiv medlemspris og medlemspris er kun for medlemmer. Du bliver automatisk medlem når du køber til eksklusiv medlemspris eller medlemspris. Få 7 dages gratis medlemskab (herefter automatisk 89 kr/30 dage). Læs mere om fordelene
Gratis fragt
5 - 7 hverdage
10 kr
Lavt pakkegebyr
Bogen er desværre udsolgt fra forlaget - se andre bøger af samme genre her
Normalpris 915 kr
Fragt: 59 kr
7 - 10 hverdage
20 kr
Pakkegebyr
Bogen er desværre udsolgt fra forlaget - se andre bøger af samme genre her
Spar 267 kr
Se vores konkurrenters priser her
God 15.826 anmeldelser på
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.
Produktdetaljer
Sprog: Engelsk
Sider: 374
ISBN-13: 9781108745246
Indbinding: Paperback
Udgave:
ISBN-10: 1108745245
Kategori: Matematisk logik
Udg. Dato: 29 sep 2022
Længde: 24mm
Bredde: 153mm
Højde: 228mm
Oplagsdato: 29 sep 2022
Forfatter(e) Jeffrey (University of Waterloo Shallit, Jeffrey Shallit


Kategori Matematisk logik


Sprog Engelsk


Indbinding Paperback


Sider 374


Udgave


Længde 24mm


Bredde 153mm


Højde 228mm

MEDLEMSFORDELE
GRATIS FRAGT
SPAR OP TIL 90%
Andre har også købt
BOG (INDBUNDET)
Eksklusiv medlemspris kr 380

kr 499
Normalpris
kr 392
Medlemspris
SPAR
kr 119
BOG (HÆFTET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 203

kr 300
Normalpris
kr 213
Medlemspris
SPAR
kr 97
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
BOG (INDBUNDET)
Eksklusiv medlemspris kr 859

kr 1.499
Normalpris
kr 923
Medlemspris
SPAR
kr 640
BOG (INDBUNDET)
Eksklusiv medlemspris kr 170

kr 270
Normalpris
kr 180
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 262

kr 349
Normalpris
kr 271
Medlemspris
SPAR
kr 87
BOG (HÆFTET)
Eksklusiv medlemspris kr 275

kr 320
Normalpris
kr 280
Medlemspris
SPAR
kr 45
BOG (HÆFTET)
Eksklusiv medlemspris kr 211

kr 299
Normalpris
kr 220
Medlemspris
SPAR
kr 88
BOG (INDBUNDET)
Eksklusiv medlemspris kr 118

kr 129
Normalpris
kr 119
Medlemspris
SPAR
kr 11
BOG (HÆFTET)
Eksklusiv medlemspris kr 27

kr 227
Normalpris
kr 47
Medlemspris
SPAR
kr 200
BOG (HARDBACK)
Eksklusiv medlemspris kr 25

kr 227
Normalpris
kr 45
Medlemspris
SPAR
kr 202
BOG (INDBUNDET)
Eksklusiv medlemspris kr 329

kr 499
Normalpris
kr 346
Medlemspris
SPAR
kr 170
BOG (PAPERBACK)
Eksklusiv medlemspris kr 165

kr 198
Normalpris
kr 168
Medlemspris
SPAR
kr 33
BOG (INDBUNDET)
Eksklusiv medlemspris kr 175

kr 299
Normalpris
kr 187
Medlemspris
SPAR
kr 124
BOG (HÆFTET)
Eksklusiv medlemspris kr 149

kr 249
Normalpris
kr 159
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 240

kr 349
Normalpris
kr 251
Medlemspris
SPAR
kr 109
BOG (HÆFTET)
Eksklusiv medlemspris kr 152

kr 199
Normalpris
kr 157
Medlemspris
SPAR
kr 47
BOG (INDBUNDET)
Eksklusiv medlemspris kr 216

kr 279
Normalpris
kr 222
Medlemspris
SPAR
kr 63
BOG (INDBUNDET)
Eksklusiv medlemspris kr 118

kr 149
Normalpris
kr 121
Medlemspris
SPAR
kr 31