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