Descripción
Lógica simbólica, cálculos proposicional y de predicados, teoría de conjuntos y teoría de modelos, completitud.
Prerrequisitos
- Prerequisito(s): MATH 2100 o permiso de la Escuela.
Condiciones y modalidades
- Prerequisito(s): MATH 2100 o permiso de la Escuela.
- Clases magistrales tres horas a la semana.
Texto de referencia en su idioma de origen
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.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://calendar.carleton.ca/undergrad/courses/MATH/