Navegação Biblioteca Digital de Teses e Dissertações (BDTD UFSM) por orientadores "d'Oliveira, Pedro Paiva Zühlke"
Itens para a visualização no momento 1-1 of 1
-
Máquinas de Turing, decidibilidade e computabilidade
(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 ...