Марат Мирзаевич Арсланов (7 февраля 1944(19440207)) — российский ученый, доктор физико-математических наук, член-корреспондент Академии наук Республики Татарстан, профессор, заведующий кафедрой алгебры и математической логики Казанского государственного университета, заведующий отделом алгебры НИИММ КГУ.

Биография

Окончил механико-математический факультет Казанского университета (1966). Основатель и руководитель научной школы по математической логике, получившей международное признание. Им получены крупные результаты в теории вычислимости, в частности, в исследовании алгебраической структуры упорядочения степеней неразрешимости (англ.) и в разработке иерархической структуры вычислимых функций. Широкое распространение получили разработанные им критерии полных в соответствующем уровне арифметической иерархии (англ.) классов арифметических множеств, известные в литературе как критерии полноты Арсланова.

Монографии

• Рекурсивно-перечислимые множества и степени неразрешимости (1986)
• Локальная теория степеней неразрешимости (1987)
• Иерархия Ершова (2007)

Ученые степени

• Кандидат физико-математических наук (1971)
• Доктор физико-математических наук (24.03.1989)

Почётные звания

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

Должности

• Заведующий кафедрой алгебры и математической логики Казанского государственного университета
• Заведующий отделом алгебры Научно-исследовательского института математики и механики Казанского государственного университета
• Председатель диссертационного совета Д 212.081.24 по защитам докторских и кандидатских диссертаций
• Член Американского математического общества c 1985
• Член Международной ассоциации символической логики с 1985
• Член Европейского комитета ASL, с 1994 по 1999
• Член совместного AMS/ASL комитета по переводам с русского и других восточно-европейских языков, с 1995 по 2003
• Член редколлегии журнала Mathematical Logic Quarterly c 1993
• Член редколлегии журнала Journal of Universal Computer Science c 1994
• Член-корреспондент Академии Наук Республики Татарстан с 1995
• Член редколлегии журнала Lobachevskii Journal of Mathematics с 1998
• Член редколлегии журнала Ученые записки Казанского университета. Серия физико-математических наук с 2004
• Член редколлегии журнала Asia-European Journal of Mathematics с 2007
• Член редколлегии журнала Известия ВУЗов. Математика с 2008

Ученики

Под его руководством подготовлено восемь кандидатов и пять докторов наук.

• Дёгтев, Александр Николаевич, д.ф.-м.н., профессор, заведующий кафедрой алгебры и математической логики Тюменского государственного университета (1974-2007)
• Соловьёв, Валерий Дмитриевич, математик и лингвист, д.ф.-м.н., профессор, чемпион России по игре Го (1987), президент Российской Федерации Го (1994-1997), проректор по информатизации Казанского государственного университета
• Селиванов, Виктор Львович, д.ф.-м.н., заведующий кафедрой информатики и дискретной математики Новосибирского педагогического университета (1991-н.в.)
• Ишмухаметов, Шамиль Талгатович, д.ф.-м.н., профессор, заведующий кафедрой теоретической информатики и компьютерной безопасности Ульяновского государственного университета (2001-2006)
• Калимуллин, Искандер Шагитович, д.ф.-м.н., профессор
• Бухараев Наиль Раисович, к.ф.-м.н., доцент
• Липачева Екатерина Владимировна, к.ф.-м.н.
• Фролов Андрей Николаевич, к.ф.-м.н., доцент
• Батыршин Ильнур Ильдарович, к.ф.-м.н., начальник Научно-исследовательского центра ФСКН России (2011 - н.в.)
• Ямалеев Марс Мансурович, к.ф.-м.н.
• Зубков Максим Витальевич, к.ф.-м.н.

Ссылки

• Казанский государственный университет
• Академия наук Республики Татарстан