ORCID
Universidade Federal de São Carlos (UFSCAR). Centro de Ciências Exatas e de Tecnologia (CCET) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Guilherme Marques Sonoda 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 objetivo principal deste projeto consiste em introduzir o aluno às noções fundamentais da lógica matemática. Em particular, ele começará fortalecendo a própria preparação em relação à teoria intuitiva dos conjuntos, aprofundando a teoria dos ordinais e dos cardinais e a classe dos conjuntos bem-fundados. Em seguida, serão estudados o cálculo proposicional e as teorias de primeira ordem …
| 1 | Bolsas no país concluídas |
| Processos vinculados | |