Рекомендуемая литература — различия между версиями

Материал из Вики ИТ мехмата ЮФУ
Перейти к: навигация, поиск
(Добавлена литература по неклассическим логикам.)
 
(не показано 7 промежуточных версий 2 участников)
Строка 1: Строка 1:
 +
== Литература ==
 
===Алгебра и геометрия===
 
===Алгебра и геометрия===
 
# {{Книга
 
# {{Книга
Строка 92: Строка 93:
 
# {{Книга
 
# {{Книга
 
|автор=Куроуз Дж., Росс К.
 
|автор=Куроуз Дж., Росс К.
|заглавие=Компьютерные сети
+
|заглавие=Компьютерные сети. Многоуровневая архитектура Интернета.
 
|издание=2
 
|издание=2
 
|место=СПб.
 
|место=СПб.
Строка 98: Строка 99:
 
|год=2004
 
|год=2004
 
|количество страниц=768
 
|количество страниц=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
 
}}
 
}}
 
----
 
----
Строка 156: Строка 190:
 
|автор=Карпенко А.С.
 
|автор=Карпенко А.С.
 
|заглавие=Многозначные логики
 
|заглавие=Многозначные логики
 +
|издательство=?
 +
|год=?
 
}}
 
}}
 
# {{Книга
 
# {{Книга
Строка 352: Строка 388:
 
|издательство=Феникс
 
|издательство=Феникс
 
|год=2009
 
|год=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
 
}}
 
}}
 
----
 
----
Строка 403: Строка 510:
 
|количество страниц=300
 
|количество страниц=300
 
}}
 
}}
 +
 +
== Ссылки ==
 +
* [[Рекомендуемая литература: гуманитарные дисциплины]]
 
[[Категория:Студентам на заметку]]
 
[[Категория:Студентам на заметку]]

Текущая версия на 12:25, 20 февраля 2011

Литература

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

  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 с.
  3. А. Оппенгейм, Р. Шафер Цифровая обработка сигналов. — 2-е изд. — Техносфера, 2006. — 856 с.
  4. Марпл-мл.С.Л. Цифровой спектральный анализ и его приложения. — Москва: Мир, 1990. — 547 с.
  5. А.И. Солонина, Д.А. Улахович, С.М. Арбузов, Е.Б. Соловьёва Основы цифровой обработки сигналов. — 2-е изд. — СПб.: BHV-Петербург, 2005. — 768 с.

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

  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 с.

Ссылки