Relatório Carga Fapesp / 2009

Emissão: 10/10/2014 21:02:09

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 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/2012 Valor do Financiamento: R$ 213.616,39 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 Tipo do Financiamento: Bolsa Doutorado DR Nº Processo na Financiadora: 2009/00533-3 Data Início Financiamento: 04/2009 Data Fim Financiamento: 03/2013 Valor do Financiamento: R$ 155.086,93 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