Описание
Символическая логика, исчисления высказываний и предикатов, теория множеств и модельная теория, полнота.
Предварительные требования
- Предпосылки: MATH 2100 или разрешение Школы.
Условия и порядок
- Предпосылки: MATH 2100 или разрешение Школы.
- Лекции три часа в неделю.
Текст источника на языке оригинала
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.
Источники и ссылки
Даты и источники сохраняются, чтобы помочь вам проверить сведения. Переводы предлагаются для удобства чтения; официальным источником для условий и требований является оригинал.
Исходная ссылка : https://calendar.carleton.ca/undergrad/courses/MATH/