Read our cookies policy and privacy statement for more information.
×Burlington, Vermont•
Introduction to analytic and formal methods of computer science with practical examples, including analysis or data structures, recursion relations, proof methods, and logic programming. Credit not given for more than one of CS 064, MATH 052 or MATH 054.
Units: 3.0