Рекомендуемая литература
Материал из Вики ИТ мехмата ЮФУ
Содержание
- 1 Литература
- 1.1 Алгебра и геометрия
- 1.2 Алгебраическая теория помехоустойчивого кодирования
- 1.3 Базы данных
- 1.4 Компьютерные сети
- 1.5 Лямбда-исчисление
- 1.6 Математическая логика и теория алгоритмов
- 1.7 Методы построения компиляторов
- 1.8 Неклассические логики
- 1.9 Общая алгебра
- 1.10 Операционные системы
- 1.11 Основы дискретной математики
- 1.12 Распределённые системы
- 1.13 Теория автоматов и формальных языков
- 1.14 Теория вероятностей и математическая статистика
- 1.15 Теория языков программирования
- 1.16 Цифровая обработка сигналов
- 1.17 Языки программирования
- 2 Ссылки
Литература
Алгебра и геометрия
- Ильин В. А., Позняк Э.Г. Линейная алгебра. — 6-е изд. — М.: Физматлит, 2004. — 280 с. — (Серия «Курс высшей математики и математической физики»).
- Ильин В. А., Позняк Э.Г. Аналитическая геометрия. — 6-е изд. — М.: Физматлит, 2002. — 240 с. — (Серия «Курс высшей математики и математической физики»).
- Курош А.Г. Курс высшей алгебры. — 12-е изд. — СПб.: Лань, 2003. — 432 с. — (Серия «Учебники для вузов. Специальная литература»).
Алгебраическая теория помехоустойчивого кодирования
- Мак-Вильямс Ф. Дж., Слоэн Н. Дж. А. Теория кодов, исправляющих ошибки. — М.: Связь, 1979. — 744 с.
- Берлекэмп Э. Алгебраическая теория кодирования. — М.: Мир, 1971. — 478 с.
- Касами Т., Токура Н., Ивадари Ё., Инагаки Я. Теория кодирования. — М.: Мир, 1978. — 576 с.
Базы данных
- Гарсиа-Молина Г., Ульман Дж., Уидом Дж. Системы баз данных. Полный курс. — М.: Издательский дом «Вильямс», 2004. — 1088 с.
- Дейт К. Введение в системы баз данных. — 7-е изд. — М.: Издательский дом «Вильямс», 2000. — 848 с.
Компьютерные сети
- Таненбаум Э. Компьютерные сети. — 4-е изд. — СПб.: Питер, 2009. — 992 с. — (Серия «Классика computer science»).
- Куроуз Дж., Росс К. Компьютерные сети. Многоуровневая архитектура Интернета.. — 2-е изд. — СПб.: Питер, 2004. — 768 с.
- В. Г. Олифер, Н. А. Олифер Компьютерные сети. Принципы, технологии, протоколы.. — 3-е изд. — СПб.: Питер, 2006. — 958 с.
Лямбда-исчисление
- Барендрегт Х. Лямбда-исчисление. Его синтаксис и семантика. — М.: Мир, 1985.
- Barendregt H. Lambda Calculi with Types (in Handbook of Logic in Computer Science, Vol. 2). — Oxford: Clarendon Press, 1992.
- Hindley J. R., Seldin Jon. P. Lambda-calculus and Combinators. — Cambridge: CUP, 2008.
Математическая логика и теория алгоритмов
- Ершов Ю.Л., Палютин Е.А. Математическая логика: Учеб. пособие для вузов. — 2-е изд. — М.: Наука, 1987. — 336 с.
- Игошин В.И. Математическая логика и теория алгоритмов. — 3-е изд. — М.: Академия, 2008. — 448 с.
Методы построения компиляторов
- Ахо А., Сети Р., Ульман Д. Компиляторы. Принципы, технологии, инструменты. — М.: Вильямс, 2001.
- Карпов Ю. Г. Основы построения трансляторов. — М.: BHV, 2005.
- Свердлов С. З. Языки программирования и методы трансляции. — М.: Питер, 2007.
- Опалева Э. А., Самойленко В.П. Языки программирования и методы трансляции. — М.: BHV, 2005.
Неклассические логики
- Карпенко А.С. Многозначные логики. — ?, ?.
- Воронин В.П., Поспелов А.Д. Дополнительные главы дискретной математики. — Радио и связь, 2002.
- Кофман А. Введение в теорию нечётких множеств. — М.: Радио и связь, 1982. — 432 с.
Общая алгебра
- Ван дер Варден Б.Л. Алгебра. — 2-е изд. — М.: Наука, 1979. — 624 с.
- Кострикин А.И. Введение в алгебру. В 3 т. Т. 3. Основные структуры алгебры. — М.: Физматлит, 2001. — 272 с.
- Ленг С. Алгебра. — М.: Мир, 1968. — 564 с.
Операционные системы
- Таненбаум Э. Современные операционные системы. — 2-е изд. — СПб.: Питер, 2007. — 1038 с. — (Серия «Классика computer science»).
- Столлингс В. Операционные системы. — 4-е изд. — М.: Вильямс, 2004. — 848 с.
- Бовет Д., Чезати М. Ядро Linux. — 3-е изд. — СПб.: БХВ-Петербург, 2007. — 1104 с.
Основы дискретной математики
- Ерусалимский Я.М. Дискретная математика: Теория, задачи, приложения. — 3-е изд. — М.: Вузовская книга, 2000. — 280 с.
- Новиков Ф.А. Дискретная математика для программистов. — СПб.: Питер, 2000. — 304 с.
- Яблонский С.В. Введение в дискретную математику. — 4-е изд. — М.: Высшая школа, 2003. — 384 с.
Распределённые системы
- Таненбаум Э., ван Стеен М. Распределённые системы. Принципы и парадигмы. — СПб.: Питер, 2003. — 877 с. — (Серия «Классика computer science»).
- Coulouris G. et al. Distributed Systems: Concepts and Design. — 3 ed. — Pearson Education Limited, 2001. — 788 p.
Теория автоматов и формальных языков
- Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений. — 2-е изд. — М.: Вильямс, 2002. — 528 с.
- Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. В 2 т. Т. 1. Синтаксический анализ. — М.: Мир, 1998. — 612 с.
- Белоусов А.И., Ткачев С.Б. Дискретная математика: Учеб. для вузов. — 3-е изд. — М.: МГТУ им. Н.Э. Баумана, 2004. — 744 с. — (Серия «Математика в техническом университете; Вып. XIX»).
- Деундяк В.М. Элементы теории формальных языков: Учеб. пособие. — Ростов н/Д: ДГТУ, 1997.
Теория вероятностей и математическая статистика
- Гмурман В. Е. Теория вероятностей и математическая статистика. — 4-е изд. — М.: Высшая школа, 1972.
- Гнеденко Б. В Курс теории вероятностей. — М.: Наука, 1988.
- Кожевников Ю. В. Теория вероятностей и математическая статистика. — М.: Машиностроение, 2002.
- Луценко А. И. Теория вероятностей. — Ростов н/Д: Феникс, 2009.
Теория языков программирования
- Митчелл Дж. Основания языков программирования. — М.—Ижевск: РХД, 2010.
- Reynolds J. C. Theories of Programming Languages. — Cambridge: CUP, 1998.
- Bruce K. B. Foundations of object-oriented languages. Types and semantics. — MIT, 2002.
- Pierce B. Types and Programming Languages. — MIT, 2002.
Цифровая обработка сигналов
- Сергиенко А. Б. Цифровая обработка сигналов. — СПб.: Питер, 2002.
- Рабинер Л., Гоулд Б. Теория и применение цифровой обработки сигналов. — Мир, 1978. — 848 с.
- А. Оппенгейм, Р. Шафер Цифровая обработка сигналов. — 2-е изд. — Техносфера, 2006. — 856 с.
- Марпл-мл.С.Л. Цифровой спектральный анализ и его приложения. — Москва: Мир, 1990. — 547 с.
- А.И. Солонина, Д.А. Улахович, С.М. Арбузов, Е.Б. Соловьёва Основы цифровой обработки сигналов. — 2-е изд. — СПб.: BHV-Петербург, 2005. — 768 с.
Языки программирования
- Хорстманн К.С., Корнелл Г. Java 2. Библиотека профессионала. В 2 т. Т. 1. Основы. — 8-е изд. — М.: Вильямс, 2008. — 816 с.
- Хорстманн К.С., Корнелл Г. Java 2. Библиотека профессионала. В 2 т. Т. 2. Тонкости программирования. — 8-е изд. — М.: Вильямс, 2008. — 992 с.
- Липпман С.Б., Лажойе Ж., Му Б.Э. Язык программирования C++. Вводный курс. — 4-е изд. — M.: Вильямс, 2007. — 896 с.
- Саттер Г., Александреску А. Стандарты программирования на C++. — M.: Вильямс, 2005. — 224 с.
- Мейерс С. Эффективное использование C++. — 3-е изд. — M.: ДМК Пресс, 2006. — 300 с.