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

Якщо вам доведеться рекомендувати книги тим, хто хоче дізнатися більше про TCS на вступному рівні, таких як теорія автоматів, алгоритміка, теорія складності тощо, яку книгу (-и) ви б рекомендували (а) для тих, хто цікавиться та хоче дізнатися більше про TCS, але не було до нього ніякого впливу?

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

• Вступ Майкла Сіпсера в теорію обчислень : найкраще введення в теорію автоматів, обчислюваність і складність.
• Алгоритми С. Дасгупта, Ч. П. Пападімітріу та У. В. Вазірані: найбільш інтуїтивне введення в алгоритми з більш сильним фокусом на інтуїції, ніж технічні докази.
• Програмування перлів Джона Бентлі : це не підручник з алгоритмів, але він прекрасно демонструє, як використовувати методи проектування алгоритмів для вирішення реальних проблем, які дратували реальних програмістів. :-) Це може бути вдалим початком, якщо ви маєте деякі знання з програмування.

• Вступ до алгоритмів Кормена, Лейзерсона, Рівеста, Штейна - популярний вибір, назва говорить сама за себе.
• Компілятори: Принципи, методики та інструменти Ахо, Ульмана та Сетхі - це хороша книга про компілятори, також є вступний матеріал про теорію автоматів.
• Принципи перевірки моделі - це масивна книга, яку можна використовувати як вступ до перевірки моделі

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

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

Алгоритми 4. Видання Р. Седжевік

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

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

Вступ до теорії формальної мови М. А. Харрісон
Це з 1978 року, але я все одно хотів би бачити це у списку.

Логікомікс: епічний пошук істини А. Доксіадіс, CH Пападімітріу,
тому що це абсолютно приголомшливо!

Знову комп’ютери та нездатність
до комп'ютерів Гарі та Джонсона 1979 : Посібник до теорії повноти NP

Я хотів би, щоб TAoCP був у цьому списку, але я боюся, що прискіпливий підхід дона Кнута - це не те, що можна вважати "вступним". Сумно ...

Якщо ви абсолютно новачок у галузі TCS, то введення Сіпсера в теорію обчислень , безумовно, найкраща книга для початку роботи. Я читав інші вступні книги, і жодна з них, на мою думку, не наближається до способу доведення справи Сіпсера.

Інші, більш конкретні, хороші теоретичні книги:

• Типи та мови програмування Бенджаміна Пірса . Це теоретична інформатика та логіка з іншого погляду.
• Самоцвіти теоретичної інформатики У. Шенінга та Р. Пруйма.

Деякі хороші книги, що висвітлюють частину теорії B від TCS:

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

• Обчислення лямбди : обчислення лямбда і комбінатори. Вступ Дж. Роджера Хіндлі та Джонатана П. Селдіна.
  Представлено викладення лямбда, що є важливим компонентом основ мов програмування. Близько 3 курсу курсу.

• Провід в теорії доменів : Вступ до ґрат і порядку (2-е видання) Дейві, Б.А. та Прістлі, HA Cambridge University Press. (2002).
  Розкриває дуже корисну тему, особливо якщо ви плануєте працювати з семантикою. Це трохи математичніше, ніж інші теми, але ранні розділи, безумовно, знаходяться на високому рівні студентів.

• Семантика : Семантика з додатками: Закуска Ганни Ріїс Нільсон та Флеммінг Нільсон.
  По-справжньому приємне вступ до семантики мови програмування. Замість того, щоб заглиблюватися в якийсь конкретний формалізм, він дає широку презентацію та включає додатки, як правило, не розглянуті в інших книгах з семантики. Може бути корисним для студентів другого курсу.

Це узагальнена відповідь, що містить книги з відповідями з оцінкою не менше п’яти. Будь ласка, обговоріть його вміст у чаті .

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

• Вступ до алгоритмів Кормена, Лейзерсона, Рівеста, Штейна (3-е видання 2009 р.)
  Комплексна обробка основних алгоритмів та структур даних та їх аналіз без надто глибокого копання.
• Алгоритми Дасгупта, Пападімітріу, Вазірані (2006) Найінтуїтивніший
  вступ до алгоритмів з більш сильним фокусом на інтуїції, ніж технічні докази.

Обчислюваність та складність

• Вступ до теорії обчислення Шипсером (2-е видання 2005 р.)
  Найкращий вступ до теорії автоматизацій, обчислюваності та складності.

Формальні мови та автомати

• Укладачі: принципи, методи та інструменти Ахо, Ульмана та Сетхі (2-е видання 2006 р.)
  Стандартна книга про компілятори; дуже всебічно. Зачіпає і теорію автоматів.

Прикладна теорія

• Принципи перевірки моделі Баєром, Катоен (2008)
  Масивна книга, яка використовується як всебічне вступ до перевірки моделей.
• Програмування перлів Джона Бентлі (друге видання 1999 р.)
  Не є підручником з алгоритмів, але прекрасно демонструє, як використовувати методи проектування алгоритмів для вирішення реальних проблем. Можливо, це буде гарним початком, якщо ви маєте певні знання з програмування.