ISE215
Foundations of Computer Science
3
Introduction to the logical and mathematical foundations of computer science.
AMS 151 or MAT 125 or MAT 131
Functions, relations, and sets; recursion and functional programming; elementary logic; and mathematical induction and other proof techniques.
N/A