CV Lattes
Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Henrique de Almeida Lecco 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) |
A Teoria de Modelos trata do estudo de estruturas, tais como grupos, corpos, ordens e grafos, sob a ótica da lógica matemática, portanto, de uma forma essencialmente fundamentalista. Tais estruturas são formadas por um vocabulário, dotado de símbolos lógicos e não-lógicos, e teorias, que são conjuntos de sentenças. Além da importância da área por si só, destaca-se a possibilidade de aplic…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |