A carregar...
Publicação
Interactive tool for practicing and evaluating logic exercises
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 8.89 MB | Adobe PDF |
Orientador(es)
Resumo(s)
Logic is a core topic in areas like mathematics and computer science and is a key discipline
in the computer science curriculum. In this context, students and teachers often lack tools
to complement logic classes, especially for practicing exercises, as it is not always possible
for students to interact with teachers to address their difficulties.
Online courses are a good example of tools that provide accessible resources to a wide
variety of people. However, in the field of logic, these courses typically do not allow
for the addition of new material and are often limited in the number of exercises. Logic
includes various kinds of exercises, with natural deduction posing one of the greatest
challenges for students. Unfortunately, there are few tools available to support these
exercises. Additionally, many of these tools lack effective feedback mechanisms.
Developing an effective feedback system is essential to achieving a successful tool.
However, it is a challenging task, as we do not want a system where students are always
dependent on the feedback and stop thinking by themselves, but at the same time, we do
not want them to lose interest in learning because they are always stuck in exercises.
In this thesis, we present the development of an interactive online tool whose goal is to
help students practice natural deduction exercises. The system is designed for everyone,
from novice users who are starting their journey in learning logic to experienced users
who want to improve their skills. Our main contribution is an effective feedback system
that guides students throughout the construction of Natural Deduction proofs. The tool
was developed for both computers and touch devices, so it can be used in practical classes
or at home as a personal study resource.
With this project, we provide students with a study tool that is accessible to everyone
and capable of assisting them in overcoming, in an efficient and engaging way, the
challenges they face in logic exercises.
Lógica é um tópico essencial em áreas como matemática e ciência da computação, sendo uma disciplina chave no currículo de informática. Neste contexto, alunos e professores carecem de ferramentas para complementar as aulas, especialmente para praticar, pois nem sempre os alunos podem interagir com os professores para esclarecer dúvidas. Os cursos online sãoum bom exemplo de ferramentas que oferecem recursos acessíveis a todos. No entanto, no campo da lógica, estes cursos tipicamente não permitem a adição de novos materiais e são limitados no número de tipos de exercícios. A lógica inclui diversos tipos de exercícios, sendo a dedução natural o mais desafiador. Infelizmente, são poucas as ferramentas disponíveis com esses exercícios. Além disso, muitas delas carecem de mecanismos eficazes de feedback, deixando os utilizadores perdidos. Desenvolver um sistema de feedback eficaz é essencial para alcançar uma ferramenta de sucesso. No entanto, é uma tarefa desafiante, pois não queremos um sistema onde os alunos dependam do feedback, mas ao mesmo tempo, não queremos que percam o interesse em aprender. Nesta tese, apresentamos o desenvolvimento de uma ferramenta online interativa com o objetivo de ajudar os alunos a praticar dedução natural. Criámos um sistema acessível a todos, desde o utilizador novato em lógica até o utilizador experiente. O nosso foco principal foi a implementação de um sistema de feedback eficaz que guia os alunos ao longo da construção das provas. A ferramenta foi desenvolvida para computadores e dispositivos com ecrã tátil, podendo ser utilizada tanto em aulas práticas como em estudo individual. Além disso, foi desenhada com uma arquitetura extensível, permitindo futuras expansões para outros tipos de exercícios e integração com plataformas de e-learning como o Moodle. Com este projeto, disponibilizamos uma ferramenta de estudo acessível a todos, capaz de ajudar os alunos a superar, de uma forma eficiente e envolvente, os desafios que enfrentam nos exercícios de lógica.
Lógica é um tópico essencial em áreas como matemática e ciência da computação, sendo uma disciplina chave no currículo de informática. Neste contexto, alunos e professores carecem de ferramentas para complementar as aulas, especialmente para praticar, pois nem sempre os alunos podem interagir com os professores para esclarecer dúvidas. Os cursos online sãoum bom exemplo de ferramentas que oferecem recursos acessíveis a todos. No entanto, no campo da lógica, estes cursos tipicamente não permitem a adição de novos materiais e são limitados no número de tipos de exercícios. A lógica inclui diversos tipos de exercícios, sendo a dedução natural o mais desafiador. Infelizmente, são poucas as ferramentas disponíveis com esses exercícios. Além disso, muitas delas carecem de mecanismos eficazes de feedback, deixando os utilizadores perdidos. Desenvolver um sistema de feedback eficaz é essencial para alcançar uma ferramenta de sucesso. No entanto, é uma tarefa desafiante, pois não queremos um sistema onde os alunos dependam do feedback, mas ao mesmo tempo, não queremos que percam o interesse em aprender. Nesta tese, apresentamos o desenvolvimento de uma ferramenta online interativa com o objetivo de ajudar os alunos a praticar dedução natural. Criámos um sistema acessível a todos, desde o utilizador novato em lógica até o utilizador experiente. O nosso foco principal foi a implementação de um sistema de feedback eficaz que guia os alunos ao longo da construção das provas. A ferramenta foi desenvolvida para computadores e dispositivos com ecrã tátil, podendo ser utilizada tanto em aulas práticas como em estudo individual. Além disso, foi desenhada com uma arquitetura extensível, permitindo futuras expansões para outros tipos de exercícios e integração com plataformas de e-learning como o Moodle. Com este projeto, disponibilizamos uma ferramenta de estudo acessível a todos, capaz de ajudar os alunos a superar, de uma forma eficiente e envolvente, os desafios que enfrentam nos exercícios de lógica.
Descrição
Palavras-chave
Algorithm Deductive System Feedback First-Order Logic Interactive tool Logic