Descripción
Funciones recursivas y computabilidad, algoritmos, la tesis de Church, máquinas de Turing, lógica computacional, NP-completitud.
Prerrequisitos
- Requisito(s): MATH 2100 o COMP 3805 o permiso de la Escuela.
Condiciones y modalidades
- También listado como MATH 4803 .
- Requisito(s): MATH 2100 o COMP 3805 o permiso de la Escuela.
Texto de referencia en su idioma de origen
Recursive functions and computability, algorithms, Church's thesis, Turing machines, computational logic, NP-completeness.
- Prerequisite(s): MATH 2100 or COMP 3805 or permission of the School.
- Also listed as MATH 4803 .
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/COMP/