#### Description

An introduction to the techniques of formal (and valid) reasoning with emphasis on the (classical) propositional and predicate calculus.

#### Prerequisites

Minimum grade of C- in MATH141.

Level of Rigor

Standard

Sample Textbooks

Mathematical Intro to Logic by Enderton

What Is Mathematical Logic, by J.N. Crossley, et al

Applications

Computer Science, Structured Programming, Formal Grammars.

If you like this course, you might also consider the following courses

Math 446

Additional Notes