Books > Science & Mathematics > Mathematics > Combinatorics & graph theory
|
Buy Now
The Logical Approach to Automatic Sequences - Exploring Combinatorics on Words with Walnut (Paperback)
Loot Price: R2,339
Discovery Miles 23 390
|
|
The Logical Approach to Automatic Sequences - Exploring Combinatorics on Words with Walnut (Paperback)
Series: London Mathematical Society Lecture Note Series
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.