Descrição
Lógica simbólica, cálculo proposicional e de predicados, teoria dos conjuntos e teoria dos modelos, completude.
Pré-requisitos
- Pré-requisito(s): MATH 2100 ou permissão da Escola.
Condições e modalidades
- Pré-requisito(s): MATH 2100 ou permissão da Escola.
- Aulas três horas por semana.
Texto de referência na sua língua de origem
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.
Fontes e referências
As datas e as fontes são mantidas para ajudá-lo a verificar os dados. As traduções são propostas para facilitar a leitura; a fonte oficial é a referência para condições e exigências.
Fonte de referência : https://calendar.carleton.ca/undergrad/courses/MATH/