MTH 231 - Discrete Mathematics 1

4 Credit(s)

Topics include formal logic, methods of proof, sequences, recursion and mathematical induction. Also included are combinatorics, set and graph theory and trees. The order of the topics may vary with instructor and text.

Prerequisite: MTH 112 or equivalent course with a grade of C- within the past two years, or placement test.
Learning Outcomes
Upon successful completion of this course, the student should be able to:

Use propositional calculus notation and techniques to determine the validity of logical statements and proofs.
Write canonical expressions for truth functions.
Methods to simplify Boolean expressions and logic networks.
Translate Boolean expressions to and from logics networks.
Use techniques of direct proofs and proofs by contradiction.
Apply techniques of mathematical induction to proofs

Add to Portfolio (opens a new window)