|
|
Centro de Lógica, Epistemologia e Historia da Ciencia
Projetos dos quais participa
1.
|
|
Walter Alexandre Carnielli. "ASPECTOS LOGICOS E COMPUTACIONAIS DO METODO DE DEMONSTRACOES VIA POLINOMIOS FORMAIS". Fundação de Amparo à Pesquisa do Estado de São Paulo, (03/2012-07/2014), Bolsa Iniciação Científica IC / bolsa no pais-ic, valor: R$ 7.790,66, Processo #2011/22691-0. Aluno: Víctor Fernando Pompeo Barbosa.
|
2.
|
|
Marcelo Esteban Coniglio. "BASES PARA PROGRAMACAO LOGICA PARACONSISTENTE EM LOGICAS MULTIVALORADAS". Fundação de Amparo à Pesquisa do Estado de São Paulo, (07/2013-06/2016), Bolsa Doutorado DR / bolsa no pais-dr-i, valor: R$ 131.360,36, Processo #2013/04555-7. Aluno: Kleidson Êglicio Carvalho Silva Oliveira.
|
3.
|
|
Marcelo Esteban Coniglio. "DEFICIT DE RECURSOS NO CALCULO RESOURCE-CONSCIOUS DE LAMBEK". Fundação de Amparo à Pesquisa do Estado de São Paulo, (07/2013-02/2016), Bolsa Doutorado DR / bolsa no pais-dr-i, valor: R$ 118.763,17, Processo #2013/08115-1. Aluno: María Inés Corbalán.
|
4.
|
|
Walter Alexandre Carnielli. "LOGICAL CONSEQUENCE, REASONING AND COMPUTATION - LOGCONS". Fundação de Amparo à Pesquisa do Estado de São Paulo, (11/2010-10/2014), Projeto tematico / tematico, valor: R$ 212.798,67, Processo #2010/51038-0.
|
5.
|
|
Marcelo Esteban Coniglio. "MATRIZES NAO-DETERMINISTICAS: TEORIA E APLICACOES A SEMANTICA ALGEBRICA". Fundação de Amparo à Pesquisa do Estado de São Paulo, (08/2013-07/2016), Bolsa Doutorado DR / bolsa no pais-dr-i, valor: R$ 131.308,69, Processo #2013/04568-1. Aluno: Ana Cláudia de Jesus Golzio.
|
6.
|
|
Walter Alexandre Carnielli. "RTI - 2011-2012 - PLANO ANUAL DE APLICACAO DA PARCELA INSTITUCIONAL DA RESERVA TECNICA". Fundação de Amparo à Pesquisa do Estado de São Paulo, (02/2013-03/2014), Auxilio infra-estrutura / reserva tecnica p/ infra-estrutura insti, valor: R$ 124.140,61, Processo #2012/51655-4.
|
7.
|
|
Itala Maria Loffredo D'Ottaviano. "SISTEMICA, AUTO-ORGANIZACAO E INFORMACAO". Fundação de Amparo à Pesquisa do Estado de São Paulo, (05/2011-04/2016), Projeto tematico / tematico, valor: R$ 775.444,40, Processo #2010/52627-9.
|
8.
|
|
Itala Maria Loffredo D'Ottaviano. "UNILOG'2013 - 4TH WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC". Fundação de Amparo à Pesquisa do Estado de São Paulo, (03/2013-04/2013), Auxilio organiz reunião / auxilio-organizacao-reuniao, valor: R$ 23.755,79, Processo #2012/24922-1.
|
9.
|
|
Itala Maria Loffredo D'Ottaviano. "X SEMINARIO NACIONAL DE HISTORIA DA MATEMATICA". Fundação de Amparo à Pesquisa do Estado de São Paulo, (03/2013-03/2013), Auxilio organiz reunião / auxilio-organizacao-reuniao, valor: R$ 18.313,61, Processo #2012/24894-8.
|
10.
|
|
Zeljko Loparic. "XVIII COLOQUIO WINNICOTT INTERNACIONAL - FAMILIA E AMADURECIMENTO PESSOAL". Fundação de Amparo à Pesquisa do Estado de São Paulo, (05/2013-05/2013), Auxilio organiz reunião / auxilio-organizacao-reuniao, valor: R$ 11.420,20, Processo #2013/04237-5.
|
|
|
|