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

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
STUDENT : JOÃO MENDES LOPES NETO
DATE: 17/01/2025
TIME: 09:00
LOCAL: Google Meet: https://meet.google.com/rkk-idpw-tue
TITLE:

A method for automated generation of proof exercises with similar level of complexity

KEY WORDS:

Teaching Logic, Cut-based tableaux, Automatic Question Generation

PAGES: 52
BIG AREA: Ciências Exatas e da Terra
AREA: Ciência da Computação
SUBÁREA: Teoria da Computação
SPECIALTY: Lógicas e Semântica de Programas
SUMMARY:

The automated generation of exercises may benefit educators by significantly reducing the time they spend to manually create exercises. An obstacle in making such automation more present in an educator's professional routine is controlling the level of complexity of the mechanically generated exercises. In this work, we present a method for the automated generation of proof exercises with similar level of complexity. The scope of exercises covered are mathematical proof exercises described in first-order languages. In order to calculate the level of complexity of these exercises, we based on the effort put in solving them via informal proofs. Such effort, in turn, is captured by formal proofs in cut-based tableaux that do not contain logical symbols. We use the analytic character of this deductive system and the formal structure tableau proofs have to provide a computational procedure of the method in question.

COMMITTEE MEMBERS:
Interno - 1517271 - JOAO MARCOS DE ALMEIDA
Externo ao Programa - 3884005 - PATRICK CESAR ALVES TERREMATTE - UFRN

Externa à Instituição - CLAUDIA NALON - UnB