Externally indexed torrent

If you are the original uploader, contact staff to have it moved to your account

Textbook in PDF and DJVU formats

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy operator interpolation techniques including a non-Lagrange interpolation methods of system representation subject to constraints associated with concepts of causality, memory and stationarity methods of system representation with an accuracy that is the best within a given class of models methods of covariance matrix estimationmethods for low-rank matrix approximations hybrid methods based on a combination of iterative procedures and best operator approximation andmethods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory. As a result, the book represents a blend of new methods in general computational analysis,and specific, but also generic, techniques for study of systems theory ant its particularbranches, such as optimal filtering and information compression.
Elements of Mathematical Logic
Engineering Applications of Propositional Calculus
Finite Automata and Sequential Machines: Basic Concepts
Abstract Structure and Nets
Technical Embodiment of Finite Automata and Sequential Machines
Autonomous Finite Automata and Sequential Machines
Representation of Events in Finite Automata and Sequential Machines
Recognition of Realizability of a Given Specification. Abstract Synthesis of Finite Automata and Sequential Machines
Equivalence and Minimization of Sequential Machines
Transformation of Clock Rates of Sequential Machines
Determination of the Properties of Sequential Machines from Their Response to Finite Input Sequences
Algorithms
Turing Machines