Discrete Math Final — Logic, Sets, Sums & Recurrence

The CS-math core: counting, finite sums in closed form, set sizes by inclusion–exclusion, and a recurrence — each result computed and cross-checked.