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

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

Курсовые и выпускные работы на 2025/2026 учебный год

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

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