Busca avançada
Ano de início
Entree

Genericidade no contexto da demonstração de teoremas: um assistente de prova baseado em nuvem para linguagens orientadas a fluxo

Processo: 21/01025-3
Linha de fomento:Bolsas no Brasil - Doutorado
Vigência (Início): 01 de novembro de 2021
Vigência (Término): 31 de julho de 2025
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Giorgio Venturi
Beneficiário:Renato Reis Leme
Instituição-sede: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Assunto(s):Raciocínio

Resumo

O presente projeto propõe o desenvolvimento completo de um assistente de prova voltado para o racioc1nio diagramático em todas as suas etapas, a saber: (i) desenvolvimento de software (ii) depuração (iii) documentação. Dentre as principais caracter1sticas desta proposta, destacam-se a implementação do paradigma de programação genérica através da noção de homomorfismo entre grafos, a implementação de uma linguagem formal para a especificação de tablôs, a criação de um sistema de cadastro de usuários com distinção de perfil, bem como a hospedagem do ambiente inteiramente em nuvem, facilitando a portabilidade e tornando o sistema ideal para contextos de EAD. Além do software, o projeto prevê o desenvolvimento da tese contendo uma exposição da teoria formal dos assistentes de prova (teoria dos tipos), dos aspectos filosóficos envolvidos no conceito de racioc1nio diagramático, e da descrição completa do ambiente, incluindo os resultados obtidos durante a fase de depuração. (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)