Mostrando ítems 1-3 de 3
Indução finita, deduções e máquina de Turing
(Universidade Estadual Paulista (Unesp), 2017-06-29)
Este trabalho apresenta uma proposta relacionada ao ensino e prática do pensamento dedutivo formal em Matemática. São apresentados no âmbito do conjunto dos números Naturais três temas essencialmente interligados: indução/boa ...
Questões conceituais de computabilidade
([s.n.], 2001)