Sumários

AT24 Redutibilidade à Turing

5 Dezembro 2019, 14:30 Maria Cristina De Sales Viana Serôdio Sernadas

Redutibilidade à Turing: propriedades. Comparação com a redutibilidade m. Complexidade de Kolmogorov.


AP24 Máquinas de Turing

5 Dezembro 2019, 11:30 Maria Cristina De Sales Viana Serôdio Sernadas

Máquinas de Turing. Preservação da computabilidade à Turing por agregação.
Decidibilidade do problema da coloração de grafos finitos.


AP23 Maquinas de Turing

3 Dezembro 2019, 11:00 Maria Cristina De Sales Viana Serôdio Sernadas

Funções computáveis à Turing.


AT23 Máquina de Turing

3 Dezembro 2019, 09:30 Maria Cristina De Sales Viana Serôdio Sernadas

Funções computáveis à Turing. Exemplo, Fecho para a composição da classe de funções computáveis à Turing.
Modelos de computação e postulado de Church Turing.


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.