  To study discrete dynamical systems of different types --- deterministic,
statistical and quantum --- we develop various approaches. We introduce the
concept of a system of discrete relations on an abstract simplicial complex and
develop algorithms for analysis of compatibility and construction of canonical
decompositions of such systems. To illustrate these techniques we describe
their application to some cellular automata. Much attention is paid to study
symmetries of the systems. In the case of deterministic systems, we reveale
some important relations between symmetries and dynamics. We demonstrate that
moving soliton-like structures arise inevitably in deterministic dynamical
system whose symmetry group splits the set of states into a finite number of
group orbits. We develop algorithms and programs exploiting discrete symmetries
to study microcanonical ensembles and search phase transitions in mesoscopic
lattice models. We propose an approach to quantization of discrete systems
based on introduction of gauge connection with values in unitary
representations of finite groups --- the elements of the connection are
interpreted as amplitudes of quantum transitions. We discuss properties of a
quantum description of finite systems. In particular, we demonstrate that a
finite quantum system can be embedded into a larger classical system. Computer
algebra and computational group theory methods were useful tools in our study.
