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

This is the UNOFFICIAL Academic Catalog. This site is dynamic, subject to change and therefore may not always represent the offerings and curriculum of the latest or current academic year.

To view the official catalog for a specific academic year, please see the Official Catalogs link.

For questions regarding the curriculum for a specific academic year please contact your Academic Advisor.