Undergraduate Catalog > Courses > MAT - Mathematics > 200 > MAT-253
Sets, counting, methods of proof. Logic. Relations, types of relations, functions, types of functions. Recursive functions. Prerequisite: MAT 110.