Учебник курса 6.042 MIT. Написан для программистов - каждая теорема подкреплена приложениями в CS.
Ключевые разделы
- Доказательства и индукция
- Теория чисел и криптография (RSA)
- Графы: обходы, деревья, планарность
- Комбинаторика и подсчёт
- Вероятность и случайные величины
- Рекуррентные соотношения
Почему рекомендую
Формирует математическое мышление - умение строить доказательства и анализировать алгоритмы. Фундамент, на который ложатся все остальные курсы CS.