Descrição
Funções recursivas e calculabilidade, algoritmos, tese de Church, máquinas de Turing, lógica computacional, completude NP.
Pré-requisitos
- Pré-requisito(s): MATH 2100 ou MATH 3855 ou permissão da Escola.
Condições e modalidades
- Também listado como COMP 4803 .
- Pré-requisito(s): MATH 2100 ou MATH 3855 ou permissão da Escola.
- Aulas três horas por semana.
Texto de referência na sua língua de origem
Recursive functions and computability, algorithms, Church's thesis, Turing machines, computational logic, NP-completeness.
- Prerequisite(s): MATH 2100 or MATH 3855 or permission of the School.
- Also listed as COMP 4803 .
- 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/