Somos UnB
UnB
Última atualização do sistema: 13.11.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
Lógica da Computação
utilizada 61 vezes por 1 professores
Utilizada por 1 professor
Por ordem de relevância (total: 1)
Mauricio Ayala Rincon
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "Lógica da Computação"
Algoritmos Eficientes
Análise de Algoritmos
Cálculo Lambda
Especificacao Algebrica
FPGA
Floating-point arithmetic
Isomorfismo de Curry-Howard
Lambda Calculus
Lógica da Computação
Lógica e semântica da computação
Modelos e linguagens computacionais
Métodos Formais
Projeto de hardware
Prova de Teoremas
Reescrita-Lógica
Semantica de Linguagens de Programacao
Semântica das linguagens de programação
Sistemas Reconfiguráveis
Sistemas de Reescrita de Termos
Substituições Explícitas
Teoria de Prova
Teoria de Reescrita
Teoria de tipos
Teorias de ordem superior
Unificação de Primeira Ordem
criptografia
unificação de ordem superior
CTIT UFMG