Руководство курсовыми и выпускными работами\Кафедра алгебры и математической логики - Казанский (Приволжский) федеральный университет

Главная \ Образование \ Институт математики и механики им. Н.И. Лобачевского \ Структура \ Отделение математики \ Кафедра алгебры и математической логики

Курсовые и выпускные работы

Студенты Института математики и механики им. Н.И. Лобачевского могут писать курсовые и выпускные квалификационные работы под руководством преподавателей кафедры алгебры и математической логики по следующим научным направлениям

Преподаватель	Должность, учёная степень и учёное звание	Темы курсовых и выпускных работ
*Арсланов Марат Мирзаевич*	заведующий кафедрой, д.ф.-м.н. (профессор), академик АН РТ	Вычислимые функции. Алгоритмическая сложность вычислений. Диофантовы уравнения. Разрешимые фрагменты совокупностей диофантовых уравнений. Алгебраическая структура степеней по сводимости по Соловею.
Абызов Адель Наилевич	доцент, д.ф.-м.н., (доцент)	Вычислительные аспекты теории колец и модулей. Матричные и комбинаторные обобщения и аналоги классических теорем теории чисел. Алгебраические уравнения, разрешимые в радикалах, комбинаторные тождества и классические рекуррентные последовательности.
Альпин Юрий Абдуллович	доцент, к.ф.-м.н., (доцент)	Неотрицательные матрицы и их применения. Полугруппы неотрицательных матриц.
Ильин Сергей Николаевич	доцент, к.ф.-м.н., (доцент)	Канонические разложения матриц над полуполями. Полукольца эндоморфизмов решеток.
Файзрахманов Марат Хайдарович	доцент, д.ф.-м.н.	Позитивные сводимости вычислимых нумераций. Вычислимые алгебраические системы. Обобщенная вычислимость в областях, отличных от N.
Ямалеев Марс Мансурович	доцент, к.ф.-м.н.	Алгоритмическая сложность и индексные множества. Теорема рекурсии и равномерные приоритетные конструкции. Вычислимость на машинах Тьюринга и на RAM-машинах.
Корнеева Наталья Николаевна	доцент, к.ф.-м.н.	Локально регулярные языки и их свойства. Представления регулярных ω – языков. Автоматные сводимости для регулярных языков.
Зайнетдинов Дамир Хабирович	ассистент, к.ф.-м.н.	Нечеткие логики. Сводимость по перечислимости. Допустимые множества. Вычислимые абелевы p-группы.