This is a list of all courses offered by the Math Department.  Not all courses are offered each year.  What is provided is a general description of the courses and the prerequisites.  The actual content may vary.

<- Return to Course List

Description

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

Prerequisites

Math 141.

Topics

Arguments and how to formalize arguments and then determine (if possible) their validity.
Completeness and soundness of formal systems.
Depending on the preference of the class (and available time) some of the following may also be included:

definite descriptions
resolution
non-classical logics
computability
ordinals
other topics are possible.