Во вторник, 18 марта 2025 года, в 16.45 в аудитории 13-11 состоится встреча сотрудников кафедры теоретической информатики мехмата со студентами 2-го курса.

Теоретическая информатика занимается исследованиями фундаментальных основ информатики и ее приложений в широком круге областей человеческой деятельности, в особенности в науке о данных и методах искусственного интеллекта.

К исследуемым проблемам относятся вопросы интеллектуального анализа больших данных; построение широкого класса моделей данных и методов их обработки, включая базы данных и знаний; разработка методов и алгоритмов распознавания изображений, текстов и человеческой речи; разработка эффективных алгоритмов решения фундаментальных задач науки о данных.

Особый интерес представляют исследования методов применения алгебраических структур в науке о данных: линейной алгебры, теории групп, полугрупп, полигонов, алгебраических систем с дополнительными структурами (топология, порядок, градуировка и др.), а также графов и алгебраических кривых.

На кафедре ведутся как теоретические исследования, так и прикладные: в сфере искусственного интеллекта, в 3D-моделировании, в биологии, медицине и других сферах.

Сотрудниками кафедры читается большое количество специальных курсов, проводятся специальные семинары.

презентация

Архив: возможные темы исследований (встреча 2024 год)

к.ф.-м.н. в.н.с. Тензина Виктория Васильевна (презентация)

1. Топологические кольца и модули. Теория топологических радикалов. Применение в криптографии. Конструктивное построение топологий.
2. Доказательства на основе систем компьютерной алгебры. Например, исследование головоломок, подбор схемы сборки.
3. Вычисления в множестве бинарных отношений.
4. Приложения квазигрупп в криптографии.

Архив: возможные темы исследований (встреча 2023 год)

к.ф.-м.н. доцент Сергей Тимофеевич Главацкий (презентация):

1. Реализация методов кластеризации данных в среде Python
2. Методы сингулярного разложения разреженных матриц
3. Алгоритмы поиска схожих документов в больших наборах
4. Эффективные алгоритмы перемножения матриц

д.ф.-м.н. профессор Игорь Борисович Кожухов (презентация):

1. Полигон над полугруппой как алгебраическая модель автомата.
2. Полигоны специального вида.
3. Условия конечности в полигонах.
4. Алгебраическая теория полугрупп.

к.ф.-м.н. н.с. Антон Вячеславович Шокуров (презентация):

к.ф.-м.н. в.н.с. Тензина Виктория Васильевна (презентация)

—-

Архив: возможные темы исследований (встреча 2022 год)

к.ф.-м.н. с.н.с. Николай Михайлович Адрианов:

1. Задача Гурвица: реализуемость паспортов карт/накрытий (Комбинаторика, топология, теория графов, группы перестановок)
2. Семейства Фрида и их инварианты (Группы перестановок и группы кос, рациональные функции, компьютерная алгебра, алгебраическая геометрия комплексных кривых и поверхностей)
3. Алгоритмы решения переборных задач (Алгоритмы, NP-полные задачи, приближенные методы, эвристики)

к.ф.-м.н. в.н.с. Владимир Витальевич Борисенко:

1. Построение векторной модели изображения
2. Алгоритмы сглаживания трехмерных моделей, представленных триангуляцией их поверхности

к.ф.-м.н. доцент Сергей Тимофеевич Главацкий (презентация):

1. Реализация методов кластеризации данных в среде Python
2. Методы сингулярного разложения разреженных матриц
3. Алгоритмы поиска схожих документов в больших наборах
4. Эффективные алгоритмы перемножения матриц

д.ф.-м.н. профессор Игорь Борисович Кожухов (презентация):

Полигоны и полугруппы.

к.ф.-м.н. с.н.с. Елена Михайловна Крейнес (презентация):

1. Графы и матрицы
2. Вложенные графы на поверхностях
3. Простые сборные графы и их применение в генетических алгоритмах
4. Задача распространения пандемии, как задача перколяции
5. Обработка неструктурированной текстовой информации

к.ф.-м.н. в.н.с. Тензина Виктория Васильевна (презентация)

1. цифровая обработка сигнала (помехоустойчивое кодирование, модуляция, синхронизация). Например, 1) поиск оптимальных групповых кодов при помощи систем компьютерной алгебры или 2) применение нечетких множеств в декодировании помехоустойчивых кодов с учётом созвездий модуляции,
2. топологические кольца и модули. Теория топологических радикалов. Применение в криптографии. Конструктивное построение топологий,
3. доказательства на основе систем компьютерной алгебры. Например, исследование головоломок, подбор схемы сборки,
4. поиск оптимального пути в игре «Гонки на клетчатой бумаге». Применение алгоритмов теории графов, анализ изображения, программирование.

—-

к.ф.-м.н. н.с. Антон Вячеславович Шокуров:

Тема: Робототехника

1. автономные роботы, которые «видят» и «слышат»,
2. участие в конкурсах/соревнованиях.

Проект: Создание ПО распознавания свиней и определения их жизнедеятельности.

1. Компьютерная графика. Отрисовка реалистичных 3д моделей. В частности, создание реалистичных 3д сцен со свинками.
2. Разработка методов машинного обучения для
   • выделения свиней на кадре,
   • определения показателей жизнедеятельности,
3. Отслеживание свиней с течением времени.

Проект: Обработка речи человека.

1. выделение речи отдельных говорящих
2. устранение шума в речевом сигнале
3. распознавание речи.

Проект: Сжатие данных

1. сжатие изображений/видео. Увеличение степени сжатия за счет семантической инфрмации,
2. разработа новых методов сжатия обладающих дополнительными возможностями.

Тема: Машинное обучение

1. различные теоретические аспекты связанные с машинным обучением,
2. изучение новых современных методов распознавания.

Тема: Микроконтроллеры

1. программирование алгоритмов (гетерогенная система),
2. разработка различных подсистем,
3. программирование специлизированных микроконтроллеров.

Список тем постоянно обновляется!

В случае Вашей заинтересованности той или иной темой, пишите на адрес кафедры info.ti.msu@mail.ru.