Cheery Cherry, там, где заканчивается "классический университетский" курс матана и дискретной математики. Или при попытке вникнуть в глубь теории этого курса, но не везде. Много где теория элементарна, но громоздка.