Publication
Interactive tool for practicing and evaluating logic exercises
| Summary: | 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. |
|---|---|
| Main Authors: | Macau, Daniel Gonçalves Fuseta Rosa |
| Subject: | Algorithm Deductive System Feedback First-Order Logic Interactive tool Logic |
| Year: | 2025 |
| Country: | Portugal |
| Document type: | master thesis |
| Access type: | open access |
| Associated institution: | Universidade Nova de Lisboa |
| Language: | English |
| Origin: | Repositório Institucional da UNL |
| Summary: | 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. |
|---|