Васильев Эдуард Степанович

Васильев Эдуард Степанович родился 5 апреля 1933 года в г. Омске. В 1958 г. окончил физико-математический факультет Ишимского государственного педагогического института. Проработав один год в сельской школе Тюменской области, вернулся в Ишимский пединститут, где занимал должность старшего преподавателя кафедры математики.  1965–1966 гг. – старший преподаватель кафедры высшей математики Павлоградского индустриального института; 1966– 1971 гг. – обучение в аспирантуре Новосибирского государственного университета (специальность «Математическая логика»). С 1971 по 1976 г. – преподаватель математических дисциплин в Целиноградском инженерно-строительном институте. В 1975 г. защитил кандидатскую диссертацию по специальности «Математическая логика» на тему «Об элементарных теориях некоторых классов двуосновных моделей».  С 26 января 1976 г. по 1 октября 1979 г. – старший преподаватель кафедры высшей алгебры и геометрии Пермского государственного университета. Вел общие и специальные курсы по математической логике, руководил научным семинаром «Алгоритмические вопросы теории моделей».  Три с половиной года работы в Пермском университете были для Э.С. Васильева исключительно плодотворными. Собрав вокруг себя группу способных студентов (А. Иванов, Н. Никулина, С. Полыгалов и И. Снегирёв), постоянно расширял спектр своих научных интересов, стремился приобщить своих учеников к современной математической логике. Его ученик А.А. Иванов в дальнейшем стал крупным ученым, профессором Вроцлaвского университета (Польша). С 1979 по 1985 г. работал в Пермском сельскохозяйственном институте. С 1985 по 1994 г. – на математическом факультете Пермского педагогического института: первый год – в должности доцента кафедры математического анализа, после 1986 г. – несколько лет заведующим кафедрой алгебры, а затем доцентом этой кафедры. Читал курсы математической логики, алгебры и теории чисел; был организатором городских и областных олимпиад школьников по математике.  Математическая логика, алгебра, комбинаторика. Основные результаты его исследований были опубликованы в серии статей в 1973–1980 гг. Исследования касались алгоритмической разрешимости элементарных теорий абелевых групп и булевых алгебр в языках, расширенных при помощи дополнительных сортов. Например, абелевые группы расширялись при помощи сортов для подгрупп, а булевы алгебры – при помощи меры. Важным было исследование объектов, в которых можно формализовать содержательную математику. Идея восходила к академику Ю.Л. Ершову и проф. А.И. Кокорину, которые были научными руководителями Э.С. Васильева во время обучения в аспирантуре.  Автор научных и научно-методических публикаций, в том числе статей «Об элементарных теориях полных абелевых групп без кручения» (Матем. заметки, 1973), «Об элементарных теориях некоторых классов двухосновных моделей абелевых групп» (Изв. вузов. 1977), «Областная олимпиада школьников по математике» (1985) и др.  Васильев Эдуард Степанович умер в 1994 году.

Ученые мехмата (посвящается 55-летию механико-математического факультета ПГНИУ) [Электронный ресурс]: биогр. справ. / сост. В.И. Яковлев, В.Ф. Селезнёв, Е.Н. Остапенко; Перм. гос. нац. исслед. ун-т. – Электрон. дан. – Пермь, 2015.

 

Яндекс.Метрика Sign In Register Site Map