Математические методы прогнозирования (кафедра ВМиК МГУ)/Спецкурсы-спецсеминары

Пара	Понедельник	Вторник	Среда	Четверг
8:45 – 10:20
10:30 – 12:05
12:15 – 13:50
14:35 – 16:10
16:20 – 17:55	С/К ЛАДР, Е.В.Дюкова, 645	С/К ИВКЛ, С.И.Гуров, 605	С/К ВЗМБ, С.А.Махортых, 506
18:05 – 19:40	С/К МОМО, Д.А.Кропотов, 506	С/К ЛСМРПАД, О.В.Сенько, 523	С/С БММО, Д.П.Ветров, 526Б	С/К ИИИ, И.Б.Гуревич, 605
20:00 – 21:30

Расписание основных занятий

Спецкурсы

Методы оптимизации в машинном обучении, Д.А. Кропотов, проходит по понедельникам в ауд. 506, начало в 18-05. Первое занятие 10 сентября.
В спецкурсе рассматриваются классические и современные методы непрерывной оптимизации, а также особенности их применения для задач оптимизации, возникающих в машинном обучении. Основной упор в изложении делается на практические аспекты реализации и использования методов. Спецкурс поддерживается практическими заданиями.

Исчисления высказываний классической логики, С.И. Гуров, проходит по вторникам в ауд. 605, начало в 16-20. Первое занятие 2 октября.
В спецкурсе рассматриваются основные понятия пропозициональной логики. Даются методы характеризации формул алгебры логики, в частности, метод резолюций и метод семантических таблиц. Изучаются логические исчисления гильбертовского и генценовского типов и общие свойства формальных теорий. Рассматриваются свойства метатеории логических исчислений: корректность и непротиворечивость, семантическая полнота, полнота по Посту, разрешимость и независимость. Спецкурс поддерживается практическими занятиями.

Извлечение информации из изображений, И.Б. Гуревич, проходит по четвергам в ауд. 605, начало в 18-30.
В спецкурсе представлены постановки и методы решения математических и вычислительных задач, возникающих в связи с анализом и оцениванием информации, представляемой в виде изображений.

Логико-статистические модели в распознавании, прогнозировании и интеллектуальном анализе данных, О.В. Сенько, проходит по вторникам в ауд. 523, начало в 18-05.
Рассматриваются методы интеллектуального анализа данных, основанные на выделении в многомерном пространстве прогностических переменных областей, в которых значения прогнозируемой переменной достоверно отличаются от средних значений по всей выборке. Верификация выявленных закономерностей проводится с помощью рандомизированных перестановочных тестов. Приводятся примеры использования рассматриваемых методов при решении разнообразных прикладных задач.

Логический анализ данных в распознавании, Е.В. Дюкова, проходит по понедельникам в ауд. 645, начало в 16-20. Первое занятие состоится 1 октября.
Излагаются общие принципы конструирования логических процедур распознавания. Изучаются вопросы эффективного применения комбинаторно-логических методов для синтеза распознающих процедур. Рассматриваются подходы к оценке вычислительной сложности алгоритмов и качества решения прикладных задач.

Вычислительные задачи математической биологии, С.А. Махортых, проходит по средам раз в две недели по две пары в ауд. 506, начало в 16-20. Первая лекция 3 октября.
В спецкурсе рассматриваются дополнительные вопросы обобщенного спектрально-аналитического метода (ОСАМ) и его приложения к задачам распознавания в биоинформатике, связанным с аналитическим описанием и анализом, как текстовых последовательностей, так и пространственных структур биологических макромолекул.

Теория надёжности обучения по прецедентам, К.В. Воронцов.
Спецкурс знакомит студентов с современным состоянием теории вычислительного обучения, исследующей проблему качества восстановления зависимостей по эмпирическим данным. Подробно рассматривается комбинаторная теория, позволяющая получать точные оценки вероятности переобучения.

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

Основы обобщенного спектрально-аналитического метода и его приложения, Ф.Ф. Дедус.
Обобщенный спектрально-аналитический метод (ОСАМ) является комбинированным численно-аналитическим методом, в котором сочетаются сильные стороны числовых расчетов и аналитических преобразований. Основными математическими объектами метода являются семейства аналитических ортогональных функций, зависящие от параметров и позволяющие проводить адаптивную аналитическую аппроксимацию произвольных функций. В курсе подробно изучаются системы классических ортогональных многочленов непрерывного аргумента (Чебышева, Лежандра, Якоби, Лагерра, Эрмита) и ортогональные многочлены дискретного аргумента (Чебышева, Хана, Майкснера, Кравчука и Шарлье).

Нестатистические методы анализа данных и классификации, В.В. Рязанов.
В спецкурсе будут рассмотрены проблемы и методы кластерного анализа (подходы и алгоритмы кластеризации с известным и неизвестным числом кластеров, критерии кластеризации, вопросы устойчивости, построение оптимальных коллективных решений), новые подходы в регрессионном анализе, поиск зависимостей по прецедентам, практические применения в медицине, бизнесе и технике.

Задачи распознавания в биоинформатике, К.В. Рудаков, И.Ю. Торшин.
Данный курс рассчитан на будущих специалистов в области математики и информатики. На примере биоинформатики иллюстрируется, как математик мог бы вникать в специфику предметной области, чтобы суметь успешно приспособить известные ему методы для решения прикладных и исследовательских задач.

Булевы уравнения и проблема SAT, С.И. Гуров, А.Г. Дьяконов.

Метрические методы интеллектуального анализа данных, А.И. Майсурадзе.
Рассматриваются методы и технологии, применяющиеся в интеллектуальном анализе данных (ИАД, data mining) и базирующиеся на понятиях сходства, близости, аналогии. Идея сходства свойственна человеческому мышлению, это породило целый комплекс подходов для всех фундаментальных задач ИАД, среди которых основное внимание в курсе уделено классификации, восстановлению регрессии, кластеризации, восстановлению пропущенных данных.

Байесовские методы машинного обучения, Д.П. Ветров, Д.А. Кропотов.
В спецкурсе рассматривается применение байесовских методов к нескольким классическим задачам машинного обучения, позволяющих, в частности, автоматически решать задачи выбора модели и получать решающие правила, обладающие желаемыми свойствами. Спецкурс поддерживается практическими заданиями.