MAT-283 Introduction to Proof: Logic
Methods of mathematical proof will be introduced
using concepts from symbolic logic. Topics may
include: an introduction to logical implication,
quantifiers, contrapositive, and logical
equivalence.
Prerequisites: MAT-175 or MAT-275 with a minimum
grade of C and Sophomore standing or Instructor
permission.
Prerequisite
MAT-175 or
MAT-275 must be completed, with a minimum grade
of C, along with Sophomore Standing obtained prior to
registering for this course.