ЗАМЯТИН Алексей Петрович
(1946–2009)

ЗАМЯТИН Алексей Петрович

Родился 3 октября 1946 г. в с. Николаевка Курганской обл.

Кандидат физико-математических наук (1979), доцент (1988).

Окончил математико-механический факультет Уральского университета (1969) по специальности «Математика» и с 1970 г. работал в университете: был начальником Вычислительного центра (1988–2004), заведующим отделом системного программирования НИИ физики и прикладной математики университета (1989–2009).

А. П. Замятин – ученик профессора Л. Н. Шеврина. Им выполнен цикл исследований по разрешимости элементарных теорий многообразий колец и групп, в частности решена известная проблема Тарского – Ершова о разрешимости элементарных теорий многообразий групп. Автор более 40 научных работ в области алгебры и математической логики.

А. П. Замятин читал основные математические курсы на математико-механическом, философском и экономическом факультетах Уральского университета, разработал курс «Дискретная математика и математическая логика», а также большое число спецкурсов, среди которых «Сети Петри и моделирование систем» и «Лингвистические основы информатики».

Удостоен премии Уральского университета за высокие достижения в учебно-методической деятельности (2006). Награжден нагрудным знаком «Почетный работник высшего профессионального образования Российской Федерации» (2007).

Соч.: Многообразия ассоциативных колец, элементарная теория которых разрешима // Докл. АН СССР. 1976. Т. 229, № 2; Неабелево многообразие групп имеет неразрешимую элементарную теорию // Алгебра и логика. 1978. Т. 17, № 1; Многообразия с ограничениями на решетку конгруэнций. Свердловск, 1987; Алгебра и геометрия : учеб. пособие. Екатеринбург, 1998 (в соавт. с А. А. Булатовым, Б. М. Верниковым).