Mathematics (MATH)
School of Mathematics and Statistics
Faculty of Science
MATH 4802 [0.5 credit]
Introduction to Mathematical Logic (Honours)
Symbolic logic, propositional and predicate calculi, set theory and model theory, completeness.Prerequisite: MATH 2100 or permission of the School.
Lectures three hours a week.
Summer session: some of the courses listed in this Calendar are offered during the summer. Hours and scheduling for summer session courses will differ significantly from those reported in the fall/winter Calendar. To determine the scheduling and hours for summer session classes, consult the class schedule at central.carleton.ca
Not all courses listed are offered in a given year. For an up-to-date statement of course offerings for the current session and to determine the term of offering, consult the class schedule at central.carleton.ca