Elements of Automata Theory
Elements of Automata Theory

Author: Jacques Sakarovitch

Publisher: Cambridge University Press

Published: 2009-10-01

Total Pages: 818

ISBN-13: 1139643797

DOWNLOAD EBOOK

Automata theory lies at the foundation of computer science, and is vital to a theoretical understanding of how computers work and what constitutes formal methods. This treatise gives a rigorous account of the topic and illuminates its real meaning by looking at the subject in a variety of ways. The first part of the book is organised around notions of rationality and recognisability. The second part deals with relations between words realised by finite automata, which not only exemplifies the automata theory but also illustrates the variety of its methods and its fields of application. Many exercises are included, ranging from those that test the reader, to those that are technical results, to those that extend ideas presented in the text. Solutions or answers to many of these are included in the book.

Ultrafilters across Mathematics
Ultrafilters across Mathematics

Author: Vitaly Bergelson

Publisher: American Mathematical Soc.

Published: 2010

Total Pages: 214

ISBN-13: 082184833X

DOWNLOAD EBOOK

Presents the state-of-the-art of applications in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. It contains two general surveys on ultrafilters in set theory and on the ultraproduct construction, as well as papers that cover additive and combinatorial number theory, nonstandard methods and stochastic differential equations, measure theory, dynamics, Ramsey theory, algebra in the space of ultrafilters, and large cardinals.

Elements of Applied Bifurcation Theory
Elements of Applied Bifurcation Theory

Author: Yuri Kuznetsov

Publisher: Springer Science & Business Media

Published: 2013-03-09

Total Pages: 648

ISBN-13: 1475739788

DOWNLOAD EBOOK

Providing readers with a solid basis in dynamical systems theory, as well as explicit procedures for application of general mathematical results to particular problems, the focus here is on efficient numerical implementations of the developed techniques. The book is designed for advanced undergraduates or graduates in applied mathematics, as well as for Ph.D. students and researchers in physics, biology, engineering, and economics who use dynamical systems as model tools in their studies. A moderate mathematical background is assumed, and, whenever possible, only elementary mathematical tools are used. This new edition preserves the structure of the first while updating the context to incorporate recent theoretical developments, in particular new and improved numerical methods for bifurcation analysis.