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

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


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:

Godel’s Incompleteness Theorem 

definite descriptions

resolution

non-classical logics

computability

ordinals

other topics are possible.