Темы курсовых и выпускных квалификационных работ
Ахтямов Р.Б.
- Знакомство с логическим языком программирования «Пролог». Решение задач на «Прологе».
- Создание экспертной системы на языке «Пролог».
- Дополнительные главы теории алгоритмов и рекурсивные функции. Иерархия Ершова.
- Дополнительные главы теории алгоритмов и рекурсивные функции. Иерархия Клини – Мостовского.
- Индексные множества в иерархии Ершова.
Байрашева В.Р.
- Системы сборки Java: разновидности, преимущества, использование на практике.
- Аспектно-ориентированное программирование на примере фреймворка Spring.
- Различные способы работы с базами данных на Java. Сравнительный анализ.
- Создание онтологий в математике.
- Расчеты частотных характеристик текстов и их корреляция со сложностью текстов.
- Тестирование на Java.
Гайнутдинова А.Ф.
- Сравнительный анализ существующих квантовых компьютеров и их симуляторов.
- Сравнительных сложностной анализ различных алгоритмов решения некоторой задачи дискретной оптимизации.
- Сравнительный сложностной анализ различных структур данных.
- Разработка квантовых алгоритмов.
- Исследование коммуникационных моделей с несколькими участниками.
- Исследование различных модификаций модели ветвящихся программ.
- Исследование коммуникационной сложности различных классов языков.
- Машинное обучение. Самостоятельное изучение данной области и выполнение задания с сайта https://www.kaggle.com
Гусенков А.М.
- Информационно-поисковые системы.
- Нечеткий поиск.
- Нейронные сети.
- Параллельные вычисления.
- Java проекты
- Проекты на языке Python
Кугураков В.С.
- Решение алгебраических уравнений в конечных полях. Сравнительный анализ алгоритмов.
- Разложение многочленов над конечными полями на неприводимые множители.
- Вычисление дискретных логарифмов в конечных полях.
- Вычисление корней уравнения в конечных полях характеристики 2.
- О способах задания перестановок на элементах конечного поля.
- О вычислении полных групп автоморфизмов кодов с исправлением ошибок.
- Булевы функции в криптографии.
- Графика родословных деревьев.
- Календарные вычисления и астрономические явления.
Салимов Ф.И.
- Splay деревья, операции с Splay деревьями
- Сравнительный анализ реализации АВЛ деревьев, красно-черных деревьев.
- Декартово дерево и его свойства
- Адаптивные методы кодирования информации
- Куча. Сравнительное исследование различных способов построения кучи
- Поиск текстов по заданным шаблонам, Алгоритм Ахо-Карасик
- Суффиксные деревья и их свойства.
Хадиев К.Р.
- Построение и анализ квантовых и классических онлайн алгоритмов с ограниченной памятью и временем
- Квантовые алгоритмы для задач обработки текстовой информации
- Класс задач, распознаваемых квантово-классическими двухсторонними автоматами
- Построение квантовых алгоритмов для задач на графы
- Анализ и проектирование квантовых автоматов (алгоритмов, обрабатывающих поток данных)
- Анализ и проектирование квантовых и классических коммуникационных протоколов.
- Построение квантовых алгоритмов для задач машинного обучения.
Хайруллин А.Ф.
- Разработка web-сервиса или приложения аггрегатора других сервисов
- Разработка web-сервиса с анализом данных из открытых источников
- Приложения на MAUI(Xamarin) с системой помощи принятия решения или анализом и визуализацей данных
- Анализ и визуализация данных при помощи MS Power BI и ML.NET
- Доказательство с нулевым разглашением и его использование в блокчейн
- Разработка распределенных De-Fi приложений