Генеративный искусственный интеллект

Название спецкурса на английском языке
Generative artificial intelligence
Авторы курса
Колосов Алексей Михайлович
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра МаТИС]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору студента
Учебный год
2025/26
Список тем
Генеративные модели для создания видеоконтента: от текстовых промптов к реалистичной анимации
Диффузионные модели в генерации изображений: принципы работы и художественные возможности
Большие языковые модели в создании и редактировании текстового контента
Интеграция генеративного ИИ в табличные редакторы: автоматизация анализа данных
Генеративный ИИ в создании презентаций: от концепции к готовому продукту
Мультимодальные генеративные системы: объединение текста, изображений и видео
Список источников
Cinematic Algorithms: The Rise of Generative AI in Video Art and Visual Culture – M. Hutson, J. Smith
Diffusion Models in Computer Vision: Theory and Applications – Robin Rombach, Andreas Blattmann
Large Language Models: Principles, Applications, and Implications – Percy Liang, Rishi Bommasani
AI-Powered Analytics: Transforming Data into Insights – Anil Maheshwari
The Art of AI-Generated Presentations – Melanie Perkins, Cliff Obrecht
Multimodal Deep Learning: Methods and Applications – Tadas Baltrušaitis, Chaitanya Ahuja, Louis-Philippe Morency
Дополнительная информация

Канал курса: t.me/aiinir

Плейлист курса: https://www.youtube.com/playlist?list=PLxlEzL-zee5rA-wIjwMczYgGHwAPAwv-2

День недели
пятница
Время
18:30-20:05
Аудитория
1225
Дата первого занятия
Аудитория первого занятия
1225
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Нейронные сети

Название спецкурса на английском языке
Neural networks
Авторы курса
Половников Владимир Сергеевич, Часовских Анатолий Александрович
Пререквизиты
Курсы математического анализа, линейной алгебры, дискретной математики (в объеме, читаемом на 1-2 курсах мехмата и ВМиК)
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра МаТИС]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору студента
Учебный год
2025/26
Список тем
Биологические нейронные сети, построение математической модели. Искусственные нейронные сети. Задачи, решаемые нейронными сетями.
Модель МакКаллока-Питтса. Нейронный базис, нейронные схемы. Понятие кусочно-линейных, кусочно-постоянных и кусочно-параллельных функций в действительном многомерном пространстве.
Теорема о выразимости нейронных схем. Понятие эквивалентности. Следствие о существовании нейронной схемы нелинейной глубины не более двух.
Теорема о существовании нейронных функций не представимых нейронными схемами нелинейной глубины один. Критерий однослойности нейронных схем.
Задача проверки полноты в пространстве кусочно-параллельных функций.
Теорема о нелинейной сложности нейронных схем без памяти.
Персептрон. Строгая линейная отделимость. Алгоритм Розенблатта. Теорема Новикова.
Алгоритмы обучения (алгоритм обратного распространения ошибки и его вариации), выбор гиперпараметров. Функции потерь.
Разнообразие архитектур нейронных сетей. Свёрточные нейронные сети. Базовые слои и принципы построения сети.
Сложности процедуры обучения нейронных сетей. Затухающие градиенты, градиентный взрыв, переобучение. Регуляризация, слой dropout, пакетная и другие виды нормализации. Подходы к инициализации весов.
Открытые базы данных MNIST, CIFAR, ImageNet, MS COCO, Pascal VOC и др. Платформа Kaggle. Соревнования нейросетевых алгоритмов.
Задача классификации. Основные архитектуры VGG, Resnet, WideResnet, MobileNet, Inception, Xception, ConvNext.
Масштабирование нейронных сетей. Архитектура EfficientNet. Подходы к автоматическому построению архитектур (NAS).
Список источников
Хайкин С. «Нейронные сети: полный курс», Вильямс 2006.
Гудфеллоу Я., Бенджио И. «Глубокое обучение», ДМК Пресс, 2017
Ф. Шолле «Глубокое обучение на Python», Питер, 2018 г.
Емеличев В.А. и др. Лекции по теории графов. – М.: Наука, 1990.
Половников В.С. «Об оптимизации структурной реализации нейронных сетей» диссертация на соискание степени кандидата наук, 2007
O. Russakovsky, J. Deng, H. Su, J. Krause, S. Satheesh, S. Ma, Z. Huang, A. Karpathy, A. Khosla, M. Bernstein, et al. «Imagenet large scale visual recognition challenge», 2014 http://www.image-net.org/
Tsung-Yi Lin, Michael Maire, Serge Belongie, Lubomir Bourdev, Ross Girshick, James Hays, Pietro Perona, Deva Ramanan, C. Lawrence Zitnick, Piotr Dollár «Microsoft COCO: Common Objects in Context» https://arxiv.org/abs/1405.0312 http://cocodataset.org
Everingham, M., Eslami, S. M. A., Van Gool, L., Williams, C. K. I., Winn, J. and Zisserman, A. «The PASCAL Visual Object Classes Challenge: A Retrospective» International Journal of Computer Vision, 111(1), 98-136, 2015 http://host.robots.ox.ac.uk/pascal/VOC/
Lecun, Yann & Bottou, Leon & Bengio, Y & Haffner, Patrick. «Gradient-Based Learning Applied to Document Recognition», 1998. Proceedings of the IEEE. 86. 2278 - 2324. 10.1109/5.726791.
Alex Krizhevsky, Ilya Sutskever, Geoffrey Hinton «ImageNet Classification with Deep Convolutional Neural Networks», NIPS 2012
Karen Simonyan, Andrew Zisserman «Very deep convolutional networks for large scale image recognition», ICLR 2015 https://arxiv.org/abs/1409.1556
Kaiming He, Xiangyu Zhang, Shaoqing Ren, Jian Sun «Deep Residual Learning for Image Recognition» https://arxiv.org/abs/1512.03385
Christian Szegedy, Wei Liu, Yangqing Jia, Pierre Sermanet, Scott Reed, Dragomir Anguelov, Dumitru Erhan, Vincent Vanhoucke, Andrew Rabinovich «Going Deeper with Convolutions» Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, pages 1–9, 2015 https://arxiv.org/abs/1409.4842
Christian Szegedy, Vincent Vanhoucke, Sergey Ioffe, Jonathon Shlens, Zbigniew Wojna «Rethinking the Inception Architecture for Computer Vision» https://arxiv.org/abs/1512.00567
Christian Szegedy, Sergey Ioffe, Vincent Vanhoucke, Alex Alemi «Inception-v4, Inception-ResNet and the Impact of Residual Connections on Learning» https://arxiv.org/abs/1602.07261
Joseph Redmon, Santosh Divvala, Ross Girshick, and Ali Farhadi «You Only Look Once: Unified, Real-Time Object Detection», ECCV 2016 https://arxiv.org/abs/1506.02640
Joseph Redmon, Ali Farhadi «YOLOv3: An Incremental Improvement»
Ross Girshick, Jeff Donahue, Trevor Darrell, Jitendra Malik «Rich feature hierarchies for accurate object detection and semantic segmentation» https://arxiv.org/abs/1311.2524
Ross Girshick «Fast R-CNN» https://arxiv.org/abs/1504.08083
Shaoqing Ren, Kaiming He, Ross Girshick, Jian Sun «Faster R-CNN: Towards Real-Time Object Detection with Region Proposal Networks» https://arxiv.org/abs/1506.01497
Tsung-Yi Lin, Priya Goyal, Ross Girshick, Kaiming He, Piotr Dollár «Focal Loss for Dense Object Detection» https://arxiv.org/abs/1708.02002
Olaf Ronneberger, Philipp Fischer, Thomas Brox «U-Net: Convolutional Networks for Biomedical Image Segmentation» https://arxiv.org/abs/1505.04597
Kaiming He, Georgia Gkioxari, Piotr Dollár, Ross Girshick «Mask R-CNN» https://arxiv.org/abs/1703.06870
Vijay Badrinarayanan, Alex Kendall, Roberto Cipolla «SegNet: A Deep Convolutional Encoder-Decoder Architecture for Image Segmentation» https://arxiv.org/abs/1511.00561
Jia, Yangqing and Shelhamer, Evan and Donahue, Jeff and Karayev, Sergey and Long, Jonathan and Girshick, Ross and Guadarrama, Sergio and Darrell, Trevor «Caffe: Convolutional Architecture for Fast Feature Embedding» https://arxiv.org/abs/1408.5093 http://caffe.berkeleyvision.org/
James Kirkpatrick, Razvan Pascanu, Neil Rabinowitz, Joel Veness, Guillaume Desjardins, Andrei A. Rusu, Kieran Milan, John Quan, Tiago Ramalho, Agnieszka Grabska-Barwinska, Demis Hassabis, Claudia Clopath, Dharshan Kumaran, Raia Hadsell “Overcoming catastrophic forgetting in neural networks” https://arxiv.org/abs/1612.00796
Friedemann Zenke, Ben Poole, Surya Ganguli “Continual Learning Through Synaptic Intelligence” https://arxiv.org/abs/1703.04200
Andrei A. Rusu, Neil C. Rabinowitz, Guillaume Desjardins, Hubert Soyer, James Kirkpatrick, Koray Kavukcuoglu, Razvan Pascanu, Raia Hadsell “Progressive Neural Networks” https://arxiv.org/abs/1606.04671
Zhizhong Li, Derek Hoiem “Learning without Forgetting” https://arxiv.org/abs/1606.09282
Jiankang Deng, Jia Guo, Yuxiang Zhou, Jinke Yu, Irene Kotsia, Stefanos Zafeiriou “RetinaFace: Single-stage Dense Face Localisation in the Wild” https://arxiv.org/abs/1905.00641
Jiankang Deng, Jia Guo, Niannan Xue, Stefanos Zafeiriou “ArcFace: Additive Angular Margin Loss for Deep Face Recognition” https://arxiv.org/abs/1801.07698
Дополнительная информация

Канал в Telegram: https://t.me/+UJkSUkOE90D_RdXu

День недели
среда
Время
15:00-16:35
Аудитория
Ещё не назначена
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Алгебраические алгоритмы и их сложность

Название спецкурса на английском языке
Algebraic algorithms and their complexity
Авторы курса
Панкратьев Антон Евгеньевич
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра МаТИС]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору студента
Учебный год
2025/26
Список тем
Элементарное представление о сложности вычислений
Задача представления данных для числовых областей
Наибольший общий делитель в кольце целых чисел
Дискретное логарифмирование в конечных полях
Проверка чисел на простоту. Кармайкловы числа
Вероятностные тесты на простоту
Факторизация больших чисел
p-адические числа и коды Гензеля
Многочлены и рациональные функции
Полиномиальная арифметика
Алгоритмы вычисления НОД в кольцах многочленов над кольцом целых чисел и над произвольным полем
Факторизация многочленов
Алгоритм Берлекэмпа
Гензелев подъём
Уравнения, идеалы, многообразия
Определение базисов Грёбнера
Алгоритмы построения базисов Грёбнера
Список источников
Панкратьев Е.В. Элементы компьютерной алгебры. - М.: БИНОМ. Лаборатория знаний, 2007. – 248 c.
Абрамов С.А. Лекции о сложности алгоритмов. – М.: Издательство МЦНМО, 2009. – 254 c.
Н. Коблиц, Курс теории чисел и криптографии. – М.: ТВП, 2001. – 262 c.
Т. Кормен, Ч. Лейзерсон, Р. Ривест, «Алгоритмы: построение и анализ» (MIT Press, Massachusets, 1990; МЦНМО, Москва, 2000).
Д. Кнут, "Искусство программирования" в 3х тт. (Addison-Wesley Longman Inc., Reading, 1998; Вильямс, Москва, 2000-2001)
День недели
пятница
Время
16:45-18:20
Аудитория
436
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Распознавание образов

Название спецкурса на английском языке
Image recognition
Авторы курса
Алешин Станислав Владимирович
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра МаТИС]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору студента
Учебный год
2025/26
Список тем
Тесты
Короткие тесты
Разделяющие поверхности
Теорема Новикова
Комбинаторно-логический подход к распознаванию образов
Иерархическая распознающая система
Список источников
Распознавание динамических образов, Алешин С.В., 1996, изд-во МГУ Москва
Теория интеллектуальных систем: в 4 кн. Книга первая. Распознавание образов, Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.С. , 2018
День недели
четверг
Время
18:30-20:05
Аудитория
Ещё не назначена
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Комбинаторные методы дискретной математики

Название спецкурса на английском языке
Combinatorial methods of discrete mathematics
Авторы курса
Носов Валентин Александрович
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра МаТИС]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору студента
Учебный год
2025/26
Список тем
Модели вычислений, используемые для оценки сложности алгоритмов и вычислений
Меры сложности алгоритмов
Труднорешаемость задач
Классы P и NP и их свойства
NP-полные задачи
Теорема Кука о NP-полноте проблемы выполнимости формул алгебры высказываний
Полиномиальная сводимость задач
Рекурсивные алгоритмы для задач сортировки массивов чисел, умножения чисел, умножения матриц, преобразования формул алгебры логики
Доказательства не существования приближенных алгоритмов с некоторыми мерами уклонения
Оптимизация алгоритмов перебора
Политика жадности
Приближенные алгоритмы для задач об упаковке, о коммивояжере, о вершинном покрытии
Матроиды
Характеризация случаев оптимальности жадных алгоритмов
Теорема Радо- Эдмонса.
Список источников
Носов В.А. Основы теории алгоритмов и анализа их сложности. Курс лекций. Москва, 1992. 140 стр.
Дополнительная информация

Для 5го курса МаТИС

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

День недели
среда
Время
15:00-16:35
Аудитория
Ещё не назначена
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Алгебраические системы автоматов

Название спецкурса на английском языке
Algebraic automata systems
Авторы курса
Алешин Станислав Владимирович
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра МаТИС]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору студента
Учебный год
2025/26
Список тем
Свободные группы
Группы Бернсайда
Матрицы
Список источников
книга С.В.Алешин Алгебраические системы автоматов, изд-во МГУ, 2016 г.
День недели
вторник
Время
16:45-18:20
Аудитория
Ещё не назначена
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Автоматы в лабиринтах

Название спецкурса на английском языке
Automata in labyrinths
Авторы курса
Волков Николай Юрьевич
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра МаТИС]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору студента
Учебный год
2025/26
Список тем
Лабиринты: прямоугольные, мозаичные, шахматные.
Перемещение независимых систем автоматов в лабиринтах.
Возможность обхода конечных мозаичных лабиринтов конечными автоматами.
Теорема Будаха-Подколзина (невозможность обхода конечным автоматом всех мозаичных лабиринтов).
Обход автоматом конечных односвязных шахматных лабиринтов.
Обход конечным автоматом конечных лабиринтов с ограниченными внутренними дырами.
Перемещение в лабиринтах коллективов автоматов.
Периодичность поведения системы автоматов в конечных лабиринтах.
Пример непериодического поведения коллектива автоматов.
Автоматы со счётчиками.
Обход произвольных конечных шахматных лабиринтов автоматом со счётчиком.
Обход произвольных конечных шахматных лабиринтов коллективом автоматов.
Обход коллективом автоматов лабиринтов с одной дырой.
Постановка задачи преследования в шахматных лабиринтах.
Поведение конечного автомата в L0.
Задача преследования независимой системой хищников независимой системы жертв в L0.
Поведение конечного автомата в L1.
Задача преследования независимой системой хищников независимой системы жертв в L1.
Поведение конечного автомата в L2(l).
Задача преследования независимой системой хищников независимой системы жертв в L2(l).
Поведение конечного автомата в L3(l) и L4.
Задача преследования независимой системой хищников независимой системы жертв в L3(l) и L4.
Поимка данной жертвы в L0 коллективом хищников.
Существование универсального коллектива хищников в L0.
Существование универсального коллектива хищников в L1, L2(l), L3(l) и L4.
Задача преследования коллективом хищников независимой системы жертв в L5(l).
Нерешённые лабиринтные задачи.
Список источников
http://intsys.msu.ru/magazine/archive/v12(1-4)/volkov-137-158.pdf
http://intsys.msu.ru/magazine/archive/v11(1-4)/volkov-361-402.pdf
Дополнительная информация

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

 

Занятий 3 и 10 октября не будет из-за командировки преподавателя, следующее занятие - 17 октября.

День недели
пятница
Время
15:00-16:35
Аудитория
1403
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.