A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação
Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning a...
Na minha lista:
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | Dissertação |
| Idioma: | por |
| Publicado em: |
Universidade Federal do Rio Grande do Norte
|
| Assuntos: | |
| Endereço do item: | https://repositorio.ufrn.br/jspui/handle/123456789/18685 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
| Resumo: | Logic courses represent a pedagogical challenge and the recorded number of cases of failures
and of discontinuity in them is often high. Amont other difficulties, students face
a cognitive overload to understand logical concepts in a relevant way. On that track,
computational tools for learning are resources that help both in alleviating the cognitive
overload scenarios and in allowing for the practical experimenting with theoretical
concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed
at teaching to solve logical conjectures either by proofs or refutations. The tool was
developed from the architecture of the tool TryOcaml, through support of the communication
of the web interface ProofWeb in accessing the proof assistant Coq. The goals of
TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving
problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts
related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing
interactive tasks to the students. The present study also aims at: presenting our
implementation of a formal system for refutation; describing the integration of our infrastructure
with the Virtual Learning Environment Moodle through the IMS Learning
Tools Interoperability specification; presenting the Conjecture Generator that works for
the tasks involving proving and refuting; and, finally to evaluate the learning experience
of Logic students through the application of the conjecture solving task associated to the
use of the TryLogic |
|---|