Joint Department with the RAS Institute for System Programming

Regular version of the site

Publications

Book

ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Edited by: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Article

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.

Book chapter

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.

Working paper

Preventive Model-based Verification and Repairing for SDN Requests

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

arxiv.org. Computer Science. Cornell University, 2020

All publications

Delivered by:: Joint Department with the RAS Institute for System Programming

Type:: Elective course

When:: 2 year, 1, 2 module

Instructors

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

Serianin, Aleksandr

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

Аннотация

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

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

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

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

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

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

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

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

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

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

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

Contacts

Algorithms and Data Structures

Instructors

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

Аннотация

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

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

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

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

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

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

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

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