MAT 324 01 FUL - Formal Logic

Help

Course Information

Formal Logic (MAT 324)

Term: 2025-2026 Academic Year Fall

Schedule

Mon-Wed-Fri, 1:00 PM - 1:50 PM (8/18/2025 - 12/5/2025) Location: MAIN COX 312

Description

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