Системное и программное обеспечение

	Жизненный цикл программного обеспечения. Планирование жизненного цикла и управление качеством программного обеспечения.
	Коммуникация процессов: синхронизация, взаимное исключение, блокировка. Критические секции. Семафоры.

Литература

	Боэм Б.У. Инженерное проектирование программного обеспечения: Пер. с англ.- М.: Радио и связь. 1985.- 512 с., ил.
	Липаев В.В. Системное проектирование сложных программных средств для информационных систем. Серия «Информатизация России на пороге XXI века».-M: СИНТЕГ,1999, 224 с.
	Сетевые операционные системы/ В.Г. Олифер, Н.А. Олифер.‑ СПб.: Питер, 2001.‑ 544 с., ил.
	Лорин Г., Дейтл Х.М. Операционные системы/ Пер. с англ.; М.:‑ Финансы и статистика, 1984.‑ 1984.‑ 392 с.

Информатика

	Управляющие структуры процедурных языков программирования.
	Типы данных в языке Паскаль: массивовый, комбинированный, множественный, файловый.
	Абстрактные структуры данных и их реализация на языках высокого уровня: стеки и очереди.
	Абстрактные структуры данных и их реализация на языках высокого уровня: деревья и графы.

Литература:

	Н. Вирт. Алгоритмы + структуры данных = программы. М: «Мир», 1985.
	Д. Грис. Наука программирования. М: «Мир», 1984.

Языки программирования.

	Атрибутные транслирующие грамматики.
	Отложенные вычисления в языках программирования.

Литература:

	Ф. Льюис и др. Теоретические основы проектирования компиляторов. М.: «Мир», 1979.
	О.П. Кузнецов, Г.М. Адельсон-Вельский. Дискретная математика для инженера. М.: Энергоиздат», 1988.

Методы оптимизации

	Теорема отделимости для двух непересекающихся выпуклых множеств.
	Теорема Куна-Такера для основной задачи выпуклого программирования.
	Алгоритм решения канонической задачи линейного программирования симплекс-методом.

Литература:

	Ф.П. Васильев. Численные методы решения экстремальных задач. М. – 1980.
	С.И. Дудов, А.П. Хромов. Методы оптимизации. Ч.1. Линейное программирование. Изд-во Сарат. ун-та. – 2002.
	Н.И. Кабанов. Элементарное введение в вариационное исчисление. Изд-во Сарат. ун-та. – 1978.

Дискретная математика

	Планарный и плоский графы. Формула Эйлера для плоских графов. Гомеоморфизм графов. Критерий планарности графов.
	Разложение функции алгебры логики по переменным. СДНФ, СКНФ. Полином Жегалкина.
	Проблема кодирования. Однозначность декодирования. Коды Хемминга.

Литература:

	Яблонский С.В. Введение в дискретную математику. Наука. М., 1988 г.
	Матросов В.Л., Стеценко В.А. Лекции по дискретной математике. МПГУ, Москва, 1997.
	Нефедов В.Н., Осипова В.А. Курс дискретной математики. Изд-во МАИ, Москва, 1992.
	Новиков Ф.А. Дискретная математика для программистов. Санкт-Петербург, 2000.