Рекомендуемая литература — различия между версиями
Материал из Вики ИТ мехмата ЮФУ
Ulysses (обсуждение | вклад) (+ теория языков программирования & лямбда-исчисление) |
Juliet (обсуждение | вклад) (→Компьютерные сети) |
||
Строка 92: | Строка 92: | ||
# {{Книга | # {{Книга | ||
|автор=Куроуз Дж., Росс К. | |автор=Куроуз Дж., Росс К. | ||
− | |заглавие=Компьютерные сети | + | |заглавие=Компьютерные сети. Многоуровневая архитектура Интернета. |
|издание=2 | |издание=2 | ||
|место=СПб. | |место=СПб. |
Версия 21:51, 15 февраля 2011
Содержание
- 1 Алгебра и геометрия
- 2 Алгебраическая теория помехоустойчивого кодирования
- 3 Базы данных
- 4 Компьютерные сети
- 5 Лямбда-исчисление
- 6 Математическая логика и теория алгоритмов
- 7 Методы построения компиляторов
- 8 Неклассические логики
- 9 Общая алгебра
- 10 Операционные системы
- 11 Основы дискретной математики
- 12 Распределённые системы
- 13 Теория автоматов и формальных языков
- 14 Теория вероятностей и математическая статистика
- 15 Теория языков программирования
- 16 Языки программирования
Алгебра и геометрия
- Ильин В. А., Позняк Э.Г. Линейная алгебра. — 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 с.
Лямбда-исчисление
- Барендрегт Х. Лямбда-исчисление. Его синтаксис и семантика. — М.: Мир, 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.
Языки программирования
- Хорстманн К.С., Корнелл Г. 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 с.