Unicamp Diretoria Acadêmica

HF009 - Computabilidade - 2S/2021 Imprimir

Pós-Graduação

Informações da disciplina

Ementa:

Neste curso são tratados os seguintes tópicos: enfoques formais da noção de computabilidade, máquinas de Turing, funções recursivas (primitivas, gerais e parciais), tese de Church e equivalência entre as várias noções formais de computabilidade.

Bibliografia:

Epstein,, R. e Carnielli, W., Computabilidade, Funções Computáveis, Lógica e os  Fundamentos da Matemática. Editora Unesp, 2009.

Odifreddi, P., Classical Recursion. North-Holland,1989.

Ano de Catálogo: 2021

Créditos: 8

Turma: A Vagas: 30

Número de alunos matriculados: 5

Idioma de oferecimento: Português

Tipo Oferecimento: Regular

Local Oferecimento:

Horários/Salas:

  • Terça 14:00 - 18:00

Docentes:

  • Marcelo Esteban Coniglio

Reservas:

Não possui reservas.

Horários

Hora Segunda Terça Quarta Quinta Sexta Sábado
07:00
08:00
09:00
10:00
11:00
12:00
13:00
14:00 A -
15:00 A -
16:00 A -
17:00 A -
18:00
19:00
20:00
21:00
22:00
23:00

Compartilhar: