Relatório Carga Fapesp / 2009

Emissão: 11/04/2011 21:08:47

CLE - CENTRO DE LOGICA,EPISTEMOLOGIA E HISTORIA DA CIENCIA

Projeto Alterado

Nome Projeto: O SIGNIFICADO DAS SENTENCAS ARITMETICAS, A DEFINIBILIDADE CONJUNTISTA E O PAPEL DA TEORIA DAS CATEGORIAS NA SEMANTICA DE SISTEMAS LOGICOS Tipo Projeto: Pesquisa Básica Situação Projeto: Em Andamento Data Início Projeto: 10/2009 Ano Fim Projeto: 2011 Tipo Envolvimento Contrato: Individual Descrição Projeto: O SIGNIFICADO DAS SENTENCAS ARITMETICAS, A DEFINIBILIDADE CONJUNTISTA E O PAPEL DA TEORIA DAS CATEGORIAS NA SEMANTICA DE SISTEMAS LOGICOS Instituições Nome: Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp Tipo do Financiamento: Bolsa Pos doutorado no país PD Nº Processo na Financiadora: 2009/10751-8 Data Início Financiamento: 10/2009 Data Fim Financiamento: 09/2011 Valor do Financiamento: R$ 138.322,21 Complemento do Tipo Financiamento: BOLSA NO PAIS-PD Órgãos CLE - CENTRO DE LOGICA,EPISTEMOLOGIA E HISTORIA DA CIENCIA [24.00.00.00.00.00.00] Equipes Projeto Rodrigo de Alvarenga Freire( Responsável )

Projeto Alterado

Nome Projeto: APLICACOES DE SISTEMAS RELACIONAIS EM FILOSOFIA DA CIENCIA, LOGICA E FUNDAMENTOS DA MATEMATICA. Tipo Projeto: Pesquisa Básica Situação Projeto: Em Andamento Data Início Projeto: 04/2009 Ano Fim Projeto: 2012 Tipo Envolvimento Contrato: Individual Descrição Projeto: APLICACOES DE SISTEMAS RELACIONAIS EM FILOSOFIA DA CIENCIA, LOGICA E FUNDAMENTOS DA MATEMATICA. Instituições Nome: Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp Tipo do Financiamento: Bolsa Doutorado DR Nº Processo na Financiadora: 2009/00533-3 Data Início Financiamento: 04/2009 Data Fim Financiamento: 03/2012 Valor do Financiamento: R$ 111.108,97 Complemento do Tipo Financiamento: BOLSA NO PAIS-DR-II Órgãos CLE - CENTRO DE LOGICA,EPISTEMOLOGIA E HISTORIA DA CIENCIA [24.00.00.00.00.00.00] Equipes Projeto Leandro Oliva Suguitani( Responsável )

Voltar