Banca de QUALIFICAÇÃO: JOÃO MENDES LOPES NETO

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE : JOÃO MENDES LOPES NETO
DATA : 17/01/2025
HORA: 09:00
LOCAL: Google Meet: https://meet.google.com/rkk-idpw-tue
TÍTULO:

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

PALAVRAS-CHAVES:

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

PÁGINAS: 52
RESUMO:

A geração automatizada de exercícios pode beneficiar educadores reduzindo significativamente o tempo que levam para formular exercícios manualmente. Um obstáculo para tornar tal automação mais presente na rotina profissional de um educador é controlar o nível de complexidade dos exercícios gerados mecanicamente. Neste trabalho, nós apresentamos um método para geração automatizada de exercícios de demonstração com nível de complexidade similar. O escopo de exercícios cobertos são exercícios de demonstração matemática descritos em linguagens de primeira ordem. A fim de calcular o nível de complexidade desses exercícios, baseamo-nos no esforço despendido para resolvê-los através de demonstrações informais. Tal esforço, por sua vez, é capturado por demonstrações formais em tableaux baseados em corte que não contêm símbolos lógicos. Nós usamos o caráter analítico deste sistema dedutivo e a estrutura formal que demonstrações em tableau possuem para fornecer um procedimento computacional do método em questão.

MEMBROS DA BANCA:
Interno - 1517271 - JOAO MARCOS DE ALMEIDA
Externo ao Programa - 3884005 - PATRICK CESAR ALVES TERREMATTE - UFRN

Externa à Instituição - CLAUDIA NALON - UnB