Dados do Trabalho
Application-pdf

Título do Trabalho:
LabLog: Um Laboratório Virtual de Lógica

Arquivo:
BT - (Reis & Pereira, 2017) - LabLog, Um Laboratório Virtual de Lógica.pdf

Resumo do Trabalho:

Lógica simbólica é um conteúdo normalmente abordado em Matemática Discreta, uma disciplina básica em cursos na área de computação. Embora o domínio desse conteúdo seja fundamental na formação de profissionais desses cursos, para muitos estudantes, a lógica simbólica é apenas uma teoria sem muita aplicação prática. Em decorrência deste fato, e devido à dificuldade que os estudantes têm de lidar com conceitos abstratos, o estudo de lógica simbólica acaba sendo negligenciado. Ademais, como os conceitos de lógica simbólica são geralmente difíceis de representar e entender, o desenvolvimento de software educacional neste domínio ainda é considerado um grande desafio. Neste contexto, o objetivo deste artigo é descrever um protótipo de laboratório virtual para realização de experimentos em lógica simbólica, que foi desenvolvido em Prolog, e relatar resultados empíricos obtidos com ele.

Primeiro Autor

Guilherme Vaz França Reis

Outros Autores

Silvio do Lago Pereira