The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with Walnut: 482 (London Mathematical Society Lecture Note Series, Series Number 482) - Image 1

£63.73

Cambridge University Press The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with Walnut: 482 (London Mathematical Society Lecture Note Series, Series Number 482)

Name: The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with Walnut: 482 (London Mathematical Society Lecture Note Series, Series Number 482)
Brand: Cambridge University Press
Price: 56.86 GBP
Availability: InStock

Computing & Internet

Price History & Forecast

Last 53 days • 53 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 53 days • 8 price levels

Days at Price

Current Price

Price Analysis

Most common price: £63 (20 days, 37.7%)

Price range: £57 - £64

Price levels: 8 different prices over 53 days

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.

Product Specifications

Brand: Cambridge University Press
Format: paperback
ASIN: 1108745245
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Release Date: 29 September 2022
Listed Since: 14 May 2022

Barcode

No barcode data available

Cambridge University Press The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with Walnut: 482 (London Mathematical Society Lecture Note Series, Series Number 482)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Automata Theory with Modern Applications

Combinatorics on Words 2ed (Cambridge Mathematical Library)

Automata Theory with Modern Applications

Sequences, Groups, and Number Theory (Trends in Mathematics)

Analytic Combinatorics

Combinatorics of Compositions and Words (Discrete Mathematics and Its Applications)

Language Computability and Formal Language Theory

Formal Languages, Automata and Numeration Systems 1: Introduction to Combinatorics on Words (Networks and Telecommunications)

Computation Engineering: Applied Automata Theory and Logic

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Combinatorial Algebra: Syntax and Semantics (Springer Monographs in Mathematics)

Logic and Combinatorics: Joint Summer Research Conference on Applications of Mathematical Logic to Finite Combinatorics (Contemporary Mathematics)

Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)

Number Theoretic Density and Logical Limit Laws (Mathematical Surveys and Monographs)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497)

125 Problems in Text Algorithms: with Solutions

Formal Languages, Automata and Numeration Systems 2: Applications to Recognizability and Decidability (Iste)

Average Case Analysis of Algorithms on Sequences: 50 (Wiley Series in Discrete Mathematics and Optimization)

An Invitation to Analytic Combinatorics: From One to Several Variables (Texts & Monographs in Symbolic Computation)

Combinatorial and Algorithmic Mathematics: From Foundation to Optimization

How to Prove It: A Structured Approach

Springer Well-Quasi Orders in Computation, Logic and Reasoning

Introduction to Coalgebra: Towards Mathematics of States and Observation: 59 (Cambridge Tracts in Theoretical Computer Science, Series Number 59)