Métodos Formais e Fundamentos Matemáticos da Ciência da Computação
Grupo de Pesquisa
-
- Visão geral
-
- Pesquisas
-
- Ligações
-
- Identidade
-
- Ver todos
-
Visão geral
application sectors
-
Atividades de prestação de serviços de informação
-
Atividades dos serviços de tecnologia da informação
has leader
tem membro
Data arquivamento
Pesquisas
research lines
áreas de investigação
palavras-chave
-
COMPLEXIDADE DE KOKMOGOROV
-
COMPUTABILIDADE
-
COMPUTAÇÃO QUÂNTICA
-
CÁLCULO NUMÉRICO
-
ESPECIFICAÇÃO FORMAL
-
FUNDAMENTOS DA COMPUTAÇÃO
-
INTELIGÊNCIA ARTIFICIAL
-
LÓGICA FUZZI
-
MATEMÁTICA INTERVALAR
-
MÁQUINAS UNIVERSAIS
-
PARALELISMO
-
REFINAMENTOS
-
SEMÂNTICA OPERACIONAL
-
TRANSFORMAÇÃO DE MODELOS
-
VERIFICAÇÃO FORMAL
-
ÁLGEBRA COMPUTACIONAL
Ligações
Identidade
DGP identifier
identificador BrCris
-
daee8a93b91794b1f30c7a0ebe5c2b17