Admissions Menu

Course Details

MAT 324 - Formal Logic

An introduction to elementary deductive logic to include propositional logic and first-order quantification theory with identy. Emphasis on natural deduction techniques. Some discussion of computability and other topics in the foundations of mathematics and philosophy of logic.

Prerequisite - MAT118

Credit Hours: 3.00

Course Fees: $0.00

Academic Catalog 17-18