CV Lattes
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação (IC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Davi de Melo Jorge Barbosa em auxílios à pesquisa e bolsas apoiadas pela FAPESP.
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
O projeto visa um estudo sobre lógica computacional, abrangendo toda a base de lógica matemática necessária (lógica proposicional, lógica de predicados e equações e lógica de primeira ordem), os modelos de lógica com aplicações na computação (LTL, CTL, CTL') e a aplicação desses modelos para a verificação de sistemas. O projeto visa, ainda, a redação e disponibilização de uma monografia s…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |