Navegação Programa de Pós-Graduação em Matemática por autor "Netto, Filipe Ramos"
Itens para a visualização no momento 1-1 of 1
-
Máquinas de Turing, decidibilidade e computabilidade
Netto, Filipe Ramos (2024-02-16)Nessa dissertação consideramos detalhadamente a teoria matemática das máquinas de Turing, que servem como ferramenta de estudo em áreas da Matemática e da Computação. Ao lado delas, lidamos com os tipos de funções que lhe ...