Рекомендуемая литература — различия между версиями
Материал из Вики ИТ мехмата ЮФУ
Ulysses (обсуждение | вклад) (→Теория автоматов и формальных языков) |
Juliet (обсуждение | вклад) |
||
(не показана 31 промежуточная версия 4 участников) | |||
Строка 1: | Строка 1: | ||
+ | == Литература == | ||
+ | ===Алгебра и геометрия=== | ||
+ | # {{Книга | ||
+ | |автор=Ильин В. А., Позняк Э.Г. | ||
+ | |заглавие=Линейная алгебра | ||
+ | |издание=6 | ||
+ | |место=М. | ||
+ | |издательство=Физматлит | ||
+ | |год=2004 | ||
+ | |количество страниц=280 | ||
+ | |серия=Курс высшей математики и математической физики | ||
+ | }} | ||
+ | # {{Книга | ||
+ | |автор=Ильин В. А., Позняк Э.Г. | ||
+ | |заглавие=Аналитическая геометрия | ||
+ | |издание=6 | ||
+ | |место=М. | ||
+ | |издательство=Физматлит | ||
+ | |год=2002 | ||
+ | |количество страниц=240 | ||
+ | |серия=Курс высшей математики и математической физики | ||
+ | }} | ||
+ | # {{Книга | ||
+ | |автор=Курош А.Г. | ||
+ | |заглавие=Курс высшей алгебры | ||
+ | |издание=12 | ||
+ | |место=СПб. | ||
+ | |издательство=Лань | ||
+ | |год=2003 | ||
+ | |количество страниц=432 | ||
+ | |серия=Учебники для вузов. Специальная литература | ||
+ | }} | ||
+ | ---- | ||
+ | |||
+ | ===Алгебраическая теория помехоустойчивого кодирования=== | ||
+ | # {{Книга | ||
+ | |автор=Мак-Вильямс Ф. Дж., Слоэн Н. Дж. А. | ||
+ | |заглавие=Теория кодов, исправляющих ошибки | ||
+ | |место=М. | ||
+ | |издательство=Связь | ||
+ | |год=1979 | ||
+ | |количество страниц=744 | ||
+ | }} | ||
+ | # {{Книга | ||
+ | |автор=Берлекэмп Э. | ||
+ | |заглавие=Алгебраическая теория кодирования | ||
+ | |место=М. | ||
+ | |издательство=Мир | ||
+ | |год=1971 | ||
+ | |количество страниц=478 | ||
+ | }} | ||
+ | # {{Книга | ||
+ | |автор=Касами Т., Токура Н., Ивадари Ё., Инагаки Я. | ||
+ | |заглавие=Теория кодирования | ||
+ | |место=М. | ||
+ | |издательство=Мир | ||
+ | |год=1978 | ||
+ | |количество страниц=576 | ||
+ | }} | ||
+ | ---- | ||
+ | |||
+ | ===Базы данных=== | ||
+ | # {{Книга | ||
+ | |автор=Гарсиа-Молина Г., Ульман Дж., Уидом Дж. | ||
+ | |заглавие=Системы баз данных. Полный курс | ||
+ | |место=М. | ||
+ | |издательство=Издательский дом «Вильямс» | ||
+ | |год=2004 | ||
+ | |количество страниц=1088 | ||
+ | }} | ||
+ | # {{Книга | ||
+ | |автор=Дейт К. | ||
+ | |заглавие=Введение в системы баз данных | ||
+ | |издание=7 | ||
+ | |место=М. | ||
+ | |издательство=Издательский дом «Вильямс» | ||
+ | |год=2000 | ||
+ | |количество страниц=848 | ||
+ | }} | ||
+ | ---- | ||
+ | |||
===Компьютерные сети=== | ===Компьютерные сети=== | ||
− | # Таненбаум Э. Компьютерные сети | + | # {{Книга |
− | # Куроуз Дж., Росс К. Компьютерные сети. | + | |автор=Таненбаум Э. |
+ | |заглавие=Компьютерные сети | ||
+ | |серия=Классика computer science | ||
+ | |издание=4 | ||
+ | |место=СПб. | ||
+ | |издательство=Питер | ||
+ | |год=2009 | ||
+ | |количество страниц=992 | ||
+ | }} | ||
+ | # {{Книга | ||
+ | |автор=Куроуз Дж., Росс К. | ||
+ | |заглавие=Компьютерные сети. Многоуровневая архитектура Интернета. | ||
+ | |издание=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 | ||
+ | }} | ||
---- | ---- | ||
===Методы построения компиляторов=== | ===Методы построения компиляторов=== | ||
− | # Ахо А., Сети Р., Ульман Д. Компиляторы. Принципы, технологии, инструменты | + | # {{Книга |
− | # Свердлов С. З. Языки программирования и методы трансляции. Питер | + | |автор=Ахо А., Сети Р., Ульман Д. |
− | # Опалева Э. А., Самойленко В.П. Языки программирования и методы трансляции. BHV, | + | |заглавие=Компиляторы. Принципы, технологии, инструменты |
− | # | + | |место=М. |
+ | |издательство=Вильямс | ||
+ | |год=2001}} | ||
+ | # {{Книга | ||
+ | |автор=Карпов Ю. Г. | ||
+ | |заглавие=Основы построения трансляторов | ||
+ | |место=М. | ||
+ | |издательство=BHV | ||
+ | |год=2005 | ||
+ | }} | ||
+ | # {{Книга | ||
+ | |автор=Свердлов С. З. | ||
+ | |заглавие=Языки программирования и методы трансляции | ||
+ | |место=М. | ||
+ | |издательство=Питер | ||
+ | |год=2007 | ||
+ | }} | ||
+ | # {{Книга | ||
+ | |автор=Опалева Э. А., Самойленко В.П. | ||
+ | |заглавие=Языки программирования и методы трансляции | ||
+ | |место=М. | ||
+ | |издательство=BHV | ||
+ | |год=2005 | ||
+ | }} | ||
+ | ---- | ||
+ | |||
+ | ===Неклассические логики=== | ||
+ | # {{Книга | ||
+ | |автор=Карпенко А.С. | ||
+ | |заглавие=Многозначные логики | ||
+ | |издательство=? | ||
+ | |год=? | ||
+ | }} | ||
+ | # {{Книга | ||
+ | |автор=Воронин В.П., Поспелов А.Д. | ||
+ | |заглавие=Дополнительные главы дискретной математики | ||
+ | |издательство=Радио и связь | ||
+ | |год=2002 | ||
+ | }} | ||
+ | # {{Книга | ||
+ | |автор=Кофман А. | ||
+ | |заглавие=Введение в теорию нечётких множеств | ||
+ | |место=М. | ||
+ | |издательство=Радио и связь | ||
+ | |год=1982 | ||
+ | |количество страниц=432 | ||
+ | }} | ||
+ | ---- | ||
+ | |||
+ | ===Общая алгебра=== | ||
+ | #{{Книга | ||
+ | |автор=Ван дер Варден Б.Л. | ||
+ | |заглавие=Алгебра | ||
+ | |издание=2 | ||
+ | |место=М. | ||
+ | |издательство=Наука | ||
+ | |год=1979 | ||
+ | |количество страниц=624 | ||
+ | }} | ||
+ | #{{Книга | ||
+ | |автор=Кострикин А.И. | ||
+ | |заглавие=Введение в алгебру | ||
+ | |число томов=3 | ||
+ | |номер тома=3 | ||
+ | |заглавие тома=Основные структуры алгебры | ||
+ | |место=М. | ||
+ | |издательство=Физматлит | ||
+ | |год=2001 | ||
+ | |количество страниц=272 | ||
+ | }} | ||
+ | #{{Книга | ||
+ | |автор=Ленг С. | ||
+ | |заглавие=Алгебра | ||
+ | |место=М. | ||
+ | |издательство=Мир | ||
+ | |год=1968 | ||
+ | |количество страниц=564 | ||
+ | }} | ||
+ | ---- | ||
+ | |||
+ | ===Операционные системы=== | ||
+ | #{{Книга | ||
+ | |автор=Таненбаум Э. | ||
+ | |заглавие=Современные операционные системы | ||
+ | |серия=Классика computer science | ||
+ | |издание=2 | ||
+ | |место=СПб. | ||
+ | |издательство=Питер | ||
+ | |год=2007 | ||
+ | |количество страниц=1038 | ||
+ | }} | ||
+ | #{{Книга | ||
+ | |автор=Столлингс В. | ||
+ | |заглавие=Операционные системы | ||
+ | |издание=4 | ||
+ | |место=М. | ||
+ | |издательство=Вильямс | ||
+ | |год=2004 | ||
+ | |количество страниц=848 | ||
+ | }} | ||
+ | #{{Книга | ||
+ | |автор=Бовет Д., Чезати М. | ||
+ | |заглавие=Ядро Linux | ||
+ | |издание=3 | ||
+ | |место=СПб. | ||
+ | |издательство=БХВ-Петербург | ||
+ | |год=2007 | ||
+ | |количество страниц=1104 | ||
+ | }} | ||
+ | ---- | ||
+ | ===Основы дискретной математики=== | ||
+ | # {{Книга | ||
+ | |автор=Ерусалимский Я.М. | ||
+ | |заглавие=Дискретная математика: Теория, задачи, приложения | ||
+ | |место=М. | ||
+ | |издательство=Вузовская книга | ||
+ | |издание=3 | ||
+ | |год=2000 | ||
+ | |количество страниц=280 | ||
+ | }} | ||
+ | # {{Книга | ||
+ | |автор=Новиков Ф.А. | ||
+ | |заглавие=Дискретная математика для программистов | ||
+ | |место=СПб. | ||
+ | |издательство=Питер | ||
+ | |год=2000 | ||
+ | |количество страниц=304 | ||
+ | }} | ||
+ | # {{Книга | ||
+ | |автор=Яблонский С.В. | ||
+ | |заглавие=Введение в дискретную математику | ||
+ | |место=М. | ||
+ | |издательство=Высшая школа | ||
+ | |издание=4 | ||
+ | |год=2003 | ||
+ | |количество страниц=384 | ||
+ | }} | ||
+ | ---- | ||
+ | |||
+ | ===Распределённые системы=== | ||
+ | #{{Книга | ||
+ | |автор=Таненбаум Э., ван Стеен М. | ||
+ | |заглавие=Распределённые системы. Принципы и парадигмы | ||
+ | |серия=Классика computer science | ||
+ | |место=СПб. | ||
+ | |издательство=Питер | ||
+ | |год=2003 | ||
+ | |количество страниц=877 | ||
+ | }} | ||
+ | #{{Книга | ||
+ | |автор=Coulouris G. et al. | ||
+ | |заглавие=Distributed Systems: Concepts and Design | ||
+ | |edition=3 | ||
+ | |издательство=Pearson Education Limited | ||
+ | |год=2001 | ||
+ | |all pages=788 | ||
+ | }} | ||
---- | ---- | ||
===Теория автоматов и формальных языков=== | ===Теория автоматов и формальных языков=== | ||
− | # Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений | + | #{{Книга |
− | # Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции | + | |автор=Хопкрофт Дж., Мотвани Р., Ульман Дж. |
− | # | + | |заглавие=Введение в теорию автоматов, языков и вычислений |
− | # Деундяк В.М. Элементы теории формальных языков: Учеб. пособие | + | |издание=2 |
+ | |место=М. | ||
+ | |издательство=Вильямс | ||
+ | |год=2002 | ||
+ | |количество страниц=528 | ||
+ | }} | ||
+ | #{{Книга | ||
+ | |автор=Ахо А., Ульман Дж. | ||
+ | |заглавие=Теория синтаксического анализа, перевода и компиляции | ||
+ | |число томов=2 | ||
+ | |номер тома=1 | ||
+ | |заглавие тома=Синтаксический анализ | ||
+ | |место=М. | ||
+ | |издательство=Мир | ||
+ | |год=1998 | ||
+ | |количество страниц=612}} | ||
+ | #{{Книга | ||
+ | |автор=Белоусов А.И., Ткачев С.Б. | ||
+ | |заглавие=Дискретная математика: Учеб. для вузов | ||
+ | |серия=Математика в техническом университете; Вып. XIX | ||
+ | |издание=3 | ||
+ | |место=М. | ||
+ | |издательство=МГТУ им. Н.Э. Баумана | ||
+ | |год=2004 | ||
+ | |количество страниц=744 | ||
+ | }} | ||
+ | #{{Книга | ||
+ | |автор=Деундяк В.М. | ||
+ | |заглавие=Элементы теории формальных языков: Учеб. пособие | ||
+ | |место=Ростов н/Д | ||
+ | |издательство=ДГТУ | ||
+ | |год=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 | ||
+ | }} | ||
---- | ---- | ||
===Языки программирования=== | ===Языки программирования=== | ||
− | # Липпман С.Б., Лажойе Ж., Му Б. Э. Язык программирования C++. Вводный курс | + | #{{Книга |
− | # Саттер Г., Александреску А. Стандарты программирования на C++. | + | |автор=Хорстманн К.С., Корнелл Г. |
− | # Мейерс С. Эффективное использование C++ | + | |заглавие=Java 2. Библиотека профессионала |
− | + | |число томов=2 | |
+ | |номер тома=1 | ||
+ | |заглавие тома=Основы | ||
+ | |издание=8 | ||
+ | |место=М. | ||
+ | |издательство=Вильямс | ||
+ | |год=2008 | ||
+ | |количество страниц=816}} | ||
+ | #{{Книга | ||
+ | |автор=Хорстманн К.С., Корнелл Г. | ||
+ | |заглавие=Java 2. Библиотека профессионала | ||
+ | |число томов=2 | ||
+ | |номер тома=2 | ||
+ | |заглавие тома=Тонкости программирования | ||
+ | |издание=8 | ||
+ | |место=М. | ||
+ | |издательство=Вильямс | ||
+ | |год=2008 | ||
+ | |количество страниц=992}} | ||
+ | #{{Книга | ||
+ | |автор=Липпман С.Б., Лажойе Ж., Му Б.Э. | ||
+ | |заглавие=Язык программирования C++. Вводный курс | ||
+ | |издание=4 | ||
+ | |место=M. | ||
+ | |издательство=Вильямс | ||
+ | |год=2007 | ||
+ | |количество страниц=896}} | ||
+ | #{{Книга | ||
+ | |автор=Саттер Г., Александреску А. | ||
+ | |заглавие=Стандарты программирования на C++ | ||
+ | |издательство=Вильямс | ||
+ | |место=M. | ||
+ | |количество страниц=224 | ||
+ | |год=2005 | ||
+ | }} | ||
+ | #{{Книга | ||
+ | |автор=Мейерс С. | ||
+ | |заглавие=Эффективное использование C++ | ||
+ | |издание=3 | ||
+ | |издательство=ДМК Пресс | ||
+ | |место=M. | ||
+ | |год=2006 | ||
+ | |количество страниц=300 | ||
+ | }} | ||
+ | |||
+ | == Ссылки == | ||
+ | * [[Рекомендуемая литература: гуманитарные дисциплины]] | ||
+ | [[Категория:Студентам на заметку]] |
Текущая версия на 12:25, 20 февраля 2011
Содержание
- 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 с.