algebra discrete_math mathematical_logic number_theory statistic