|
«Практическое введение в формальную верификацию в системе PVS» (для бакалавриата)
Лектор: канд. физ.-мат. наук Корныхин Евгений Валерьевич
«Современные облачные технологии и виртуализация рабочих мест» (для магистратуры)
Лектор: академик, доктор физ.-мат. наук Аветисян Арутюн Ишханович
«Обработка текстов» (для аспирантуры)
Лектор: канд. физ.-мат. наук Турдаков Денис Юрьевич
Весенний семестр 2024/25 года
«Основы анализа программных реализаций» (2-3 курс).
Лекторы: Падарян В. А., н. с. ИСП РАН Макаров А. Н.
«Основы формальной верификации на Coq» (для магистратуры).
Лекторы: Кулямин В. В., Черганов Т. Ю.
«Структура и выполнение функциональных программ» (3-4 курс, кроме кафедры СП).
Лектор: Малышко В. В.
«Введение в визуальное моделирование программного обеспечения» (3-4 курс, кроме 341 и 441 групп).
Лектор: Малышко В. В.
«Функциональное программирование на языке Scheme» (для магистратуры, кроме кафедры СП).
Лектор: Малышко В. В.
«Визуальные нотации программной инженерии» (для магистратуры, кроме 528, 620, 623, 627, 628 групп).
Лектор: Малышко В. В.
Осенний семестр 2024/25 года
«Введение в обработку текстов» (для студентов 3-6 курсов, обучающихся не на кафедре СП)
Лектор: канд. физ.-мат. наук Турдаков Денис Юрьевич
«Математические основы и приложения нейронных сетей» (для магистратуры)
Лектор: канд. физ.-мат. наук Турдаков Денис Юрьевич
Весенний семестр 2023/24 года
«Сетевые технологии и протоколы» (для бакалавриата)
Лектор: Гетьман А. И..
Осенний семестр 2023/24 года
«Архитектура распределённых систем программного обеспечения» (для бакалавриата)
Лектор: с. н. с., доктор техн. наук Карпов Леонид Евгеньевич
Спецкурсы давних семестров
«Дополнительные главы баз данных» (для бакалавриата).
Лектор: проф., д. т. н. Кузнецов Сергей Дмитриевич
«Модель данных SQL» – (для магистратуры).
Лектор: проф., д. т. н. Кузнецов Сергей Дмитриевич
«Автоматизация распараллеливания программ для кластеров» (для магистратуры)
Лекторы: проф., доктор физ.-мат. наук Крюков В. А., Колганов А. С., Катаев Н. А.
«Технология разработки программных продуктов на языке Java» (для бакалавриата)
Лектор: Малахов Д. А.
«Hadoop: Методы обработки больших данных»
Лекторы: проф., доктор физ.-мат. наук Серебряков Владимир Алексеевич , Малахов Д. А.
«Основы программной инженерии» (для аспирантуры)
Лектор: доц., канд. физ.-мат. наук Кулямин В. В.
«Конструирование компиляторов» (для аспирантуры)
Лектор: профессор Гайсарян С. С.
«Тестирование на основе моделей» (для 3-5 курсов)
Лектор: доц., канд. физ.-мат. наук Кулямин В. В.
«Конструирование ядра операционной системы» (для 3-5 курсов).
Лектор: канд. физ.-мат. наук Хорошилов А. В.
«Разработка программного обеспечения, управляемая моделями» (для 4-5 курсов)
Лектор: канд. физ.-мат. наук Малышко В. В.
«Статический анализ и машинно-независимая оптимизация программ» (для 3-5 курсов)
Лектор: доц., кандидат физ.-мат. наук Гайсарян С. С.
«PostgreSQL: промышленная разработка баз данных» (для 4-5 курсов)
Лектор: Самохвалов Н. А.
«Разработка приложений хранения и обработки данных» (для 3-5 курсов)
Лектор: канд. физ.-мат. наук Гринев М. Н.
«Устройство компилятора GCC» (для 4-5 курсов)
Лектор: мл. н. с. Белеванцев А. А.
«Моделирование бизнес-процессов» (для 3-5 курсов)
Лектор: доц., канд. техн. наук Вендров А. М.
«Управление проектами создания программного обеспечения» (для 3-5 курсов)
Лектор: доц., канд. техн. наук Вендров А. М.
«Методы управления транзакциями в современных СУБД» (для 3-5 курсов)
Лектор: мл. н. с. Плешачков Петр Олегович
«Введение в анализ и оптимизацию программ» (для 3-5 курсов)
Лектор: канд. физ.-мат. наук Чернов А. В.
«Технологии программирования. Компонентный подход» (для 3-5 курсов)
Лектор: доц., канд. физ.-мат. наук Кулямин В. В.
«Функциональные и логические методы обработки слабоструктурированной информации»
Лектор: Лизоркин Д. А.
«Технологии управления XML-данными» – полугодовой.
Лектор: мл. н. с. Плешачков Петр Олегович
«Хранение данных и выполнение запросов в современных СУБД» (для 4-5 курсов)
Лектор: канд. физ.-мат. наук Фомичев Андрей Владимирович
|
