Please enable JavaScript.
Coggle requires JavaScript to display documents.
Áreas do Conhecimento - Coggle Diagram
Áreas do Conhecimento
Ciência da Computação
Teoria da Computação
Computabilidade e Modelos de Computação
Uma abordagem modelo-teórica da computabilidade de Turing clássica
Introdução
Fundamentação Teórica
Desenvolvimento
Conclusão
Análise de Algoritmos e Complexidade de Computação
Análise de Complexidade de Algoritmos em Sistemas Distribuidos e Multicore
Introdução
Metodologia
Resultados
Discussão
Lógicas e Semântica de Programas
Lógicas, Metafísica e Semântica dos Condicionais Contrafactuais
Contexto
Fundamentação
Análise
Conclusão