Я думаю, что Кормена хватит за глаза...

Есть хорошая --- https://softwarefoundations.cis.upenn.edu/.

(Reply to this) (Thread)

Увы, пока до Кормена и компании руки не доходили( Именно по алгоритмам читал Скиену, Вирта и Ахо, Хопкрофт, Ульман

(Reply to this) (Parent) (Thread)

значит можно и не читать они +- взаимозаменяемы

(Reply to this) (Parent)

Учитывая, что Кормен и компания расчитаны на магистерский курс по алгоритмам, то да, там есть над чем поломать голову

(Reply to this) (Parent) (Thread)

ну его обычно андерграды проходят, но в моем инженерном даже им и не пахло
все ок будет не рокет сайенс же

(Reply to this) (Parent)

Ну и классика: AIMA, Dragon book, SICP, Кнут (Concrete Mathematics + TAoCP), Paradigms of AI Programming: Case Studies in Common Lisp

больше ничего не примомню но и объем знаний вроде не такой большой

(Reply to this) (Parent) (Thread)

есть еще полушуточный список: https://codeforces.com/blog/entry/1594?locale=ru

TAPL еще есть.

(Reply to this) (Parent)

Dragon book вообще руки не доходили, хотя для программистов штуку нужная. Как раз думал перейти к теории компиляции после того, как углублюсь в графы. Там без предварительной подготовке по комбинаторике и алгоритмам никак.

(Reply to this) (Parent)