MATH 260 - Sets and Logic

Description:
Essentials of mathematical proofs, including use of quantifiers and principles of valid inference. Set theory as a mathematical system.

Prerequisites:
Prerequisites: MATH 173 with a grade of C or higher or MATH 172 and CS 301 with grades of C or higher.

Credits: (5)

Learner Outcomes:
Upon successful completion of this course, the student will be able to:

Perform basic set operations and determine set relations.
Interpret and manipulate quantified statements in mathematical notation.
Analyze the structure of mathematical arguments and proofs.
Construct mathematical proofs.
Disprove a statement.

Learner Outcomes Approval Date:
10/22/17

Anticipated Course Offering Terms and Locations: