Prerequisite: One of  M408D,  M408L, or M408S, with a grade of at least C-, or consent of instructor. This is a first course that emphasizes understanding and creating proofs. Therefore, it provides a transition from the problem-solving approach of calculus to the entirely rigorous approach of advanced courses such as M365C or M373K. The number of topics required for coverage has been kept modest so as to allow adequate time for students to develop theorem-proving skills.

Course Topics:

  • Fundamentals of logic
  • Elementary Number theory
  • Sequences and Mathematical Induction
  • Set Theory