MAT 324 01 - Formal Logic

Help

Course Information

Formal Logic (MAT 324)

Term: 2011-2012 Academic Year Spring

Schedule

Tue-Thu, 9:25 AM - 10:40 AM (1/11/2012 - 5/4/2012) Location: MAIN SL 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