Свободная энциклопедия Урала:Инкубатор:Замятин Алексей Петрович
.jpg)
Биография[править]
Окончил математико-механический факультет Уральского университета (1969) по специальности «Математика» Кандидат физико-математических наук (1979), доцент (1988).
С 1970 г. работал в университете: был начальником Вычислительного центра (1988–2004), заведующим отделом системного программирования НИИ физики и прикладной математики университета (1989–2009).
А. П. Замятин – ученик профессора Л. Н. Шеврина. Им выполнен цикл исследований по разрешимости элементарных теорий многообразий колец и групп, в частности решена известная проблема Тарского–Ершова о разрешимости элементарных теорий многообразий групп. Автор более 40 научных работ в области алгебры и математической логики.
А. П. Замятин читал основные математические курсы на математико-механическом, философском и экономическом факультетах Уральского университета, разработал курс «Дискретная математика и математическая логика», а также большое число спецкурсов, среди которых «Сети Петри и моделирование систем» и «Лингвистические основы информатики».
Удостоен премии Уральского университета за высокие достижения в учебно-методической деятельности (2006). Награжден нагрудным знаком «Почетный работник высшего профессионального образования Российской Федерации» (2007).
Сочинения: Многообразия ассоциативных колец, элементарная теория которых разрешима // Докл. АН СССР. 1976. Т. 229, № 2; Неабелево многообразие групп имеет неразрешимую элементарную теорию // Алгебра и логика. 1978. Т. 17, № 1; Многообразия с ограничениями на решетку конгруэнций. Свердловск, 1987; Алгебра и геометрия : учеб. пособие. Екатеринбург, 1998 (в соавт. с А. А. Булатовым, Б. М. Верниковым).
