MATH 221

This course delivers core skills required for learning in computer science, including logic, formal proof, formal data structures, and relations between these data structures.