Banca de DEFESA: JOÃO MENDES LOPES NETO

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : JOÃO MENDES LOPES NETO
DATA : 21/07/2025
HORA: 09:00
LOCAL: Google Meet
TÍTULO:

Um método para geração automatizada de exercícios de demonstração com nível de complexidade similar


PALAVRAS-CHAVES:

Geração Automática de Questões, Ensino de Lógica, Tablôs baseados em corte


PÁGINAS: 112
RESUMO:

A geração automatizada de exercícios pode beneficiar educadores ao reduzir significativamente o tempo que gastam na elaboração manual de exercícios. No entanto, um obstáculo para tornar essa automação mais presente na rotina profissional de um educador é o controle do nível de complexidade de exercícios gerados mecanicamente. Neste trabalho, apresentamos um método para a geração automatizada de exercícios de demonstração com nível de complexidade similar. As entradas deste método são um exercício de demonstração e um conjunto de regras as quais permitem demonstrar este exercício. A saída é um conjunto de exercícios de demonstração com complexidade similar à do exercício passado como entrada. O escopo dos exercícios com os quais trabalhamos são exercícios de demonstração matemática descritos em linguagens de primeira ordem, cobrindo tópicos como Teoria dos Conjuntos e Teoria dos Números. Para calcular o nível de complexidade destes exercícios, fundamentamos a nossa abordagem no esforço necessário para os resolver através de demonstrações informais. Argumentamos que esse esforço, por sua vez, pode ser capturado por demonstrações formais em tablôs baseados em corte que não contêm símbolos lógicos. As regras utilizadas nestas demonstrações são extraídas por um procedimento mecanizável que fornecemos. Usamos o caráter analítico dessas regras e a estrutura formal que as demonstrações de tablô têm para fornecer um procedimento computacional do método em questão. Como casos de estudo, demonstramos como o nosso método funciona com fragmentos de Teoria dos Conjuntos e Teoria dos Números. Uma implementação prototípica também foi desenvolvida e nós a apresentamos aqui.


MEMBROS DA BANCA:
Presidente - 1517271 - JOAO MARCOS DE ALMEIDA
Interno - 1345816 - REGIVAN HUGO NUNES SANTIAGO
Externo ao Programa - 3884005 - PATRICK CESAR ALVES TERREMATTE - UFRNExterno à Instituição - CARLOS OLARTE
Externo à Instituição - ADOLFO GUSTAVO SERRA SECA NETO - UTFPR
Externa à Instituição - CLAUDIA NALON - UnB
Notícia cadastrada em: 02/07/2025 09:13
SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2025 - UFRN - sigaa11-producao.info.ufrn.br.sigaa11-producao