Lógica & Filosofia
Teoria da Recursão e Computabilidade
Código da disciplina: MCZB033 - 17 Créditos: 4 – 0 – 4
Este sítio não tem caráter oficial relativamente à Universidade Federal do ABC e tampouco representa os outros professores.
Quadrimestre letivo
primeiro quadrimestre letivo de xxxx
xxxxxx
Turmas e horários
diurno, turma A, campus Santo André
terça-feira, 08hs00 – 12hs00, sl xxx, Bloco A
noturno, turma A, campus Santo André
quarta-feira, 19hs00 – 23hs00, sl xxx, Bloco A
Atendimento
campus de Santo André
Bloco B, sala 1011
Horário
xx-feira
xxhsxx - xxhsxx
xx-feira
xxhsxx - xxhsxx
eventualmente, no campus de São Bernardo
Bloco Delta, sala 215
xxxx, xx-feira
xxhsxx - xxhsxx
Monitoria
campus de Santo André
Bloco Y, sala yyyy
Horário
xx de xxxx, 2016
xxxx-feira, xxhsxx - xxhsxx
sala xxx-x, bloco A
yy-feira, yyhsyy - yyhsyy e yyhsyy - yyhsyy
Ementa
Apresentação dos conceitos computabilidade, de máquina de Turing e de recursiva e recursividade; demonstração de teoremas sobre funções recursivas. Análise da tese de Church-Turing. Problemas que caracterizam as concepções de computabilidade e recursividade, e.g., decidibilidade, problema da parada.
Programa da disciplina
Tabela de conceitos
Comunicados & informes
encontram-se disponíveis
Questionários
Avaliações quadrimestrais
estimativas de datas
tolerância para atraso, 15 minutos
diurno: A: xx de xxx & A: xx de xxx
noturno: A: xx de xxx & A: xx de xxx
Recuperação: xx de xxx
Avaliações substitutivas, se for o caso, realizar-se-ão eventualmente em datas
e horários não necessariamente concidentes com aqueles das aula
Avaliação substitutiva referente à segunda avaliação A2,
diurno: xx de xx, xx-feira, xxhsxx - xxhsxx, sala xxx
noturno: xx de xx, xx-feira, xxhsxx - xxhsxx, sala xxx
tolerância para atraso, 15 minutos