Carregando

Ariane Machado Lima

Ordenar por:   Relevância   |   Título   |   Por data (mais novo ao mais antigo)
138 resultados encontrados
Este vídeo explica brevemente como compilar seu código C com o compilador gcc e noções básicas de Makefile.
Este vídeo introduz como implementar grafos por matriz de adjacência em C, destacando alguns conceitos dessa linguagem.
Este vídeo descreve o que são os problemas NP-completos e como provar que um problema pertence a essa classe de complexidade.
Este vídeo descreve a classe de complexidade NP, que são os algoritmos polinomialmente verificáveis.
Este vídeo apresenta conceitos básicos para o entendimento das classes de complexidades a serem vistas nesta aula.
Este vídeo introduz os conceitos básicos de gramáticas adaptativas e apresenta um exemplo.
Este vídeo traz um exemplo de uso de redutibilidade por mapeamento para provar que o problema da equivalência entre duas MTs e indecidível.
Este vídeo traz a formalização de redutibilidade por mapeamento para provas de computabilidade.
138 resultados encontrados

 

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