Компьютерное моделирование логических процессов
Название спецкурса на английском языке
Computer modeling of logical processes
Пререквизиты
Отсутствуют
Целевая аудитория
1-2 курс
3-6 курс, магистранты
Подразделение
[Кафедра МаТИС]
Семестр
Весна
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2025/26
Список тем
Логический язык решателя задач
Представление задач в решателе
Общая схема функционирования решателя
Алгоритмический язык ЛОС
Редактор приемов ГЕНОЛОГа
Представление задач в решателе
Общая схема функционирования решателя
Алгоритмический язык ЛОС
Редактор приемов ГЕНОЛОГа
Список источников
http://intsys.msu.ru/staff/podkolzin/tom1.pdf
А. С. Подколзин, “Система автоматического решения задач по элементарной алгебре”, Дискрет. матем., 6:4 (1994), 35–57; Discrete Math. Appl., 4:6 (1994), 561–578
А. С. Подколзин, “Система автоматического решения задач по элементарной алгебре”, Дискрет. матем., 6:4 (1994), 35–57; Discrete Math. Appl., 4:6 (1994), 561–578
День недели
понедельник
Время
18:30-20:05
Аудитория
Ещё не назначена
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.
Полнота и выразимость в классах линейных автоматов
Название спецкурса на английском языке
Completeness and expressibility in classes of linear automata
Пререквизиты
Курс дискретной математики, читаемый на 1-м курсе, курс высшей алгебры, читаемый на 1-м и 2-м курсах, спецкурс "Линейные автоматы", читаемый в осеннем семестре.
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра МаТИС]
Семестр
Весна
Тип спецкурса
Спецкурс по выбору студента
Учебный год
2025/26
Список тем
Предполные классы в классах линейных автоматов над конечным полем с операциями композиции.
Выразимость в классе линейных автоматов над полем из двух элементов с операциями композиции через множества, содержащие сумматор.
Аппроксимационная выразимость в классе линейных автоматов над полем из двух элементов с операциями композиции.
Предполные классы в классе линейных автоматов над полем из двух элементов с операциями суперпозиции.
Выразимость в классе линейных автоматов над полем из двух элементов с операциями композиции через множества, содержащие сумматор.
Аппроксимационная выразимость в классе линейных автоматов над полем из двух элементов с операциями композиции.
Предполные классы в классе линейных автоматов над полем из двух элементов с операциями суперпозиции.
Список источников
Гилл А. Линейные последовательные машины, М. : Наука, 1974, 287 с.
Часовских А. А. Проблема полноты для класса линейно-автоматных функций // Дискретная математика. – 2015.– Т. 27, № 2.– С. 134—151; Discrete Math. Appl., 26:2 (2016), 89 – 104.
Часовских А. А. Максимальные подклассы в классах линейных автоматов над конечными полями // Дискретная математика. – 2019.– Т. 31, № 4.– С. 88—101; Discrete Math. Appl., 30:6 (2020), 365 – 374.
Часовских А. А. Замкнутые классы линейно-автоматных функций // Математические вопросы кибернетики. – 2004.– Вып. 13.– С. 113 –136. (https://library.keldysh.ru/mvk.asp?id=2004-113)
Часовских А. А. Линейно-автоматные функции с операциями суперпозиции // Нейрокомпьютеры: разработка, применение. – 2013.– № 8.– С. 3 –13.
Часовских А. А. Проблема полноты для класса линейно-автоматных функций // Дискретная математика. – 2015.– Т. 27, № 2.– С. 134—151; Discrete Math. Appl., 26:2 (2016), 89 – 104.
Часовских А. А. Максимальные подклассы в классах линейных автоматов над конечными полями // Дискретная математика. – 2019.– Т. 31, № 4.– С. 88—101; Discrete Math. Appl., 30:6 (2020), 365 – 374.
Часовских А. А. Замкнутые классы линейно-автоматных функций // Математические вопросы кибернетики. – 2004.– Вып. 13.– С. 113 –136. (https://library.keldysh.ru/mvk.asp?id=2004-113)
Часовских А. А. Линейно-автоматные функции с операциями суперпозиции // Нейрокомпьютеры: разработка, применение. – 2013.– № 8.– С. 3 –13.
Дополнительная информация
Канал в Telegram: t.me/sk_lin_auto
День недели
среда
Время
16:45-18:20
Аудитория
434
Дата первого занятия
Аудитория первого занятия
434
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.
Алгоритмы на графах и синтез больших интегральных схем
Название спецкурса на английском языке
Graph algorithms and design of large integrated circuits
Пререквизиты
"Дискретная математика" за 1-й курс, курс осеннего семестра "Теория графов и синтез больших интегральных схем".
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра МаТИС]
Семестр
Весна
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2025/26
Список тем
Эвристики и сложностные оценки укладок интегральных схем.
Сбалансированные разбиения графов. Приближенные алгоритмы. Потоки в сетях.
Оптимизация логического синтеза на примерах.
Эвристические алгоритмы укладки больших интегральных схем.
Сбалансированные разбиения графов. Приближенные алгоритмы. Потоки в сетях.
Оптимизация логического синтеза на примерах.
Эвристические алгоритмы укладки больших интегральных схем.
Список источников
Емеличев В.А. и др. Лекции по теории графов.
Lengauer Thomas, Combinatorial Algorithms for Integrated Circuit Layout.
Т.Кормен, Ч.Лейзерсон, Р.Ривест Алгоритмы: построение и анализ.
Н. А. Шкаликова О реализации булевых функций схемами из клеточных элементов//Математические вопросы кибернетики, вып. 2.
Lengauer Thomas, Combinatorial Algorithms for Integrated Circuit Layout.
Т.Кормен, Ч.Лейзерсон, Р.Ривест Алгоритмы: построение и анализ.
Н. А. Шкаликова О реализации булевых функций схемами из клеточных элементов//Математические вопросы кибернетики, вып. 2.
Дополнительная информация
Канал в Telegram: https://t.me/+6LiFWjBAnsBmMTc6
День недели
понедельник
Время
16:45-18:20
Аудитория
465
Дата первого занятия
Аудитория первого занятия
465
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.
Математические модели в компьютерной безопасности
Название спецкурса на английском языке
Mathematical models in computer security
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра МаТИС]
Семестр
Весна
Тип спецкурса
Спецкурс по выбору студента
Учебный год
2025/26
Список тем
Стандарты в области информационной безопасности
Уровни и механизмы обеспечения безопасности компьютерных систем
Математические модели безопасности на системном уровне
Скрытые каналы передачи информации. Стеганография.
Выявление и предупреждение вторжений: сигнатурный и статистический подход
Модели защищенных баз данных
Криптографические стандарты и перспективные криптоалгоритмы
Уровни и механизмы обеспечения безопасности компьютерных систем
Математические модели безопасности на системном уровне
Скрытые каналы передачи информации. Стеганография.
Выявление и предупреждение вторжений: сигнатурный и статистический подход
Модели защищенных баз данных
Криптографические стандарты и перспективные криптоалгоритмы
Список источников
Александров Д.Е. Эффективные методы реализации проверки содержания сетевых пакетов регулярными выражениями // Интеллектуальные системы. Теория и приложения, 18(1):37-60, 2014
Галатенко А.В. Активный аудит // JetInfo, 8:3-28, 1999
Галатенко А.В. Об автоматной модели защищенных компьютерных систем // Интеллектуальные системы, 4(3-4):263-270, 1998
Галатенко В.А. Основы информационной безопасности. Интернет-Университет Информационных Технологий, 2006.
Грушо А.А. О существовании скрытых каналов // Дискретная математика, 11(1):24-28, 1999
Грушо А.А. Скрытые каналы и безопасность информации в компьютерных системах // Дискретная математика, 10(1):3-9, 1998
Грушо А.А., Тимонина Е.Е. Теоретические основы защиты информации. ``Яхтсмен'', 1996.
Зензин О.С., Иванов М.А. Стандарт криптографической защиты - AES. Конечные поля. М.: Кудиц-Образ, 2002
Ермохин М.А. Состоятельность долгосрочных профилей в системах выявления вторжений // Интеллектуальные системы. Теория и приложения, 20(3):199-203, 2016
Тимонина Е.Е. Скрытые каналы (обзор) // JetInfo, 14(114):3-11, 2002
Afonin S., Bonushkina A. Validation of Safety-Like Properties for Entity-Based Access Control Policies // Proceedings of the international conference "Advances in Soft and Hard Computing", 2019, 259-271
Daemen J. Cipher and Hash Function Design - Strategies based on linear and differential cryptanalysis. PhD Thesis, 1995
Javitz H.S., Valdes A. The NIDES statistical component: Description and justification // Annual report, Computer Science Laboratory, SRI International, Menlo Park, 1994
Lampson B.W. A Note on the Confinement Problem // Communications of the ACM, 16(10):613-615, 1973
Mohamed E., Belal M.A. Digital watermarking techniques, applications and attacks applied to digital media: A survey // International Journal of Engineering Research and Technology, 1(7):1-8, 2012
Moskowitz I.S., Costich O.L. A classical automata approach to noninterference type problems // Proceedings The Computer Security Foundations Workshop V, Franconia, NH, USA, 1992, pp. 2-8.
Schneier B. Applied cryptography. Protocols, algorithms and source code in C. John Wiley & Sons, 1996
Shcherbacov V.A. Quasigroups in cryptology // Computer Science Journal of Moldova, 17(2):193-228, 2009
Галатенко А.В. Активный аудит // JetInfo, 8:3-28, 1999
Галатенко А.В. Об автоматной модели защищенных компьютерных систем // Интеллектуальные системы, 4(3-4):263-270, 1998
Галатенко В.А. Основы информационной безопасности. Интернет-Университет Информационных Технологий, 2006.
Грушо А.А. О существовании скрытых каналов // Дискретная математика, 11(1):24-28, 1999
Грушо А.А. Скрытые каналы и безопасность информации в компьютерных системах // Дискретная математика, 10(1):3-9, 1998
Грушо А.А., Тимонина Е.Е. Теоретические основы защиты информации. ``Яхтсмен'', 1996.
Зензин О.С., Иванов М.А. Стандарт криптографической защиты - AES. Конечные поля. М.: Кудиц-Образ, 2002
Ермохин М.А. Состоятельность долгосрочных профилей в системах выявления вторжений // Интеллектуальные системы. Теория и приложения, 20(3):199-203, 2016
Тимонина Е.Е. Скрытые каналы (обзор) // JetInfo, 14(114):3-11, 2002
Afonin S., Bonushkina A. Validation of Safety-Like Properties for Entity-Based Access Control Policies // Proceedings of the international conference "Advances in Soft and Hard Computing", 2019, 259-271
Daemen J. Cipher and Hash Function Design - Strategies based on linear and differential cryptanalysis. PhD Thesis, 1995
Javitz H.S., Valdes A. The NIDES statistical component: Description and justification // Annual report, Computer Science Laboratory, SRI International, Menlo Park, 1994
Lampson B.W. A Note on the Confinement Problem // Communications of the ACM, 16(10):613-615, 1973
Mohamed E., Belal M.A. Digital watermarking techniques, applications and attacks applied to digital media: A survey // International Journal of Engineering Research and Technology, 1(7):1-8, 2012
Moskowitz I.S., Costich O.L. A classical automata approach to noninterference type problems // Proceedings The Computer Security Foundations Workshop V, Franconia, NH, USA, 1992, pp. 2-8.
Schneier B. Applied cryptography. Protocols, algorithms and source code in C. John Wiley & Sons, 1996
Shcherbacov V.A. Quasigroups in cryptology // Computer Science Journal of Moldova, 17(2):193-228, 2009
День недели
понедельник
Время
18:30-20:05
Аудитория
410
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.
Генеративный искусственный интеллект
Название спецкурса на английском языке
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
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).
Модель МакКаллока-Питтса. Нейронный базис, нейронные схемы. Понятие кусочно-линейных, кусочно-постоянных и кусочно-параллельных функций в действительном многомерном пространстве.
Теорема о выразимости нейронных схем. Понятие эквивалентности. Следствие о существовании нейронной схемы нелинейной глубины не более двух.
Теорема о существовании нейронных функций не представимых нейронными схемами нелинейной глубины один. Критерий однослойности нейронных схем.
Задача проверки полноты в пространстве кусочно-параллельных функций.
Теорема о нелинейной сложности нейронных схем без памяти.
Персептрон. Строгая линейная отделимость. Алгоритм Розенблатта. Теорема Новикова.
Алгоритмы обучения (алгоритм обратного распространения ошибки и его вариации), выбор гиперпараметров. Функции потерь.
Разнообразие архитектур нейронных сетей. Свёрточные нейронные сети. Базовые слои и принципы построения сети.
Сложности процедуры обучения нейронных сетей. Затухающие градиенты, градиентный взрыв, переобучение. Регуляризация, слой 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
Гудфеллоу Я., Бенджио И. «Глубокое обучение», ДМК Пресс, 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-адические числа и коды Гензеля
Многочлены и рациональные функции
Полиномиальная арифметика
Алгоритмы вычисления НОД в кольцах многочленов над кольцом целых чисел и над произвольным полем
Факторизация многочленов
Алгоритм Берлекэмпа
Гензелев подъём
Уравнения, идеалы, многообразия
Определение базисов Грёбнера
Алгоритмы построения базисов Грёбнера
Задача представления данных для числовых областей
Наибольший общий делитель в кольце целых чисел
Дискретное логарифмирование в конечных полях
Проверка чисел на простоту. Кармайкловы числа
Вероятностные тесты на простоту
Факторизация больших чисел
p-адические числа и коды Гензеля
Многочлены и рациональные функции
Полиномиальная арифметика
Алгоритмы вычисления НОД в кольцах многочленов над кольцом целых чисел и над произвольным полем
Факторизация многочленов
Алгоритм Берлекэмпа
Гензелев подъём
Уравнения, идеалы, многообразия
Определение базисов Грёбнера
Алгоритмы построения базисов Грёбнера
Список источников
Панкратьев Е.В. Элементы компьютерной алгебры. - М.: БИНОМ. Лаборатория знаний, 2007. – 248 c.
Абрамов С.А. Лекции о сложности алгоритмов. – М.: Издательство МЦНМО, 2009. – 254 c.
Н. Коблиц, Курс теории чисел и криптографии. – М.: ТВП, 2001. – 262 c.
Т. Кормен, Ч. Лейзерсон, Р. Ривест, «Алгоритмы: построение и анализ» (MIT Press, Massachusets, 1990; МЦНМО, Москва, 2000).
Д. Кнут, "Искусство программирования" в 3х тт. (Addison-Wesley Longman Inc., Reading, 1998; Вильямс, Москва, 2000-2001)
Абрамов С.А. Лекции о сложности алгоритмов. – М.: Издательство МЦНМО, 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
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.