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.