Relatório Carga Fapesp / 2005Emissão: 10/12/2009 21:02:22
DF - DEPARTAMENTO DE FILOSOFIA

Projeto Alterado
Nome Projeto: COMPUTACAO QUANTICA, COMPUTACAO PARACONSISTENTE E LOGICA: INTERRELACOES E FUNDAMENTOS DOS ALGORITMOS QUANTICOS.
Tipo Projeto: Pesquisa Básica
Situação Projeto: Concluído
Data Início Projeto: 06/2006
Ano Fim Projeto: 2009
Tipo Envolvimento Contrato: Individual
Descrição Projeto: Computação quântica, computação paraconsistente e lógica: interrelações e fundamentos dos algorítmos quânticos
Linha Pesquisa:
Lógica
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: 2005/04123-3
Data Início Financiamento: 06/2006
Data Fim Financiamento: 01/2010
Valor do Financiamento: R$ 100.262,04
Complemento do Tipo Financiamento: BOLSA NO PAIS-DR-II
Órgãos
(IFCH) DF - DEPARTAMENTO DE FILOSOFIA [09.03.00.00.00.00.00]
CLE - CENTRO DE LOGICA,EPISTEMOLOGIA E HISTORIA DA CIENCIA [24.00.00.00.00.00.00]
Equipes Projeto
Juan Carlos Agudelo Agudelo( Participante )
WALTER ALEXANDRE CARNIELLI( Responsável )

Projeto Alterado
Nome Projeto: ANALYTICAL TABLEAUX FOR DA COSTAS HIERARCHY OF PARACONSISTENT LOGICS CN, 1<_N
Tipo Projeto: Pesquisa Básica
Situação Projeto: Concluído
Data Início Projeto: 07/2005
Ano Fim Projeto: 2005
Tipo Envolvimento Contrato: Individual
Descrição Projeto: Analytical tableaux for da Costas Hierarchy of paraconsistent logics CN, 1<_N
Linha Pesquisa:
Lógica
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp
Tipo do Financiamento: Auxilio part. Reunião
Nº Processo na Financiadora: 2005/53146-6
Data Início Financiamento: 07/2005
Data Fim Financiamento: 07/2005
Valor do Financiamento: R$ 1.304,94
Complemento do Tipo Financiamento: AUXILIO-REUNIAO-BRASIL
Órgãos
(IFCH) DF - DEPARTAMENTO DE FILOSOFIA [09.03.00.00.00.00.00]
Equipes Projeto
ITALA MARIA LOFFREDO D'OTTAVIANO( Responsável )



Voltar