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
Número de alunos matriculados: 5
Idioma de oferecimento: Português
Tipo Oferecimento: Regular
Local Oferecimento:
Horários/Salas:
Docentes:
Reservas:
Não possui reservas.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 |