1. Этапы процесса разработки
программы
• постановка задачи;
• выбор или разработка алгоритма
решения задачи;
• кодирование алгоритма
(программирование);
• программы.

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

3. Задачами преподавания
дисциплины являются изучение:
• классов задач;
• существующих алгоритмов;
• методов конструирования новых
алгоритмов;
• методов доказательства свойств
алгоритмов;
• методов анализа свойств алгоритмов,
моделей вычислений;
• структур данных;
• методов теории трансляции.

4. Основные разделы
•
•
•
•
•
•
•
Обзор методов доказательств
Основы анализа алгоритмов
Основные алгоритмические стратегии
Основные структуры данных
Алгоритмы на графах и деревьях
Теория автоматов
Введение в теорию трансляции

5. Литература
1. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ
вычислительных алгоритмов: Пер с англ. – М.: Мир, 1979.
– 536 с.
2. Ахо А., Ульман Дж. Теория синтаксического анализа,
перевода и компиляции. В двух томах. Том 1.
Синтаксический анализ. Пер. с англ. – М.: Мир, 1978. –
615 с.
3. Ахо А., Ульман Дж. Теория синтаксического анализа,
перевода и компиляции. В двух томах. Том 2. Компиляция.
Пер. с англ. – М.: Мир, 1978. – 488 с.
4. Кормен, Томас X., Лейзерсон, Чарльз И., Ривест, Рональд
Л., Штайн, Клиффорд. Алгоритмы: построение и анализ,
2-е издание.: Пер. с англ. – М.: Издательский дом
«Вильяме», 2005. — 1296 с.: ил.
5. Кузнецов О.П., Андельсон-Вельский Г.М. Дискретная
математика для инженера. – М.: Энергия, 1980. – 344 с.,
ил.
6. Лавров С.С. Программирование. Математические основы,
средства, теория. – СПб.: БХВ-Петербург, 2001. – 320 с.:
ил.

6. 8. Макконнелл Дж. Основы современных алгоритмов. 2-е
дополненное издание. – Москва: Техносфера, 2004. – 368
с.
9. Фундаментальные алгоритмы на C++. Анализ/Структуры
данных/Сортировка/Поиск: Пер. с англ./Роберт Седжвик. –
К.: Издательство «ДиаСофт», 2001. – 688 с.
10. Фундаментальные алгоритмы на C++. Алгоритмы на
графах: Пер. с англ./Роберт Седжвик. – СПб.: ООО
«ДиаСофтЮП», 2002. – 496 с.
11. Шень А. Программирование: теоремы и задачи. – 2-е
изд., испр. И доп. – М.: МЦНМО, 2004. – 296 с.: ил.
12. Алагич С., Арбиб М. Проектирование корректных
структурированных программ: Пер. с англ. – М.: Радио и
связь, 1984. – 264 с., ил.
13. Андерсон Р. Доказательство правильности программ:
Пер. с англ. – М.: Мир, 1982. – 168 с., ил.
14. Новиков Ф.А. Дискретная математика для
программистов: Учебник для вузов. 3-е изд. – СПб.: Питер,
2008. – 384 с.: ил.

7. 8. Макконнелл Дж. Основы современных алгоритмов. 2-е
дополненное издание. – Москва: Техносфера, 2004. – 368
с.
9. Фундаментальные алгоритмы на C++. Анализ/Структуры
данных/Сортировка/Поиск: Пер. с англ./Роберт Седжвик. –
К.: Издательство «ДиаСофт», 2001. – 688 с.
10. Фундаментальные алгоритмы на C++. Алгоритмы на
графах: Пер. с англ./Роберт Седжвик. – СПб.: ООО
«ДиаСофтЮП», 2002. – 496 с.
11. Шень А. Программирование: теоремы и задачи. – 2-е
изд., испр. И доп. – М.: МЦНМО, 2004. – 296 с.: ил.
12. Алагич С., Арбиб М. Проектирование корректных
структурированных программ: Пер. с англ. – М.: Радио и
связь, 1984. – 264 с., ил.
13. Андерсон Р. Доказательство правильности программ:
Пер. с англ. – М.: Мир, 1982. – 168 с., ил.
14. Новиков Ф.А. Дискретная математика для
программистов: Учебник для вузов. 3-е изд. – СПб.: Питер,
2008. – 384 с.: ил.