Autor(es): ERICK WILLAMES EVANGELISTA RODRIGUES
Palavras-chave: Gamificação, Lógica de predicados, formalização de argumentos
Defendido/Publicado em: 2019-12-06
Orientador(a): PARCILENE FERNANDES DE BRITO
Curso: Ciência da Computação
O estudo da Lógica está ligado diretamente ao desenvolvimento do raciocínio computacional e por este motivo é essencial para os cursos da área de Tecnologia da Informação (TI). Contudo, existem dificuldades por parte dos alunos no aprendizado deste conteúdo, sendo necessária a criação de ferramentas de auxílio ao aprendizado. Nesta perspectiva, o presente trabalho visa a elaboração do módulo de formalização de argumentos lógicos no contexto da Lógica proposicional. A criação do módulo, além de ser baseada na estrutura de software da plataforma online de ensino e aprendizado de Lógica - Logic Live aplica elementos de jogos, prática conhecida como gamificação, com o intuito de obter maior engajamento por parte dos alunos. Alguns conceitos sobre Lógica de predicados, Lógica proposicional, formalização de argumentos e gamificação, bem como aplicações da gamificação no contexto educacional são apresentados ao longo do trabalho. A metodologia de desenvolvimento foi dividida em oito passos, que seguem uma sequência lógica composta pela etapa de realização de reuniões com o especialista de domínio, definição da estrutura de cadastro dos argumentos, definição da estrutura de resposta, definição dos métodos de correção das respostas, definição dos elementos de gamificação, criação do protótipo do módulo, implementação e integração à plataforma Logic Live. Com a execução dos passos metodológicos foi possível desenvolver e integrar o Módulo de Formalização de Argumentos Gamificado, o referente módulo possibilita o estudo e aprendizado no âmbito da formalização de argumentos, apresentando aspectos de gamificação através da implementação de níveis e recompensas para determinadas ações. Todo o processo desde a pesquisa até a integração do módulo à plataforma Logic Live estão descritos ao longo deste trabalho.
DESENVOLVIMENTO DO MÓDULO GAMIFICADO DE FORMALIZAÇÃO DE ARGUMENTOS DO LOGIC LIVE. 2019. Trabalho de Conclusão de Curso (Bacharelado em Ciência da Computação). Centro Universitário Luterano de Palmas, Palmas, Tocantins, 2019. Disponível em: <http://ulbra-to.br/bibliotecadigital/publico/home/documento/2600>. Acesso em: 14 nov. 2024