The Logical Approach to Automatic Sequences Image close
The Logical Approach to Automatic Sequences by Jeffrey Shallit
The Logical Approach to Automatic Sequences by Jeffrey Shallit
Show Hide Adult Content
The Logical Approach to Automatic Sequences close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

The Logical Approach to Automatic Sequences

Exploring Combinatorics on Words with Walnut
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$229.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $57.25 with Afterpay Learn more

6 weekly interest-free payments of $38.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 12-24 June using International Courier

Explore more London Mathematical Society Lecture Note Series,

See all products in this series

Surveys in Combinatorics 2024
$150.00
Surveys in Combinatorics 2024
Paperback / softback
Pre-order - out 30 Jun 2024
Groups and Graphs, Designs and Dynamics
$253.00
Groups and Graphs, Designs and Dynamics
Paperback / softback
Pre-order - out 30 Jun 2024
Algebraic Set Theory by Andri Joyal
$144.00
Algebraic Set Theory
by Andri Joyal ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Lectures on Mechanics by Jerrold E. Marsden
$212.00
Lectures on Mechanics
by Jerrold E. Marsden ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Triangulated Categories in the Representation of Finite Dimensional Algebras by Dieter Happel
$126.00
Triangulated Categories in the Representation of Finite Dimensional...
by Dieter Happel ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Surveys in Combinatorics 2009
$163.00
Surveys in Combinatorics 2009
Paperback / softback
Available - Usually ships in 3-4 weeks
Maximal Cohen-Macaulay Modules over Cohen-Macaulay Rings by Y. Yoshino
$161.00
Maximal Cohen-Macaulay Modules over Cohen-Macaulay Rings
by Y. Yoshino ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Parallelisms of Complete Designs by Peter J. Cameron
$113.00
Parallelisms of Complete Designs
by Peter J. Cameron ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Commutative Algebra
$113.00
Commutative Algebra
Paperback / softback
Available - Usually ships in 3-4 weeks
The Technique of Pseudodifferential Operators by H.O. Cordes
$164.00
The Technique of Pseudodifferential Operators
by H.O. Cordes ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Diophantine Analysis
$126.00
Diophantine Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
The Homotopy Category of Simply Connected 4-Manifolds by Hans-Joachim Baues
$161.00
The Homotopy Category of Simply Connected 4-Manifolds
by Hans-Joachim Baues ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Forcing with Random Variables and Proof Complexity by Jan Krajicek
$166.00
Forcing with Random Variables and Proof Complexity
by Jan Krajicek ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Homological Group Theory by C.T.C. Wall
$165.00
Homological Group Theory
by C.T.C. Wall ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Classification Problems in Ergodic Theory by William Parry
$113.00
Classification Problems in Ergodic Theory
by William Parry ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Low-Dimensional Topology
$146.00
Low-Dimensional Topology
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.

Author Biography:

Jeffrey Shallit is Professor of Computer Science in the Faculty of Mathematics at the University of Waterloo. His research areas include formal languages, finite automata, combinatorics on words, algorithmic number theory, algebra, and the history of mathematics. He has published approximately 300 articles on these topics since 1975. He is also the author or co-author of four books. He is a foreign member of the Finnish Academy of Science and Letters.
Release date NZ
September 29th, 2022
Audience
  • General (US: Trade)
Illustrations
Worked examples or Exercises
Pages
374
Dimensions
151x230x20
ISBN-13
9781108745246
Product ID
35840210

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Jeffrey Shallit

See all books by this author

Automatic Sequences on Hardback by Jean-Paul Allouche
$331.00
Automatic Sequences
by Jean-Paul Allouche ~ Hardback
Available - Usually ships in 3-4 weeks
Neverending Fractions by Alf van der Poorten
$139.00
Neverending Fractions
by Alf van der Poorten ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Second Course in Formal Languages and Automata Theory on Hardback by Jeffrey Shallit
$213.00
A Second Course in Formal Languages and Automata Theory
by Jeffrey Shallit ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Combinatorics & graph theory
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists