P: M212 or both M211 and CSCI C241. R: M212. Elementary logic, techniques of proof, basic set theory, functions, relations, binary operations, number systems, counting. Bridges the gap between elementary and advanced courses. Recommended for students with insufficient background for 400-level courses and for students in education. Not open to students who have received credit for M403, M413, or M420.