Jeffrey Shallit (Ontario University of Waterloo)

Broschiertes Buch

The Logical Approach to Automatic Sequences

Beschreibung

Readers will learn how to automatically prove or disprove new results in combinatorics and number theory in milliseconds by phrasing their desired results in first-order logic and using free software to automate the computation process. Containing more than 150 exercises, this text is an ideal resource for students and researchers.

Autor

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.

Produktdetails

• London Mathematical Society Lecture Note Series
• Verlag: Cambridge University Press
• Seitenzahl: 374
• Erscheinungstermin: 29. September 2022
• Englisch
• Abmessung: 226mm x 150mm x 23mm
• Gewicht: 546g
• ISBN-13: 9781108745246
• ISBN-10: 1108745245
• Artikelnr.: 64171295