Mathematics and Computer Science at Western Carolina University

Revised: November 2006

An introduction to the principles of logic and the methods of proof necessary for the successful study of mathematics. Two semester hours.

To introduce students to principles of logic and methods of proof used in mathematical reasoning.
To provide students with practice in communicating mathematical ideas and arguments, both verbally and orally.

Ted Sundstrom, Mathematical Reasoning: Writing and Proof, Prentice Hall, 2003.

Grading procedures and factors influencing course grade are left to the discretion of individual instructors, subject to general university policy.

Attendance policy is left to the discretion of individual instructors, subject to general university policy.

Chapter 1: Logic and Proofs (MWF18 days; TR 12 days)
Sections 1-6 - Propositions and connectives, conditionals, biconditionals, quantifiers, mathematical proofs, proofs involving quantifiers.
Chapter 2: Set Theory (MWF 9 days; TR 6 days)
Sections 1,2,4 - Introduction to set theory and set operations, mathematical induction.
Note: Because it is a two-hour course, classes typically meet MWF or TR for only ten weeks with final examination following a week later.