PPGCCM PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO FUNDAÇÃO UNIVERSIDADE FEDERAL DO ABC Telefone/Ramal: Não informado http://propg.ufabc.edu.br/ppgccm

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:

Detecção de Comunidades em Grafos para Adaptação de Granularidade de Demonstrações Matemáticas



PÁGINAS: 50
RESUMO:

Sistemas formais de demonstração matemática têm um papel fundamental no aprimoramento e desenvolvimento de novas demonstrações. Além disso, os métodos e estruturas envolvidos em sistemas formais têm o potencial de apoiar o desenvolvimento de sistemas de tutoria para o aprendizado de demonstrações, o que já tem sido feito por diversos trabalhos. No entanto, o fato destes sistemas formais não terem objetivos pedagógicos como motivação principal, traz alguns obstáculos para o seu uso em um contexto de ensino. Um desses problemas é a granularidade (nível de detalhe) que uma demonstração é apresentada. Além de ser fixa, a granularidade das demonstrações apresentadas dentro de sistemas formais não segue uma lógica em relação ao nível de detalhes das asserções utilizadas, por vezes utilizando uma quantidade exagerada de passos elementares em conjunto com passos mais elaborados. O fato de uma demonstração matemática ser construída a partir de teoremas provados previamente permite que essas sejam representadas por grafos conectados acíclicos (árvores). É possível com isso adaptar a granularidade da apresentação de uma demonstração matemática agrupando vértices do grafo de forma a absorver passos que tenham pouca importância do ponto de vista pedagógico. Essa adaptação possibilita que a demonstração seja apresentada de uma forma mais adequada ao nível de conhecimento do estudante, maximizando sua compreensão. Assim, o objetivo dessa pesquisa é utilizar algoritmos de detecção de comunidades em grafos para possibilitar a adaptação da granularidade de uma demonstração matemática construída em um sistema formal a fim de possibilitar ou melhorar seu uso em um contexto de ensino. Como base para a pesquisa será utilizado o sistema formal de demonstração Metamath.



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
Notícia cadastrada em: 25/10/2021 11:40
SIGAA | UFABC - Núcleo de Tecnologia da Informação - ||||| | Copyright © 2006-2022 - UFRN - sigaa-2.ufabc.int.br.sigaa-2-prod