Navegando por Autor "Lopes Neto, João Mendes"
Agora exibindo 1 - 2 de 2
- Resultados por página
- Opções de Ordenação
Dissertação Um método para geração automatizada de exercícios de demonstração com um nível de complexidade similar(Universidade Federal do Rio Grande do Norte, 2025-07-21) Lopes Neto, João Mendes; Almeida, João Marcos de; Terrematte, Patrick César Alves; https://orcid.org/0000-0002-0385-0030; http://lattes.cnpq.br/4283045850342312; https://orcid.org/0000-0003-2601-8164; http://lattes.cnpq.br/3059324458238110; http://lattes.cnpq.br/2653822875045890; Santiago, Regivan Hugo Nunes; http://lattes.cnpq.br/7536988783793885; Olarte, Carlos; http://lattes.cnpq.br/1198550954813139; Seca Neto, Adolfo Gustavo Serra; https://orcid.org/0000-0002-0260-5922; http://lattes.cnpq.br/0071119715272492; Nalon, Cláudia; https://orcid.org/0000-0002-9792-5346; http://lattes.cnpq.br/7793795625581127A 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 um 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 uma 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ácter 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 da Teoria dos Conjuntos e da Teoria dos Números. Uma implementação prototípica também foi desenvolvida e nós a apresentamos aqui.TCC Uma análise do aprendizado de lógica em um curso de computação baseada em evidências coletadas de uma plataforma de ensino(Universidade Federal do Rio Grande do Norte, 2025-12-05) Lopes Neto, João Mendes; Terrematte, Patrick Cesar Alves; Miranda, Leonardo Cunha de; 0000-0003-1929-9391; http://lattes.cnpq.br/9064196799520278; 0000-0002-0385-0030; http://lattes.cnpq.br/4283045850342312; 0000-0002-6986-3416; http://lattes.cnpq.br/2653822875045890; Prolo, Carlos Augusto; 0009-0003-4293-3247; http://lattes.cnpq.br/3828418008457501; Costa, Valdigleis da Silva; 0000-0001-8738-5836; http://lattes.cnpq.br/2633660012976715A análise de resultados de uma avaliação educacional tem um papel fundamental para o processo de ensino-aprendizagem, pois, dentre outros fatores, ajuda a revelar se estudantes alcançaram os objetivos educacionais esperados. Neste contexto, o presente trabalho consiste numa Análise do Aprendizado de Lógica em um curso de Computação, tendo como objeto da análise as atividades avaliativas do módulo de Lógica de uma disciplina do curso de Ciência da Computação da Universidade Federal do Rio Grande do Norte. Esse conjunto de atividades compreende avaliações realizadas em papel e caneta, além de avaliações realizadas numa plataforma de ensino. Para as avaliações feitas na plataforma, os dados foram coletados a partir do seu arquivo de logs, com o qual foi possível recuperar o passo a passo das tentativas de resolução das tarefas propostas. Nessas avaliações, o foco era a construção de demonstrações formais. Para as outras atividades, cujos objetivos educacionais eram diversos, foram considerados apenas o desempenho percentual final. Ao todo, foram analisadas dez turmas da referida disciplina, ocorridas ao longo de seis anos. Com o suporte de visualizações e métodos estatísticos, buscamos analisar o desempenho dos alunos nas atividades avaliativas individualmente e a relação entre os desempenhos em diferentes atividades avaliativas. Além disso, investigamos as dificuldades enfrentadas pelos alunos no processo de construção de demonstrações formais.