Formal Logic (MAT 324)

Term: 2007-2008 Year Spring

Faculty

Chris SchneiderShow MyInfo popup for Chris Schneider

chris.schneider@williamwoods.edu

Schedule

Tue-Thu, 10:40 AM - 12:05 PM (1/15/2008 - 1/16/2008) Location: MAIN SL 301
Tue-Thu, 10:50 AM - 12:05 PM (1/15/2008 - 5/9/2008) Location: MAIN SL 301

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