Sumários
AT22 Máquina de Turing
28 novembro 2019, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Máquina de Turing. Configuração. Função computável à Turing.
AP22 Redutibilidade
28 novembro 2019, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
AP21 Redutibilidade
26 novembro 2019, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Conjuntos efectivamente não listáveis.
AT21 Redutibilidade m
26 novembro 2019, 09:30 • Maria Cristina De Sales Viana Serôdio Sernadas
AT20 Conjuntod m Completos e Efectivamente Não Listáveis
21 novembro 2019, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas