MATH3550-01.Foundations of Mathematics.Su15.Guetter,Arthur

Arthur Guetter

Course Description

Goals: To study mathematics as a logico-deductive system and to analyze those concepts and techniques that underlie all of mathematics. Content: Logic, proof construction, sets, relations, functions, mathematical induction, arguments involving infinite sets, number systems, axiomatics. Taught: Spring term. Prerequisite: MATH 1180. Credits: 4 credits