joao marcos de almeida

DIM - DEPARTAMENTO DE INFORMÁTICA E MATEMÁTICA APLICADA

Projetos de Pesquisa

Projeto de Pesquisa Área de Conhecimento
2019
PVB16106-2019 PROof search for Substructural and modAl logics (PROSA) Lógica Matemática
2018
PVB15756-2018 Cálculos adequados para a combinação de sistemas lógicos Lógicas e Semântica de Programas
PVB15948-2018 Reasoning with Natural Language Análise de Algoritmos e Complexidade de Computação
2014
PVB10790-2014 Aspectos computacionais da verofuncionalidade lato sensu Lógicas e Semântica de Programas
PVB11864-2014 GeVe - Generalizações de Verofuncionalidade Lógicas e Semântica de Programas
2013
PVB1450-2013 Refinamento e implementação de algoritmos para a extração de axiomatizações adequadas para classes de sistemas dedutivos polivalentes Lógicas e Semântica de Programas
2012
PVB11865-2012 GeTFun Generalizing Truth-Functionality Lógicas e Semântica de Programas
2011
PVB7293-2011 (Non)Sequitur: desenvolvendo ferramentas para ensinar Semântica Formal e Demonstração de Teoremas no ambiente virtual de aprendizagem LOGICAMENTE Lógicas e Semântica de Programas
PVB7744-2011 Apoio à documentação co-evolutiva e aplicação de técnicas de usabilidade no desenvolvimento contínuo da ferramenta *Logicamente* para o ensino de Lógica Aplicada à Computação Lógicas e Semântica de Programas
2009
PVB564-2009 Uso de uma ferramenta computacional de demonstração assistida para a experimentação com lógicas não-clássicas Lógica
PVB1450-2009 Refinamento e implementação de algoritmos para a extração de axiomatizações adequadas para classes de sistemas dedutivos polivalentes Lógicas e Semântica de Programas
PVB2640-2009 *Logicamente*: uma suíte de ferramentas on-line de apoio ao ensino de LÓGICA Lógicas e Semântica de Programas
2008
PVB564-2008 Uso de uma ferramenta computacional de demonstração assistida para a experimentação com lógicas não-clássicas Lógica
PVB1450-2008 Refinamento e implementação de algoritmos para a extração de axiomatizações adequadas para classes de sistemas dedutivos polivalentes Lógicas e Semântica de Programas
PVB2640-2008 *Logicamente*: uma suíte de ferramentas on-line de apoio ao ensino de LÓGICA Lógicas e Semântica de Programas
2007
PVB564-2007 Uso de uma ferramenta computacional de demonstração assistida para a experimentação com lógicas não-clássicas Lógica
PVB1450-2007 Refinamento e implementação de algoritmos para a extração de axiomatizações adequadas para classes de sistemas dedutivos polivalentes Lógicas e Semântica de Programas
2006
PVB564-2006 Uso de uma ferramenta computacional de demonstração assistida para a experimentação com lógicas não-clássicas Lógica

SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2019 - UFRN - sigaa11-producao.info.ufrn.br.sigaa11-producao v3.43.12