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

Алгебра и геометрия

1. Ильин В. А., Позняк Э.Г. Линейная алгебра. — 6-е изд. — М.: Физматлит, 2004. — 280 с. — (Серия «Курс высшей математики и математической физики»).
2. Ильин В. А., Позняк Э.Г. Аналитическая геометрия. — 6-е изд. — М.: Физматлит, 2002. — 240 с. — (Серия «Курс высшей математики и математической физики»).
3. Курош А.Г. Курс высшей алгебры. — 12-е изд. — СПб.: Лань, 2003. — 432 с. — (Серия «Учебники для вузов. Специальная литература»).

---

Алгебраическая теория помехоустойчивого кодирования

1. Мак-Вильямс Ф. Дж., Слоэн Н. Дж. А. Теория кодов, исправляющих ошибки. — М.: Связь, 1979. — 744 с.
2. Берлекэмп Э. Алгебраическая теория кодирования. — М.: Мир, 1971. — 478 с.
3. Касами Т., Токура Н., Ивадари Ё., Инагаки Я. Теория кодирования. — М.: Мир, 1978. — 576 с.

---

Базы данных

1. Гарсиа-Молина Г., Ульман Дж., Уидом Дж. Системы баз данных. Полный курс. — М.: Издательский дом «Вильямс», 2004. — 1088 с.
2. Дейт К. Введение в системы баз данных. — 7-е изд. — М.: Издательский дом «Вильямс», 2000. — 848 с.

---

Компьютерные сети

1. Таненбаум Э. Компьютерные сети. — 4-е изд. — СПб.: Питер, 2009. — 992 с. — (Серия «Классика computer science»).
2. Куроуз Дж., Росс К. Компьютерные сети. Многоуровневая архитектура Интернета.. — 2-е изд. — СПб.: Питер, 2004. — 768 с.
3. В. Г. Олифер, Н. А. Олифер Компьютерные сети. Принципы, технологии, протоколы.. — 3-е изд. — СПб.: Питер, 2006. — 958 с.

---

Лямбда-исчисление

1. Барендрегт Х. Лямбда-исчисление. Его синтаксис и семантика. — М.: Мир, 1985.
2. Barendregt H. Lambda Calculi with Types (in Handbook of Logic in Computer Science, Vol. 2). — Oxford: Clarendon Press, 1992.
3. Hindley J. R., Seldin Jon. P. Lambda-calculus and Combinators. — Cambridge: CUP, 2008.

---

Математическая логика и теория алгоритмов

1. Ершов Ю.Л., Палютин Е.А. Математическая логика: Учеб. пособие для вузов. — 2-е изд. — М.: Наука, 1987. — 336 с.
2. Игошин В.И. Математическая логика и теория алгоритмов. — 3-е изд. — М.: Академия, 2008. — 448 с.

---

Методы построения компиляторов

1. Ахо А., Сети Р., Ульман Д. Компиляторы. Принципы, технологии, инструменты. — М.: Вильямс, 2001.
2. Карпов Ю. Г. Основы построения трансляторов. — М.: BHV, 2005.
3. Свердлов С. З. Языки программирования и методы трансляции. — М.: Питер, 2007.
4. Опалева Э. А., Самойленко В.П. Языки программирования и методы трансляции. — М.: BHV, 2005.

---

Неклассические логики

1. Карпенко А.С. Многозначные логики. — ?, ?.
2. Воронин В.П., Поспелов А.Д. Дополнительные главы дискретной математики. — Радио и связь, 2002.
3. Кофман А. Введение в теорию нечётких множеств. — М.: Радио и связь, 1982. — 432 с.

---

Общая алгебра

1. Ван дер Варден Б.Л. Алгебра. — 2-е изд. — М.: Наука, 1979. — 624 с.
2. Кострикин А.И. Введение в алгебру. В 3 т. Т. 3. Основные структуры алгебры. — М.: Физматлит, 2001. — 272 с.
3. Ленг С. Алгебра. — М.: Мир, 1968. — 564 с.

---

Операционные системы

1. Таненбаум Э. Современные операционные системы. — 2-е изд. — СПб.: Питер, 2007. — 1038 с. — (Серия «Классика computer science»).
2. Столлингс В. Операционные системы. — 4-е изд. — М.: Вильямс, 2004. — 848 с.
3. Бовет Д., Чезати М. Ядро Linux. — 3-е изд. — СПб.: БХВ-Петербург, 2007. — 1104 с.

---

Основы дискретной математики

1. Ерусалимский Я.М. Дискретная математика: Теория, задачи, приложения. — 3-е изд. — М.: Вузовская книга, 2000. — 280 с.
2. Новиков Ф.А. Дискретная математика для программистов. — СПб.: Питер, 2000. — 304 с.
3. Яблонский С.В. Введение в дискретную математику. — 4-е изд. — М.: Высшая школа, 2003. — 384 с.

---

Распределённые системы

1. Таненбаум Э., ван Стеен М. Распределённые системы. Принципы и парадигмы. — СПб.: Питер, 2003. — 877 с. — (Серия «Классика computer science»).
2. Coulouris G. et al. Distributed Systems: Concepts and Design. — 3 ed. — Pearson Education Limited, 2001. — 788 p.

---

Теория автоматов и формальных языков

1. Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений. — 2-е изд. — М.: Вильямс, 2002. — 528 с.
2. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. В 2 т. Т. 1. Синтаксический анализ. — М.: Мир, 1998. — 612 с.
3. Белоусов А.И., Ткачев С.Б. Дискретная математика: Учеб. для вузов. — 3-е изд. — М.: МГТУ им. Н.Э. Баумана, 2004. — 744 с. — (Серия «Математика в техническом университете; Вып. XIX»).
4. Деундяк В.М. Элементы теории формальных языков: Учеб. пособие. — Ростов н/Д: ДГТУ, 1997.

---

Теория вероятностей и математическая статистика

1. Гмурман В. Е. Теория вероятностей и математическая статистика. — 4-е изд. — М.: Высшая школа, 1972.
2. Гнеденко Б. В Курс теории вероятностей. — М.: Наука, 1988.
3. Кожевников Ю. В. Теория вероятностей и математическая статистика. — М.: Машиностроение, 2002.
4. Луценко А. И. Теория вероятностей. — Ростов н/Д: Феникс, 2009.

---

Теория языков программирования

1. Митчелл Дж. Основания языков программирования. — М.—Ижевск: РХД, 2010.
2. Reynolds J. C. Theories of Programming Languages. — Cambridge: CUP, 1998.
3. Bruce K. B. Foundations of object-oriented languages. Types and semantics. — MIT, 2002.
4. Pierce B. Types and Programming Languages. — MIT, 2002.

---

Цифровая обработка сигналов

1. Сергиенко А. Б. Цифровая обработка сигналов. — СПб.: Питер, 2002.
2. Рабинер Л., Гоулд Б. Теория и применение цифровой обработки сигналов. — Мир, 1978. — 848 с.

---

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

1. Хорстманн К.С., Корнелл Г. Java 2. Библиотека профессионала. В 2 т. Т. 1. Основы. — 8-е изд. — М.: Вильямс, 2008. — 816 с.
2. Хорстманн К.С., Корнелл Г. Java 2. Библиотека профессионала. В 2 т. Т. 2. Тонкости программирования. — 8-е изд. — М.: Вильямс, 2008. — 992 с.
3. Липпман С.Б., Лажойе Ж., Му Б.Э. Язык программирования C++. Вводный курс. — 4-е изд. — M.: Вильямс, 2007. — 896 с.
4. Саттер Г., Александреску А. Стандарты программирования на C++. — M.: Вильямс, 2005. — 224 с.
5. Мейерс С. Эффективное использование C++. — 3-е изд. — M.: ДМК Пресс, 2006. — 300 с.