Главная \ Образование \ Институт математики и механики им. Н.И. Лобачевского \ Научная деятельность \ Конференции \ Архивные конференции \ Международная научная конференция "Алгебра и математическая логика: теория и приложения"

АРСЛАНОВ Марат Мирзаевич

Заведующий кафедрой алгебры и математической логики Казанского федерального университета, заслуженный деятель науки РТ, заслуженный работник высшей школы РФ, заслуженный профессор Казанского университета, член-корреспондент АН РТ.

Арсланов Марат Мирзаевич окончил Казанский государственный университет в 1966 году. После окончания в 1969 г. аспирантуры по кафедре алгебры он работает в КГУ, с 1989 года по по настоящее время на должности заведующего кафедрой алгебры (в 2007 году кафедра была переименована на кафедру алгебры и математической логики). Кроме того, он руководит организованным им в 1993 году отделом алгебры и математической логики НИИММ имени Н.Г. Чеботарева (с 2010 года - НИЦ им. Н.Г. Чеботарева).

М.М. Арсланов создал в Казанском университете школу математической логики, ныне пользующуюся широкой известностью и признанием как в нашей стране, так и за рубежом. Школа вырастила десятки талантливых математиков, среди которых есть пять докторов и более десяти кандидатов наук. Школа поддерживает тесные связи со многими российскими и зарубежными научными центрами, из нее выросли крупные ученые, в настоящее время работающие в университетах и научных центрах Российской Федерации и за рубежом. В 2012 году возглавляемая им школа алгебры и математической логики получила грант Президента РФ для ведущих научных школ Российской федерации.

Начиная с 1992 года в Казани под руководством М.М. Арсланова регулярно проводятся крупные международные конференции по алгебре и математической логике, в том числе XI Межреспубликанская конференция по математической логике (1992 г.), крупная Международная конференция по теории вычислимости и теории сложности (1997 г., в ней приняли участие практически все ведущие российские и зарубежные ученые по теории вычислимости), серия международных конференций "Алгебра и Анализ" (1994, 2004, 2005), международные конференции, посвященные столетию созданной профессором Казанского университета Н.А. Васильевым ''Воображаемой логики'' (2009) и столетию со дня рождения профессора В.В. Морозова (2011).

Научная деятельность М.М. Арсланова связана с исследованиями в области теории вычислимости, науки, развивающейся на стыке алгебры и математической логики. Им получен целый ряд крупных результатов в исследовании алгебраической структуры тьюринговых степеней неразрешимости, в разработке структурной теории степеней неразрешимости, принадлежащих разностной иерархии множеств, хорошо известной как иерархия Ершова. Его работы, в которых он исследовал тьюринговые степени, содержащие функции без т.н. ''неподвижных точек'', с их помощью сформулировав критерии полноты множеств в арифметической иерархии, положили начало целому направлению исследований в этой области с участием крупнейших математиков, работающих в теории вычислимости. Теперь эти критерии хорошо известны в литературе как критерии полноты Арсланова и входят во все учебники по теории вычислимости. М.М. Арсланов также был первым, кто начал разработку структурной теории степеней из иерархии Ершова. Под влиянием его работ середины 80-х годов это направление стало одним из наиболее активно разрабатываемых разделов теории вычислимости.

М.М. Арсланов был приглашенным пленарным докладчиком на Международном конгрессе по логике, методологии и философии науки (Уппсала, Швеция, 1991), пленарным докладчиком на крупных международных конференциях по логике и теории вычислимости в Болгарии (1990, 2010), ФРГ (1989,1992,1996,2003, 2012), Израиле (1995), Чехии (1998), США (2001, 2006), Китае (2003), Сингапуре (2005), Голландии (2006), Москве (2001, 2003), Новосибирске (2004, 2010, 2011), Петербурге (2005), Великобритании (1996, 1998,2013), Пакистане (2007). Кроме того, М.М. Арсланов выезжал для чтения лекций и проведения научно-исследовательской работы в университеты США (1978-1979, 1993-1994, 2001 и 2006), ФРГ (1992,1996, 2003), Великобритании (1994, 1996), Италии (1997), Китая (1999), Ирана (1996, 1997), Греции (1996, 1997, 2002, 2004).

М.М. Арсланов является автором более ста научных публикаций, почти все они являются публикациями в центральной и международной печати, а также автором четырех монографий. За монографию "Рекурсивно перечислимые множества и степени неразрешимости" М.М. Арсланов в 1986 г. был удостоен первой премии Казанского государственного университета как за лучшую научную работу в области физико-математических наук.

С 1995 года М.М. Арсланов является членом Американского Математического Общества и Международной Ассоциации Символической Логики, с 1995 по 2002 год он входил в рабочие комитеты этих организаций в качестве члена Совместного Комитета по переводам на русский и другие восточно-европейские языки Американского математического общества. С 1995 по 2000 год он также являлся членом Европейского комитета по логике Ассоциации символической логики.

М.М. Арсланов является членом редколлегий Международных журналов "Mathematical Logic Quarterly", "Journal of Theoretical Computer Science", "Lobachevskii Journal of Mathematics", ''Asia-European Journal of Mathematics'', ''Известия Вузов. Математика'', а также ''Ученых записок Казанского федерального университета''. М.М. Арсланов является также членом экспертного совета РФФИ.

М.М. Арсланов является председателем диссертационного совета Д212.081.24 по защитам докторских и кандидатских диссертаций (специальности 01.01.06, 01.01.09, 05.13.11), членом ученых советов КФУ, ИММ им. Н.И. Лобачевского.

Перейти на страницу М.М. Арсланова и его публикациям.