Carregando

Ariane Machado Lima

Ordenar por:   Relevância   |   Título   |   Por data (mais novo ao mais antigo)
    1 2
15 resultados encontrados
Este campo introduz o conceito de árvores B para organização de arquivos e criação de índices
Este vídeo mostra que o problema de Hilbert foi provado ser indecidível, e também mostra uma versão simplificada que esta sim é decidível.
Este vídeo conta um pouco da história do termo que hoje conhecemos como algoritmo e sua relação com Máquinas de Turing.
Este vídeo descreve como são realizadas operações sobre registros em arquivos sob alocação em forma de listas ligadas.
Este vídeo descreve uma variante da Máquina de Turing vista anteriormente: a máquina não determinística.
Este vídeo descreve uma variante da Máquina de Turing vista anteriormente: a máquina multifita.
Este vídeo formaliza o funcionamento de uma máquina de Turing por meio de configurações e introduz o conceito de Máquina reconhecedora e decisora.
    1 2
15 resultados encontrados

 

Pró-Reitoria de Graduação
Telefone: +55 11 3091-9942