Made available in DSpace on 2015-03-03T15:47:47Z (GMT). No. of bitstreams: 1
PatrickCAT_DISSERT.pdf: 4794202 bytes, checksum: 05088b21ff2be2b3c2ccec958e7e6b62 (MD5)
Previous issue date: 2013-06-03 / 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 / A disciplina de L?gica representa um desa o tanto para docentes como para discentes, o
que em muitos casos resulta em reprova??es e desist?ncias. Dentre as dificuldades enfrentadas
pelos alunos est? a sobrecarga da capacidade cognitiva para compreender os conceitos
l?gicos de forma relevante. Neste sentido, as ferramentas computacionais de aprendizagem
s?o recursos que auxiliam a redu??o de cen?rios de sobrecarga cognitiva, como tamb?m
permitem a experi?ncia pr?tica de conceitos te?ricos. O presente trabalho prop?e uma
tutorial interativo chamado TryLogic, visando ao ensino da tarefa de Demonstra??o
ou Refuta??o (DxR) de conjecturas l?gicas. Trata-se de uma ferramenta desenvolvida a
partir da arquitetura do TryOcaml atrav?s do suporte de comunica??o da interface web
ProofWeb para acessar o assistente de demonstra??o de teoremas Coq. Os objetivos do
TryLogic s?o: (1) Apresentar um conjunto de li??es para aplicar estrat?gias heur?sticas
de an?lise de problemas em L?gica Proposicional; (2) Organizar em passo-a-passo a exposi
??o dos conte?dos de Dedu??o Natural e Sem?ntica Proposicional de forma sequencial;
e (3) Fornecer aos alunos tarefas interativas. O presente trabalho prop?e tamb?m apresentar
a nossa implementa??o de um sistema formal de refuta??o; descrever a integra??o
de nossa infraestrutura com o Ambiente Virtual de Aprendizagem Moodle atrav?s da especi
ca??o IMS Learning Tools Interoperability ; apresentar o Gerador de Conjecturas de
tarefas de Demonstra??o e Refuta??o e, por m, avaliar a experi?ncia da aprendizagem
de alunos de L?gica atrav?s da aplica??o da tarefa de DxR em associa??o ? utiliza??o do
TryLogic
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufrn.br:123456789/18685 |
Date | 03 June 2013 |
Creators | Terrematte, Patrick Cesar Alves |
Contributors | CPF:87897695620, Haeusler, Edward Hermann, CPF:24815438153, http://lattes.cnpq.br/6075905438020841, Miranda, Leonardo Cunha de, CPF:07276721779, Santiago, Regivan Hugo Nunes, CPF:30680581200, http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4, Almeida, Jo?o Marcos de |
Publisher | Universidade Federal do Rio Grande do Norte, Programa de P?s-Gradua??o em Sistemas e Computa??o, UFRN, BR, Ci?ncia da Computa??o |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | English |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Format | application/pdf |
Source | reponame:Repositório Institucional da UFRN, instname:Universidade Federal do Rio Grande do Norte, instacron:UFRN |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0115 seconds