Скобелєв В. В. Розробка і дослідження методів аналізу автоматних моделей, визначених на алгебраїчних структурах.

Метою дисертаційної роботи є розробка математичного апарату для дескриптивного, алгоритмічного та метричного аналізу сімей автоматів, які представлено системами рекурентних співвідношень на алгебраїчних структурах над скінченним кільцем з позиції їх потенційного використання у процесі розв'язання задач захисту інформації. Розро-блено математичний апарат для дослідження систем рівнянь та нерівностей над скінченним кільцем, а саме: метод аналізу статистичної еквівалентності відображень від багатьох змінних скінченної множини у себе, схему представлення у неявному вигляді множини розв'язків системи алгебраїчних рівнянь з параметрами, схему вирішувача для перевірки виконуваності формул лінійної арифметики.