MIT: Mathematics for Computer Science

Ловите запредельную крутизну! Логика и доказательства, высказывания и предикаты, множества, функции и отношения, индукция и рекурсия, теория чисел + RSA, графы простые и ориентированные, асимптотики, комбинаторика и вероятность, производящие функции и рекуррентные соотношения!

Всё это в бесплатном сокровище от MIT почти на 1к страниц:
Mathematics for Computer Science