Список вводных книг по TCS для тех, кто мало знает о TCS [закрыто]

Если вам нужно рекомендовать книги для тех, кто хочет больше узнать о TCS на начальном уровне, таких как теория автоматов, алгоритмика, теория сложности и т. Д., Какие книги вы бы порекомендовали для тех, кто заинтересован и хочет узнать больше о TCS, но не было никакого воздействия на это?

Если вы хотите получить общее представление, не углубляясь в технические детали, я предлагаю « Алгоритмику Дэвида Харела : дух вычислений» . После этого это мой любимый список:

• Введение Майкла Сипсера в теорию вычислений : лучшее введение в теорию автоматов, вычислимость и сложность.
• Алгоритмы S. Dasgupta, CH Papadimitriou и UV Vazirani: наиболее интуитивное введение в алгоритмы с большим вниманием к интуиции, чем технические доказательства.
• Jon Bentley's Programming Pearls : это не учебник по алгоритмам, но он прекрасно демонстрирует, как использовать методы проектирования алгоритмов для решения реальных проблем, которые раздражали настоящих программистов. :-) Это может быть хорошим началом, если у вас есть предварительные знания по программированию.

• Введение в алгоритмы от Cormen, Leiserson, Rivest, Stein - популярный выбор, название говорит само за себя.
• Компиляторы: принципы, методы и инструменты Ахо, Ульмана и Сетхи - хорошая книга о компиляторах, также есть вводный материал по теории автоматов.
• Принципы проверки моделей - это огромная книга, которую можно использовать как введение в проверку моделей.

Для математики, необходимой для анализа алгоритмов, я рекомендую один-единственный GKP:

Конкретная математика Грэма, Кнута, Паташника
Комплексная, высококачественная обработка практически всей математики, которая вам понадобится в (базовой) алгоритмике. Это занимательное чтение и включает в себя множество упражнений (и решений).

Алгоритмы 4. Редакция Р. Седжвика

Введение в анализ алгоритмов П. Флажолет, Р. Седжвик

Введение в теорию автоматов, языков и вычислений Дж. Э. Хопкрофт, Дж. Д. Уллман, (Р. Мотвани)
Первое издание 1979 г. имеет больше теоретических результатов, которые отсутствуют во втором издании 2001 г. Еще не посмотрел на третьего Эда.

Введение в теорию формального языка М. А. Харрисон
Это с 1978 года, но я все еще хотел бы видеть его в списке.

Logicomix: эпический поиск истины A. Doxiadis, CH Papadimitriou
Потому что это совершенно потрясающе!

Опять 1979 год
. Компьютеры и труднопреодолимость Гэри и Джонсона : руководство по теории NP-полноты

Я бы хотел, чтобы TAoCP был в списке, но я боюсь, что дотошный подход дона Кнута - это то, что нельзя считать «вводным». К сожалению ...

Если вы новичок в области TCS, « Введение в теорию вычислений» от Sipser - определенно лучшая книга для начала. Я читал другие вводные книги, и ни одна из них, по моему мнению, не приблизилась к способу Сипсера донести этот вопрос.

Другие, более конкретные, хорошие теоретические книги:

• Типы и языки программирования Бенджамина Пирса . Это теоретическая информатика и логика с другой точки зрения.
• Жемчужины теоретической информатики У. Шенинга и Р. Пруима.

Несколько хороших книг, охватывающих теорию B, часть TCS:

• Логика в CS : Логика в области компьютерных наук: моделирование и рассуждение о системах Майкл Хут и Марк Райан.
  Широкий охват различных областей применения логики в информатике. Около 3 курса бакалавриата.

• Лямбда-исчисление : лямбда-исчисление и комбинаторы. Введение Дж. Роджера Хиндли и Джонатана П. Селдина.
  Представляет лямбда-исчисление, которое является важным компонентом в основах языков программирования. Около 3 курса бакалавриата.

• Ведущий в области предметной области : Введение в решетки и порядок (2-е изд.) . Авторы: Davey, BA and Priestley, HA Cambridge University Press. (2002).
  Охватывает очень полезную тему, особенно если вы планируете работать с семантикой. Это немного более математично, чем другие темы, но первые главы, безусловно, находятся на продвинутом уровне бакалавриата.

• Семантика : семантика с приложениями: закуска от Hanne Riis Nielson и Flemming Nielson.
  Действительно хорошее введение в семантику языка программирования. Вместо того, чтобы углубляться в какой-либо конкретный формализм, он дает широкое представление и включает приложения, обычно не рассматриваемые в других книгах по семантике. Может быть полезно для студентов 2 курса.

Это сводный ответ, который содержит книги из ответов с оценкой не менее пяти. Пожалуйста, обсудите его содержание в чате .

Алгоритмы и структуры данных

• Введение в алгоритмы . Авторы Cormen, Leiserson, Rivest, Stein (3-е изд. 2009)
  . Комплексное рассмотрение основных алгоритмов и структур данных, а также их анализ без углубленного изучения.
• Алгоритмы от Dasgupta, Papadimitriou, Vazirani (2006)
  Наиболее интуитивное введение в алгоритмы с большим вниманием к интуиции, чем технические доказательства.

Вычислительность и сложность

• Введение в теорию вычислений от Sipser (2-е издание 2005 г.)
  Лучшее введение в теорию автоматов, вычислимость и сложность.

Формальные языки и автоматы

• Компиляторы: принципы, методы и инструменты Aho, Ulman и Sethi (2nd ed 2006)
  Стандартная книга о компиляторах; очень всеобъемлющий Прикосновения к теории автоматов тоже.

Прикладная Теория

• Baier, Katoen (2008). Принципы проверки моделей.
  Массивная книга, которую можно использовать как всеобъемлющее введение в проверку моделей.
• «Программирование жемчуга » Джона Бентли (2-е изд. 1999 г.)
  Не учебник по алгоритмам, но прекрасно демонстрирует, как использовать методы проектирования алгоритмов для решения реальных задач. Может быть хорошим началом, если у вас есть предварительные знания по программированию.