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.