MATH 318 Mathematical Logic (3 credits)

Offered by: Mathematics and Statistics (Faculty of Science)

Overview

Mathematics & Statistics (Sci) : Propositional calculus, truth-tables, switching circuits, natural deduction, first order predicate calculus, axiomatic theories, set theory.

Terms: Fall 2017

Instructors: Marcin Sabok (Fall)

  • Fall

  • Restriction: Not open to students who are taking or have taken PHIL 210