Замятин Алексей Петрович

Родился 3 октября 1946 г. в с. Николаевка Курганской области. Окончил Уральский университет (1969) по специальности «математика» и с 1970 г. работает в университете. Кандидат физико-математических наук (1979), доцент (1988). С 1988 г. А.П. Замятин – начальник Вычислительного центра университета. А.П. Замятин принадлежит к научной школе Л.Н. Шеврина. Им опубликовано более 40 научных работ в области алгебры и математической логики. А.П. Замятин выполнил цикл исследований по разрешимости элементарных теорий многообразий колец и групп, в частности, решил известную проблему Тарского–Ершова о разрешимости элементарных теорий многообразий групп. А.П. Замятин прочитал ряд основных математических курсов на математико-механическом, философском и экономическом факультетах. Он разработал и прочитал курс «Дискретная математика и математическая логика» для студентов специальности «информационные системы» и ряд спецкурсов, среди которых «Сети Петри и моделирование систем» и «Лингвистические основы информатики».

Научные публикации

Многообразия ассоциативных колец, элементарная теория которых разрешима // ДАН СССР. 1976. Т.229, №2;

Неабелево многообразие групп имеет неразрешимую элементарную теорию // Алгебра и логика. 1978. Т.17, №1;

Многообразия с ограничениями на решетку конгруэнций. Свердловск, 1987.

---