Sumários
AULA 24
10 Novembro 2020, 11:00 • Fernando Ferreira
O teorema da forma normal de Kleene (o predicado T de Kleene). A tese de Church. O problema K não é recursivo. O teorema da parametrização. Menção do problema da paragem H (halting problem).
AULA 23
6 Novembro 2020, 15:00 • Fernando Ferreira
O teorema da enumeração das funções recursivas parciais.
AULA 22
5 Novembro 2020, 11:00 • Fernando Ferreira
Resolução de exercícios e esclarecimento de dúvidas.
AULA 21
3 Novembro 2020, 11:00 • Fernando Ferreira
A função de Ackermann. Máquinas de registos. Funções computáveis. As funções recursivas primitivas são computáveis.