C++ console programs for discrete structures: propositional logic, quantifiers, sets, floor/ceiling, permutations, recursion, probability, direct proofs, asymptotic complexity; compact, practical exercises with clear, stepwise console output.