Breadcrumb Home Mathematics & Computer Science MATH-300 MATH-300: Set Theory and Symbolic Logic Download as PDF Department Mathematics & Computer Science Credits 3 Grade Scheme BC Session Cycle S The first part of the course is devoted to naive set theory and includes the algebra of sets, relations, functions and orders. The second part is devoted to logic, including truth tables and first-order predicate calculus. Prerequisites MATH-132; MATH-200 Term Offered Spring Only