Banca de QUALIFICAÇÃO: LUCAS VIEIRA DE OLIVEIRA

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE : LUCAS VIEIRA DE OLIVEIRA
DATA : 22/11/2021
HORA: 10:00
LOCAL: por participação remota: https://meet.google.com/uyb-smcy-exy
TÍTULO:

Community Detection for Granularity Adaptation of Mathematical Proofs

PÁGINAS: 50
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
RESUMO:

Formal systems for mathematical proof play an important role in the improvement and development of new proofs. In addition, the methods and structures used in formal systems can support the development of tutoring systems for teaching mathematical proof, which has already been done by several works. However, the fact that these formal systems do not have pedagogical goals as main motivation, brings some obstacles to their usage in a teaching context. One of these problems is the granularity (level of detail) which a proof is presented. Beyond being static, the granularity of the statements presented within formal systems usually do not follow a logic regarding the level of detail of the assertions used, sometimes using a great amount of elementary steps in together with very abstract ones. The fact that a mathematical proof is built from theorems proven previously allows these proofs to be represented by connected acyclic graphs (trees). It is possible with this to adapt the granularity of the presentation of a mathematical proof by grouping nodes of the graph in a way to absorb steps that are of little importance from a pedagogical point of view. This adaptation enables the proof to be presented in a more appropriate way to the student's knowledge, maximizing their comprehension. The purpose of this research then is to use community detection algorithms to adapt the granularity of a mathematical proof built in a formal system in order to enable or improve its usage in a teaching context. As a basis for the research, the formal system Metamath will be used.

MEMBROS DA BANCA:
Presidente - Interno ao Programa - 1672965 - EDSON PINHEIRO PIMENTEL
Membro Titular - Examinador(a) Interno ao Programa - 1932365 - FABRICIO OLIVETTI DE FRANCA
Membro Titular - Examinador(a) Externo à Instituição - PATRÍCIA JAQUES - UNISINOS
Membro Suplente - Examinador(a) Interno ao Programa - 3008507 - CARLA NEGRI LINTZMAYER
Membro Suplente - Examinador(a) Externo à Instituição - ISMAR FRANGO SILVEIRA - UPM