Description
Symbolic logic, propositional and predicate calculi, set theory and model theory, completeness.
Prerequisites
- Prerequisite(s): MATH 2100 or permission of the School.
Conditions and arrangements
- Prerequisite(s): MATH 2100 or permission of the School.
- Lectures three hours a week.
Reference text in its original language
Symbolic logic, propositional and predicate calculi, set theory and model theory, completeness.
- Prerequisite(s): MATH 2100 or permission of the School.
- Lectures three hours a week.
Sources and references
Dates and sources are retained to help you verify the information. Translations are provided to facilitate reading; the official source governs conditions and requirements.
Source reference : https://calendar.carleton.ca/undergrad/courses/MATH/