Jeffrey Shallit

Logical Approach to Automatic Sequences (eBook, PDF)

Exploring Combinatorics on Words with Walnut

• Format: PDF

Produktbeschreibung

Learn how to automatically prove mathematical statements in combinatorics, sequences, and number theory.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Erscheinungstermin: 29. September 2022
• Englisch
• ISBN-13: 9781108786973
• Artikelnr.: 70911644

Autorenporträt

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.

Inhaltsangabe

1. Introduction
2. Words and sequences
3. Number representations and numeration systems
4. Automata
5. Automatic sequences
6. First-order logic and automatic sequences
7. Using Walnut
8. First-order formulas for fundamental sequence properties
9. Regular sequences and enumeration problems
10. Synchronized sequences
11. Additive number theory
12. Paperfolding sequences
13. A final word
References
Index.