• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
vision Версия для слабовидящих
Расширенный поиск по сайту
Меню
Учебные курсы
ФКН
Высшая школа экономики
vision Версия для слабовидящих
Расширенный поиск по сайту
Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)
Департамент программной инженерии
Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)
Контакты

Адрес: 109028, г. Москва, Покровский бульвар, д. 11

Телефон: +7(495) 772-95-90*27297

Руководство
Аветисян Арутюн Ишханович
Заведующий кафедрой – Аветисян Арутюн Ишханович
Гринкруг Ефим Михайлович
Заместитель заведующего кафедрой – Гринкруг Ефим Михайлович
О кафедре

Кафедра создана в 2015 году в структуре департамента программной инженерии на базе Института cистемного программирования им. В.П. Иванникова РАН (ИСП РАН).

Системное программирование – это основа программной инженерии (науки о производстве программ). Специализация кафедры охватывает ряд важнейших направлений: операционные системы, компиляторные технологии, технологии и инструменты разработки программ, системная интеграция и прикладные программные комплексы и др.

Публикации
Книга
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья
Equivalence checking and intersection of deterministic timed finite state machines

Bresolin D., El-Fakih K., Villa T. et al.

Formal Methods in System Design. 2022.

Глава в книге
City and building information modelling using IFC standard

Shutkin V., Morozkin N., Zolotov V. et al.

In bk.: ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction. CRC Press, 2021. P. 406-413.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

Все публикации

Алгоритмы и структуры данных

2023/2024
Учебный год
RUS
Обучение ведется на русском языке
4
Кредиты
Кто читает:
Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)
Статус:
Курс по выбору
Когда читается:
2-й курс, 1, 2 модуль

Преподаватели

Мамай Игорь Борисович

Мамай Игорь Борисович

Серянин Александр Константинович

Серянин Александр Константинович

Программа дисциплины

Полная версия программы учебной дисциплины

Аннотация

Учебный курс «Алгоритмы и структуры данных» предлагается студентам бакалавриата по направлению «Программная инженерия» на факультете компьютерных наук НИУ ВШЭ. Курс относится к обязательным предметам. В рамках данного курса студенты изучат основные алгоритмы сортировок, теории графов и комбинаторики, теории кодирования и сжатия, динамическое программирование. В курсе студент освоит основные структуры данных и алгоритмы, которые послужат фундаментом для всех дальнейших знаний в области компьютерных наук и программной инженерии.
Цель освоения дисциплины

Цель освоения дисциплины

  • Дисциплина формирует понимание устройства основных алгоритмов и структур данных, необходимое при разработке программного обеспечения. Дает навыки правильного выбора подходящих по различным параметрам структур данных при работе в промышленном программировании.
Планируемые результаты обучения

Планируемые результаты обучения

  • Знание основных структур данных.
  • Умение оценивать асимптотику работы
  • Умение подбирать подходящий алгоритм или структуру данных под конкретную задачу
  • Умение реализовывать на языке C++ изученные алгоритмы и структуры данных.
  • Умение проводить сравнительный анализ различных алгоритмов, решающих одинаковую задачу, в зависимости от размера и структуры входных данных.
Содержание учебной дисциплины

Содержание учебной дисциплины

  • Введение
  • Концепция абстрактной структуры данных
  • Асимптотический анализ алгоритма. Подходы к проектированию алгоритмов-1
  • Разделяй и властвуй-2
  • Детерминированные vs стохастические алгоритмы
  • Нелинейные алгоритмы сортировки
  • Линейные алгоритмы сортировки
  • Бинарные деревья-1
  • Бинарные деревья-2
  • Бинарные деревья-3
  • Бинарные деревья-4
  • Система непересекающихся множеств. Отношение эквивалентности между объектами
Элементы контроля

Элементы контроля

  • неблокирующий КДЗ
    Будет дана работа по анализу сортировок. Студентам нужно будет сдать отчет и код на языке C++.
  • неблокирующий Экз
    Экзамен будем устно принимать по билетам
  • неблокирующий Контест
    количество контестов может скорректироваться в зависимости от успеваемости группы
Промежуточная аттестация

Промежуточная аттестация

  • 2023/2024 2nd module
    Накоп = 0.2 * КДЗ + 0.8 * (Среднее всех домашних заданий) Если накоп меньше 4 после округления, то сдается экзамен и итог вычисляется по формуле 0.5 * Экзамен + 0.5 * Накоп. Иначе ставится экзамен автоматом.
Список литературы

Список литературы

Рекомендуемая основная литература

  • Алгоритмы : построение и анализ, 2-е изд., 1290 с., Кормен, Т., Лейзерсон, Ч., Ривест, Р., Штайн, К., 2012
  • Алгоритмы : построение и анализ, пер. с англ., 3-е изд., 1323 с., Кормен, Т., Лейзерсон, Ч., Ривест, Р., Штайн, К., 2018
  • Алгоритмы. Построение и анализ : пер. с англ., Кормен Т., Лейзерсон Ч., 2012
  • Искусство программирования. Т.1: Основные алгоритмы : учеб. пособие: пер. с англ., Кнут Д.Э., Козаченко Ю.В., 2012
  • Искусство программирования. Т.1: Основные алгоритмы, Кнут, Д. Э., 2005
  • Искусство программирования. Т.1: Основные алгоритмы, Кнут, Д. Э., 2011

Рекомендуемая дополнительная литература

  • Алгоритмы : построение и анализ : пер. с англ., Кормен, Т., 2000
  • Искусство программирования. Т. 1: Основные алгоритмы, Кнут, Д., 1976