Master discrete mathematics, logic, formal proofs, and computational thinking. Build the mathematical foundation for all computer science.
