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

Название спецкурса на английском языке
Neural networks
Авторы курса
Половников Владимир Сергеевич, Часовских Анатолий Александрович
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра МаТИС]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору студента
Учебный год
2026/27
Список тем
Биологические нейронные сети, построение математической модели. Искусственные нейронные сети. Задачи, решаемые нейронными сетями.
Модель МакКаллока-Питтса. Нейронный базис, нейронные схемы. Понятие кусочно-линейных, кусочно-постоянных и кусочно-параллельных функций в действительном многомерном пространстве.
Теорема о выразимости нейронных схем. Понятие эквивалентности. Следствие о существовании нейронной схемы нелинейной глубины не более двух.
Теорема о существовании нейронных функций не представимых нейронными схемами нелинейной глубины один. Критерий однослойности нейронных схем.
Задача проверки полноты в пространстве кусочно-параллельных функций.
Теорема о нелинейной сложности нейронных схем без памяти.
Персептрон. Строгая линейная отделимость. Алгоритм Розенблатта. Теорема Новикова.
Алгоритмы обучения (алгоритм обратного распространения ошибки и его вариации), выбор гиперпараметров. Функции потерь.
Разнообразие архитектур нейронных сетей. Свёрточные нейронные сети. Базовые слои и принципы построения сети.
Сложности процедуры обучения нейронных сетей. Затухающие градиенты, градиентный взрыв, переобучение. Регуляризация, слой 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
Аудитория
Ещё не назначена
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Методика составления и решения олимпиадных задач

Название спецкурса на английском языке
Methodology for designing and solving olympiad problems
Авторы курса
Асташова Ирина Викторовна
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра дифференциальных уравнений]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2026/27
Список тем
Олимпиадная математика в эпоху ИИ: плюсы и минусы
Техника составления заданий для дистанционного тестирования
Контроль самостоятельности выполнения
Список источников
Асташова И. В., Кипкеев А. А., Маснавиев Р. Р. Сравнительное исследование качества решений больших языковых моделей общего назначения в задачах математического анализа // Преподавание математики в высшей школе и работа с одаренными студентами в современных условиях. Teaching mathematics in higher education and working with gifted students in contemporary context : материалы Междунар. науч.-практ. семинара, Могилев, 19 фев. — Межгосударственное образовательное учреждение высшего образования Белорусско-Российский университет г. Могилев: 2026. — С. 105–128.
Задачи студенческих математических олимпиад / В. А. Садовничий, А. А. Григорьян, С. В. Конягин. - М.: Изд-во Моск. университета, 1987.
День недели
среда
Время
15:00-16:35
Аудитория
Ещё не назначена
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Теория вязкоупругости и ползучести

Название спецкурса на английском языке
Theory of viscoelasticity and creep
Авторы курса
Вакулюк Василий Владимирович
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра механики композитов]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2026/27
Список тем
Понятие о ползучести и релаксации. Кривые ползучести и релаксации. Простейшие модели линейно вязкоупругих сред: модель Максвелла, модель Фохта, модель Томсона. Время релаксации. Время запаздывания.
Определяющие соотношения теории вязкоупругости. Ядра ползучести и релаксации. Непрерывные ядра и ядра со слабой особенностью. Термодинамические ограничения на выбор ядер ползучести и релаксации.
Формулировка краевых задач теории вязкоупругости. Методы решения краевых задач теории вязкоупругости: принцип соответствия Вольтерры, применение интегрального преобразования Лапласа, численные методы. Теорема единственности.
Вариационные принципы в линейной вязкоупругости.
Определяющие соотношения нелинейной теории вязкоупругости. Разложение Вольтерры—Фреше. Упрощенные одномерные модели.
Теории старения, течения, упрочнения и наследственности. Ползучесть при сложном напряженном состоянии. Определяющие соотношения.
Установившаяся ползучесть. Уравнения состояния деформируемых тел, находящихся в условиях установившейся ползучести. Постановка краевых задач. Вариационные принципы теории установившейся ползучести: принцип минимума полной мощности, принцип минимума дополнительного рассеяния.
Неустановившаяся ползучесть. Определяющие уравнения теории неустановившейся ползучести. Вариационные принципы теории течения и теории упрочнения.
Список источников
1. Георгиевский Д.В. "Модели теории вязкоупругости". М., URSS, 2023, 144 с.
2. Ильюшин А.А., Победря Б.Е. Основы математической теории термовязкоупругости. М., Наука, 1970, 280 с.
3. Победря Б.Е. Математическая теория нелинейной вязкоупругости // Упругость и неупругость. Вып. 3. М.: Изд-во МГУ, 1973, с. 95-173.
4. Победря Б.Е. Модели линейной вязкоупругости // Известия РАН. МТТ, №3, 2003, с. 120-134.
5. Победря Б.Е. Численные методы в теории упругости и пластичности. М.: Изд-во МГУ, 1995, 366 с.

1. Адамов А.А., Матвеенко В.П., Труфанов Н.А., Шардаков И.Н. Методы прикладной вязкоупругости. Екатеринбург: Изд-во УрО РАН, 2003, 412 с.
2. Бленд Д.Р. Теория линейной вязкоупругости. М.: Мир, 1965, 390с.
3. Бугаков И.И. Ползучесть полимерных материалов. М., Наука, 1973.
4. Горшков А.Г., Старовойтова Э.И., Яровая А.В. Механика слоистых вязкоупругопластических элементов конструкций. М.: ФИЗМАТЛИТ, 2005, 576 с.
5. Ильюшин А.А. Труды. Том 3. Теория термовязкоупругости. М.,ФИЗМАТЛИТ, 2007, 288 с.
6. Качанов Л.М. Теория ползучести. М., Физматгиз, 1960, 390 с.
7. Колтунов М.А. Ползучесть и релаксация. М., Высшая школа, 1976.
8. Кристенсен Р. Введение в теорию вязкоупругости. М., Мир, 1974, 338 с.
9. Малинин Н.Н. Прикладная теория пластичности и ползучести. М.: Машиностроение, 1975.
10. Победря Б.Е. Механика композиционных материалов. М., изд-во МГУ, 1984, 336 с.
11. Работнов Ю.Н. Ползучесть элементов конструкций. М., Наука, 1966, 752 с.
12. Работнов Ю.Н. Элементы наследственной механики твёрдых тел. М., Наука, 1977.
14. Ржаницын А.Р. Теория ползучести. М., Стройиздат, 1968, 415 с.
15. Ферри Дж. Вязкоупругие свойства полимеров. М., ИЛ, 1963, 536 с.
Дополнительная информация

https://istina.msu.ru/courses/teachings/824517321/

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

Введение в теорию чисел

Название спецкурса на английском языке
Introduction to number theory
Авторы курса
Архипова Людмила Геннадьевна, Снурницын Павел Владимирович
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра МКМА]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору студента
Учебный год
2026/27
Список тем
Простые числа. Делимость в кольце целых чисел, НОД, НОК, Алгоритм Евклида. Однозначное разложение целых чисел на простые множители. Бесконечность числа простых чисел. Мультипликативные функции, функции Эйлера и Мёбиуса. Формула обращения Мёбиуса. Неравенства Чебышева.
Сравнения. Сравнения и их свойства. Полная и приведенная система вычетов. Число решений линейного сравнения. Теоремы Эйлера и Ферма. Китайская теорема об остатках. Повторение основных определений алгебры: группа, кольцо, идеал, фактор-группа и фактор-кольцо, поле. Кольцо классов вычетов (определения и свойства выше на языке колец). Делители нуля. Кольцо многочленов над любым полем. Однозначность разложения в кольце многочленов.
Первообразные корни. Теорема Лагранжа (число корней многочлена над произвольным полем не превосходит степени многочлена). Группа единиц кольца вычетов по модулю простого. Структура группы единиц кольца вычетов по произвольному модулю. Первообразные корни и индексы. Степенные вычеты.
Квадратичные вычеты. Квадратичные вычеты и невычеты. Символ Лежандра, символ Якоби, их свойства. Теорема Вильсона и её обобщение. Лемма Гаусса. Квадратичный закон взаимности. Равномерное распределение последовательностей mod n (обзорно).
Конечные поля
Источники: [Степ, главы I-II], [IR, главы 7-8,10-11], [Serre, глава I], [LN, главы 2,5], [БШ, параграфы I.1-I.2, АД.2-АД.3]
Конечные поля. Расширения полей. Конечное поле F_q как фактор-кольцо кольца многочленов F_p [x]. Количество неприводимых многочленов над F_p . Цикличность мультипликативной группы F_q^* . Конечные расширения полей, cвойства расширения F_q / F_p .
Группа автоморфизмов. Норма и след. Подполя конечных полей. Автоморфизм Фробениуса, цикличность группы Галуа конечного поля. Соответствие Галуа для башни конечных полей. Норма и след для произвольных конечных расширений полей. Дискриминант базиса расширения. Свойства нормы и следа в случае конечных полей.
Корни из единицы. Круговой многочлен. Круговой многочлен, круговое поле. Цикличность группы корней из единицы. Примитивные корни из единицы. Произведение круговых многочленов. Разложение кругового многочлена над конечным полем. Число неприводимых многочленов над конечным полем. Факты о неприводимых многочленах. Критерий неприводимости Эйзенштейна.
Тригонометрические суммы
Источники: [Степ, главы I-II], [IR, главы 7-8,10-11], [Serre, глава I], [LN, главы 2,5], [БШ, параграфы I.1-I.2, АД.2-АД.3]
Характеры. Суммы Гаусса. Характеры конечных абелевых групп. Двойственная группа. Свойства ортогональности. Аддитивные и мультипликативные характеры конечного поля. Суммы Гаусса, обобщённые суммы Гаусса. Соотношение Хассе-Дэвенпорта.
Тригонометрические суммы. Уравнения над конечными полями. Связь тригонометрических сумм с числом решений уравнений в конечных полях. Суммы Якоби и их приложения для числа решений уравнений. Теоремы Варинга и Шевалле. Суммы характеров. Неполные суммы характеров. Теорема Виноградова-Пойя.
Дзета функция Артина. Элементы алгебраической геометрии над конечным полем: аффинное и проективное пространства, уравнения как гиперповерхности. Дзета функция Артина, критерий её рациональности. Дзета функция гиперповерхности заданной формой a_0 x_0^m +…+ a_n x_n^m и её рациональность.
p-адические числа
Источники: [БШ, глава I], [Serre, глава II], [Gouv, главы 1-4]
p-адические числа: элементарное определение и свойства. Элементарное определение кольца и поля p-адических чисел. Единицы кольца Z_p . p-показатель и p-адическая метрика. Свойства вложения Q в Q_p . Делимость и сравнения в Z_p . Сходимость последовательностей и рядов p-адических чисел.
Аксиоматическое определение поля p-адических чисел, метризованные поля. Метризованные поля, пополнение по метрике, теорема о существовании и единственности пополнения метризованного поля (без доказательства). Эквивалентность метрик. Метрики поля рациональных чисел, Теорема Островского. Некоторые топологические свойства связанные с неархимедовыми метриками.
Лемма Гензеля, принцип Хассе. Несколько вариантов формулировки Леммы Гензеля. Связь разрешимости сравнений по модулю степени простого с разрешимостью в поле p-адических чисел. Оценка числа решений сравнения по модулю степени простого. Теорема Минковского-Хассе и локально-глобальный принцип (обзорно).
Числовые поля
Источники: [IR, главы 9,12-13], [БШ, глава III], [Marc, главы 2-5], [Cox, параграфы I.4, II.7], [DSV, глава 2]
Кольцо целых гауссовых чисел. Евклидовы кольца, кольца главных идеалов. Однозначность разложения на множители в кольцах главных идеалов. Кольцо гауссовых чисел Z[i] и кольцо чисел Эйзенштейна Z[ω]. Число представлений целого в виде суммы двух квадратов. Суммы четырёх квадратов, связь с алгеброй кватернионов.
Арифметика колец целых алгебраических чисел. Числовые поля, кольца алгебраических целых чисел. Нётеровы кольца. Однозначность разложения в кольце алгебраических целых чисел. Элементы теории Галуа числовых полей. Применение теории Галуа к разложению на простые идеалы в башнях полей и колец.
Квадратичное поле и круговое поле. Квадратичное числовое поле Q( √(d)) и его кольцо целых. Разложимость на простые идеалы. Группа единиц кольца целых квадратичного поля. Число классов идеалов квадратичного поля (обзорно). Круговое поле Q( ζ_m ), простые идеалы соответствующего кольца целых. Приложения для кругового многочлена.
Список источников
[Вин] И.М. Виноградов, Основы теории чисел. Наука, 1981.
[IR] К. Айерленд, М. Роузен, Классическое введение в современную теорию чисел, МИР, 1987 (K. Ireland, M. Rosen, A Classical Introduction to Modern Number Theory. Springer, 1990).
[БШ] З.И. Боревич, И.Р. Шафаревич, Теория чисел. Наука, 1972.
[Serre] Ж.-П. Серр, Курс арифметики. МИР, 1972 (J.-P. Serre, Cours D’Arithmetique, Presses Universitaire de France, 1970).
[Степ] С.А. Степанов, Арифметика алгебраических кривых. Наука, 1991.
[LN] R. Lidl, H. Niederreiter, Introduction to Finite Fields and their Applications. Cambridge University Press, 1994.
[Gouv] F. Gouvêa, p-adic Numbers: An Introduction. Springer, 2020.
[Marc] D.A. Marcus, Number Fields. Springer, 2018.
[Cox] D.A. Cox, Primes of the Form x^2 +n y^2 . Wiley, 2013.
[DSV] G. Davidoff, P. Sarnak, A. Valette, Elementary Number Theory, Group Theory, and Ramanujan Graphs, Cambridge University Press, 2003.
[Stein-ent] W. Stein, Elementary Number Theory: Primes, Congruences, and Secrets, 2017.
[Kat] S. Katok, p-adic Analysis Compared with Real. AMS, 2007 (С.Б. Каток, p-адический анализ в сравнении с вещественным. МЦНМО, 2004).
[The Book] M. Aigner, G.M. Ziegler, Proofs from THE BOOK. Springer, 2018 (М. Айгнер, Г.М. Циглер, Доказательства из КНИГИ. МЦНМО, 2006).
День недели
вторник
Время
15:00-16:35
Аудитория
Ещё не назначена
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Теория графов и синтез больших интегральных схем

Название спецкурса на английском языке
Graph theory and design of large integrated circuits
Авторы курса
Часовских Анатолий Александрович, Половников Владимир Сергеевич, Ронжин Дмитрий Владимирович
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра МаТИС]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2026/27
Список тем
Основы технологии синтеза БИС.
Логический синтез. Конечный автомат как модель БИС.
Задача трассировки. Минимальные прямоугольные деревья Штейнера: теорема существования, алгоритмы построения, алгоритм для приближенного решения.
Задача укладки. Минимальные разрезы в графе: алгоритмы точного и приближенного решения. Задача разбиения: эвристические алгоритмы.
Специализированные схемы (сортировки, сложения, умножения).
Плоские клеточные схемы. Оценки сложности специализированных плоских клеточных схем.
Эвристические алгоритмы укладки. Gordian алгоритм.
Список источников
Емеличев В.А. и др. Лекции по теории графов.
Lengauer Thomas, Combinatorial Algorithms for Integrated Circuit Layout
https://edu.ikit.sfu-kras.ru/drupal/node/305.html
https://edu.ikit.sfu-kras.ru/drupal/node/313.html
А. Ф. Сидоренко О минимальных прямоугольных штейнеровых деревьях// Дискрет. матем., 1989, 1:2, 28–37
Н. А. Шкаликова О реализации булевых функций схемами из клеточных элементов//Математические вопросы кибернетики, вып. 2
Дополнительная информация

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

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

Распознающие системы

Название спецкурса на английском языке
Recognition systems
Авторы курса
Козлов Вадим Никитович
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра МаТИС]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору студента
Учебный год
2026/27
Список тем
Двумерное изображение, код двумерного изображения
Лемма о построении изображения по коду и заданным трем точкам
Теорема о кодах аффинно эквивалентных плоских изображений
Определение к-эквивалентности (к ≥2) двумерных изображений. Теорема о к-эквивалентности
Трехмерное изображение, код трехмерного изображения. Теорема о кодах аффинно эквивалентных объемных изображений
Цифровая подпись на основе кодов изображений
Постановка задачи о восстановлении тела по плоским проекциям. Основные определения
Лемма об условиях а-эквивалентности проекций тела
Основная лемма в задаче о восстановлении тела по плоским проекциям
Теорема о восстановлении тела по плоским проекциям
Алгоритм определения соответствующих друг другу точек на двух проекциях
Постановка задачи об искомом взаиморасположении двух изображений. Основные определения для случая параллельного переноса
Характеристическое изображение, его ядро, ключевая окружность
Лемма об эквивалентности ядер характеристических изображений при параллельных переносах
Лемма о дополнении ядра характеристического изображения новым центром
Теорема о единственности искомого взаиморасположения при параллельных переносах
Постановка задачи об искомом взаиморасположении изображений для аффинного случая. Согласованность изображений
Теорема о согласованности изображений как необходимом условии искомого взаиморасположения
Дискриминантный подход к распознаванию образов. Линейные и квадратичные дискриминантные функции. Пороговый логический блок
Теорема об обучении при линейных дискриминантных функциях (теорема Новикова)
Структурно-лингвистический подход к распознаванию. Порождающая грамматика и язык
Тестовый подход к распознаванию образов. Тупиковый тест. Алгоритм голосования по тестам.
Теорема о соответствии между монотонными булевыми функциями и характеристическими тестовыми функциями
Список источников
Козлов В.Н. Математическая теория зрительного восприятия - М.: Издательство Московского университета, 2026. – 147 c.(серия Классический университетский учебник).
Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.Н. Введение в теорию интеллектуальных систем. – М.: МАКС Пресс, 2006. – 208 c.
Хорн Б.К.П. Зрение роботов – М.: Мир, 1989
День недели
четверг
Время
15:00-16:35
Аудитория
Ещё не назначена
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Введение в астродинамику

Название спецкурса на английском языке
Introduction to astrodynamics
Авторы курса
Грушевский Алексей Васильевич
Пререквизиты
Математический анализ, алгебра, линейная алгебра и геометрия, аналитическая геометрия, дифференциальная геометрия, дифференциальные уравнения, теоретическая механика
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра теоретической механики и мехатроники]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2026/27
Список тем
Задача Кеплера. Первые интегралы уравнений движения материальной точки в ньютоновом поле. Траектории движения точки.
Формулы, задающие движение точки в функции времени. Аномалии. Элементы орбиты.
Метод сопряженных конических сечений. Периодические решения в ограниченной задаче трёх тел. Способ отыскания периодических решений с помощью сфер действия.
Пролет притягивающего центра по гиперболической траектории. Картинная плоскость.
Изохронные производные радиус-вектора и скорости точки, движущейся по кеплеровой эллиптической орбите.
Формула Ламберта. Построение решений задачи Ламберта, классификация Артура Кэли. Формула Ламберта для эллиптического движения.
Определение кеплеровой орбиты небесного тела по двум положениям. Формула Ламберта для гиперболического движения. Формула Баркера.
Ограниченная задача трех тел (материальных точек). Сфера действия тела.
Приближенное решение ограниченной задачи трех тел методом сфер действия. Метод точечных сфер действия.
Гравитационный маневр. Оптимизация параметров гравитационного маневра с помощью картинной плоскости. Полеты космических аппаратов к Луне и планетам Солнечной системы с использованием гравитационных маневров.
Сфера V-бесконечность. Резонансные кривые на V-бесконечность сфере. Полюс наклонения.
Гравитационные маневры в окрестностях планет Солнечной системы. Диаграмма Тиссерана-Пуанкаре. Цепочки гравитационных маневров. Повышающие гравитационные маневры.
Эффективный радиус планеты. Полный эффективный радиус планеты. Интеграл Якоби в синодической системе координат. Поверхности Хилла. Базовое свойство интеграла Якоби.
Основное свойство интеграла Якоби, экспресс-вывод. Цепочки гравитационных маневров.
Изменение скорости точки при пролёте мимо притягивающего центра по гиперболе. Задача о попадании точки в планету по гиперболической траектории. Интеграл Якоби в сидерической системе координат. Критерий Тиссерана. 3-D диаграмма Тиссерана-Пуанкаре.
Понижение асимптотической скорости КА в многотельных планетарных системах относительно лун и планет с целью их исследования. Малозатратная схема КА «Галилео» перелёта к Юпитеру по маршруту VEE-GA.
Периодичность оптимальных дат старта для межпланетных перелётов. Комплекс программ Balcalk. Полёты к Марсу 2028-2031 гг. Окна старта. Полёты к Венере 2028-2034 гг.
Список источников
Охоцимский Д.Е.. Динамика космических полетов. М.: Изд-во Моск. ун-та, 1968.
Сазонов В.В., Барбашова Т.Ф. Лекции по механике космического полета. М.: Изд-во Моск. ун-та, 2018.
Охоцимский Д.Е., Сихарулидзе Ю.Г. Основы механики космического полета. М.: Наука, 1990.
Боровин Г.К., Голубев Ю.Ф., Грушевский А.В. и др. Баллистико-навигационное обеспечение полетов автоматических космических аппаратов к телам Солнечной системы. М., Химки: “НПО Лавочкина”, 2018.
Дубошин Г.Н. Небесная механика. Основные задачи и методы. М.: Наука, 1975.
Белецкий В.В. Очерки о движении космических тел. М.: Наука, 1972.
Егоров В.А. Пространственная задача достижения Луны. М.: Наука, 1965.
Балк М.Б., Демин В.Г., Куницын А.Л. Сборник задач по небесной механике и космодинамике. М.: Наука, 1972.
Голубев Ю.Ф., Грушевский А.В., Корянов В.В. и др. Основное свойство интеграла Якоби для гравитационных маневров в Солнечной системе. М.: ИПМ им. М.В. Келдыша РАН, 2019.
Субботин М.Ф. Введение в теоретическую астрономию. М.: Наука, 1968.
Суханов А.А. Астродинамика. М.: Ин-т космических исследований РАН, 2010.
День недели
четверг
Время
15:00-16:35
Аудитория
1603
Дата первого занятия
Аудитория первого занятия
1603
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Функциональные системы двузначной логики

Название спецкурса на английском языке
Functional systems of two-valued logic
Авторы курса
Дудакова Ольга Сергеевна
Пререквизиты
Освоение раздела "Булевы функции" курса "Теория дискретных функций" (1 курс, 2 семестр)
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра дискретной математики]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2026/27
Список тем
Теорема Поста о конечной порожденности всех замкнутых классов булевых функций.
Описание решетки всех замкнутых классов булевых функций.
Предикатное описание замкнутых классов. Соответствие Галуа.
Классы частичных функций в P_2. Критерий полноты.
Список источников
Марченков С. С. Основы теории булевых функций. М.: Физматлит, 2014.
Дополнительная информация

Расписание предварительное, можно изменить по согласованию со слушателями. Связь с лектором: olga.dudakova@gmail.com

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

Теория колебаний и фракционный анализ 1

Название спецкурса на английском языке
Oscillation theory and fractional analysis 1
Авторы курса
Влахова Анастасия Владимировна
Пререквизиты
математический анализ, линейную алгебру, аналитическую геометрию, классическую дифференциальную геометрию, комплексный анализ, функциональный анализ, дифференциальные уравнения, уравнения математической физики, теоретическую механику, механику сплошной среды
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра прикладной механики и управления]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2026/27
Список тем
Динамические системы и условие их консервативности. Фазовое пространство автономных систем. Структура фазовой плоскости систем второго порядка. Динамика совместного существования видов. Метод фазовой плоскости в задаче «хищник – жертва».
Бифуркации положений равновесия консервативных систем на фазовой плоскости. Задача о маятнике на вращающемся основании
Предельные циклы. Критерий Бендиксона-Дюлакаотсутствия замкнутых траекторий. Теория индексов Пуанкаре и законы совместного существования положений равновесия и замкнутых траекторий на фазовой плоскости
Поведение траекторий автономной системы вблизи периодических траекторий. Отображение Пуанкаре. Условия устойчивости и неустойчивости периодической траектории автономной системы
Поведение траекторий автономной системы вблизи периодических траекторий. Отображение Пуанкаре. Условия устойчивости и неустойчивости периодической траектории автономной системы
Поведение траекторий автономной системы вблизи периодических траекторий. Отображение Пуанкаре. Условия устойчивости и неустойчивости периодической траектории автономной системы
Грубые системы. Теорема Андронова-Понтрягина. Бифуркации предельных циклов на фазовой плоскости
Структура решения линейных систем обыкновенных дифференциальных уравнений. Устойчивость по Ляпунову линейных однородных систем. Системы с постоянными коэффициентами и устойчивость по первому приближению
Фундаментальная система решений уравнения свободных колебаний линейного осциллятора. Наискорейшее затухание колебаний. «Период» и логарифмический декремент затухающих колебаний. Свободные колебания осциллятора с сухим (кулоновым) трением.
Вынужденные колебания линейного осциллятора. Амплитудно-частотная и фазочастотная характеристики
Матричная форма уравнений консервативных систем. Теория малых колебаний
Уравнения Лагранжа с множителями для систем с голономными стационарными связями. Малые колебания консервативной системы со связью и способ отыскания ее частот при известных частотах свободной системы. Изменение частот консервативной системы при наложении связей
Экстремальные свойства собственных частот консервативных систем. Теорема Фишера-Куранта. Изменение частот при изменении жесткости и инерционности системы. Теорема Релея. Отыскание параметров консервативной системы путем создания свободных малых колебаний
Влияние периодических сил на малые колебания консервативной системы. Принцип взаимности. Динамический гаситель колебаний, задачи виброзащиты и виброизоляции. Резонанс при вынужденных колебаниях. Отыскание параметров консервативной системы путем создания свободных и вынужденных малых колебаний
Линейные системы с периодическими коэффициентами. Теорема Флоке. Мультипликаторы Флоке и их свойства
Приводимость линейных систем с периодическими коэффициентами. Характеристические показатели. Теорема об устойчивости тривиального решения
Параметрические колебания. Уравнение Матье. Диаграмма Айнса-Стретта. Влияние вертикальной вибрации точки подвеса на устойчивость положений равновесия маятника. Моделирование начального этапа раскачивания качелей
Список источников
Андронов А.А., Витт А.А., Хайкин С.Э. Теория колебаний. М.: Физматлит, 1959.
Бибиков Ю.Н. Курс обыкновенных дифференциальных уравнений. М.: Высш. шк., 1991.
Булгаков Б.В. Колебания. М.: Гостехиздат, 1954.
Влахова А.В., Мартыненко Ю.Г., Новожилов И.В. Колебания и фракционный анализ. Учебно-методическое пособие. М.–Ижевск: Институт компьютерных исследований, 2020.
Демидович Б.П. Лекции по математической теории устойчивости. М.: Изд-во МГУ, 1998.
Журавлев В.Ф., Климов Д.М. Прикладные методы в теории колебаний. М.: Наука, 1988.
Кузнецов С.П. Динамический хаос. М.: Физматлит, 2001.
Шильников Л.П., Шильников А.Л., Тураев Д.В., Чуа Л. Методы качественной теории в нелинейной динамике. Ч. 1. М.-Ижевск: ИКИ, 2004. Ч. 2. М.-Ижевск: ИКИ, НИЦ «Регулярная и хаотическая динамика», 2009.
День недели
пятница
Время
15:00-16:35
Аудитория
1613
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Динамика систем связанных тел и гироскопов 1

Название спецкурса на английском языке
Dynamics of connected bodies and gyroscopes 1
Авторы курса
Тихомиров Владимир Викторович
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра прикладной механики и управления]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2026/27
Список тем
Модифицированные уравнения Эйлера.
Прецессионные уравнения гироскопа в кардановом подвесе.
Карданов подвес ротора гироскопа. Кинематика карданова подвеса.
Уравнения движения твердого тела с неподвижной точкой.
Введение невращающейся системы координат.
Методы кинетостатики в динамике систем связанных тел.
Прецессионные уравнения движения гироскопа в кардановом подвесе.
Частные случаи движения гироскопа в кардановом подвесе.
Задача о гироскопе, ориентируемом на Полярную звезду.
Чувствительные элементы систем управления для определения вертикали на подвижном объекте. Гиромаятник.
Уравнения движения гиромаятника на неподвижном и подвижном основании.
Влияние вязкого и сухого трения на движение гиромаятника.
Наземный гироскопический компас.
Определение углов ориентации самолета с использованием астатического гироскопа
Список источников
Ишлинский А.Ю., Борзов В.И., Степаненко Н.П. Лекции по теории гироскопов.1983
Ишлинский А.Ю., Борзов В.И., Степаненко Н.П. Тихомиров В.В. Лекции
по теории гироскопов. Издание второе, дополненное. 2013
Тихомиров В.В. Динамика систем связанных тел. Дополнительные лекции. 2018
День недели
понедельник
Время
15:00-16:35
Аудитория
1613
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.