UFRN ›
SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas
Natal,
26 de Abril de
2024
umberto rivieccio
DIM - DEPARTAMENTO DE INFORMÁTICA E MATEMÁTICA APLICADA
Projetos de Pesquisa
| Projeto de Pesquisa | Área de Conhecimento | |||
|---|---|---|---|---|
| 2021 | ||||
| PVB18472-2021 | MOSAIC | Lógicas e Semântica de Programas | ||
| 2020 | ||||
| PVB17288-2020 | Sistemas de provas para Teorias Geométricas (PROGEO) | Lógicas e Semântica de Programas | ||
| 2019 | ||||
| PVB16106-2019 | PROof search for Substructural and modAl logics (PROSA) | Lógica Matemática | ||
| 2018 | ||||
| PVB15756-2018 | Cálculos adequados para a combinação de sistemas lógicos | Lógicas e Semântica de Programas | ||
| PVB18454-2018 | Lógicas modais paraconsistentes | Lógicas e Semântica de Programas | ||
| PIB18455-2018 | TIC – Tecnologias da Informação e Comunicação, Projeto “Ferramentas de processamento de Imagens para diagnosticos” | Metodologia e Técnicas da Computação | ||
SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2024 - UFRN - sigaa05-producao.info.ufrn.br.sigaa05-producao v4.12.18