| Processo: | 07/08722-4 |
| Modalidade de apoio: | Bolsas no Brasil - Iniciação Científica |
| Data de Início da vigência: | 01 de maio de 2008 |
| Data de Término da vigência: | 31 de dezembro de 2008 |
| Área de conhecimento: | Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação |
| Pesquisador responsável: | Walter Alexandre Carnielli |
| Beneficiário: | Igor Carboni Oliveira |
| Instituição Sede: | Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil |
| Vinculado ao auxílio: | 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications, AP.TEM |
| Assunto(s): | Lógica matemática Indecidibilidade |
| Palavra(s)-Chave do Pesquisador: | Computabilidade | Decidibilidade | Indecidibilidade | Lógica Matemática | Computabilidade |
Resumo Pretendemos estudar certos tópicos avançados de computabilidade e indecidibilidade, envolvendo teorias lógicas e problemas decidíveis e indecidíveis importantes da matemática, lógica e ciência da computação. (AU) | |
| Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
| Mais itensMenos itens | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |