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

Detalhes bibliográficos
Ano de defesa: 2013
Autor(a) principal: Terrematte, Patrick Cesar Alves
Orientador(a): Almeida, João Marcos de
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal do Rio Grande do Norte
Programa de Pós-Graduação: Programa de Pós-Graduação em Sistemas e Computação
Departamento: Ciência da Computação
País: BR
Palavras-chave em Português:
Lógica matemática. Assistente de demonstração. Tutorial interativo. Ensino de lógica
Palavras-chave em Inglês:
Mathematical logic. Proof assistant. Interactive tutorial. Teaching logic
Área do conhecimento CNPq:
CNPQ::OUTROS
Link de acesso: https://repositorio.ufrn.br/jspui/handle/123456789/18685
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
id UFRN_0bfda9752c1b870c577ff4a25285efca
oai_identifier_str oai:https://repositorio.ufrn.br:123456789/18685
network_acronym_str UFRN
network_name_str Repositório Institucional da UFRN
repository_id_str
spelling Terrematte, Patrick Cesar AlvesHaeusler, Edward Hermannhttp://lattes.cnpq.br/6075905438020841Miranda, Leonardo Cunha deSantiago, Regivan Hugo Nuneshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4Almeida, João Marcos de2015-03-03T15:47:47Z2015-02-252015-03-03T15:47:47Z2013-06-03TERREMATTE, Patrick Cesar Alves. The integration of the interactive tutorial TryLogic via IMS Learning Tools Interoperability: constructing a framework to teaching logic by proofs and refutations. 2013. 135 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2013.https://repositorio.ufrn.br/jspui/handle/123456789/18685Logic 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 TryLogicA 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 TryLogicapplication/pdfporUniversidade Federal do Rio Grande do NortePrograma de Pós-Graduação em Sistemas e ComputaçãoUFRNBRCiência da ComputaçãoLógica matemática. Assistente de demonstração. Tutorial interativo. Ensino de lógicaMathematical logic. Proof assistant. Interactive tutorial. Teaching logicCNPQ::OUTROSA 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çãoThe integration of the interactive tutorial TryLogic via IMS Learning Tools Interoperability: constructing a framework to teaching logic by proofs and refutationsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRNORIGINALPatrickCAT_DISSERT.pdfapplication/pdf4794202https://repositorio.ufrn.br/bitstream/123456789/18685/1/PatrickCAT_DISSERT.pdf05088b21ff2be2b3c2ccec958e7e6b62MD51TEXTPatrickCAT_DISSERT.pdf.txtPatrickCAT_DISSERT.pdf.txtExtracted texttext/plain247156https://repositorio.ufrn.br/bitstream/123456789/18685/6/PatrickCAT_DISSERT.pdf.txt8ba3d6b52b92ee3845eaebf05a50bb6cMD56THUMBNAILPatrickCAT_DISSERT.pdf.jpgPatrickCAT_DISSERT.pdf.jpgIM Thumbnailimage/jpeg3946https://repositorio.ufrn.br/bitstream/123456789/18685/7/PatrickCAT_DISSERT.pdf.jpga49b38807dbafb4c7df6c8213ca69c85MD57123456789/186852017-11-03 00:50:24.965oai:https://repositorio.ufrn.br:123456789/18685Repositório de PublicaçõesPUBhttp://repositorio.ufrn.br/oai/opendoar:2017-11-03T03:50:24Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false
dc.title.por.fl_str_mv 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
dc.title.alternative.eng.fl_str_mv The integration of the interactive tutorial TryLogic via IMS Learning Tools Interoperability: constructing a framework to teaching logic by proofs and refutations
title 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
spellingShingle 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
Terrematte, Patrick Cesar Alves
Lógica matemática. Assistente de demonstração. Tutorial interativo. Ensino de lógica
Mathematical logic. Proof assistant. Interactive tutorial. Teaching logic
CNPQ::OUTROS
title_short 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
title_full 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
title_fullStr 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
title_full_unstemmed 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
title_sort 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
author Terrematte, Patrick Cesar Alves
author_facet Terrematte, Patrick Cesar Alves
author_role author
dc.contributor.authorID.por.fl_str_mv
dc.contributor.advisorID.por.fl_str_mv
dc.contributor.referees1.pt_BR.fl_str_mv Haeusler, Edward Hermann
dc.contributor.referees1ID.por.fl_str_mv
dc.contributor.referees1Lattes.por.fl_str_mv http://lattes.cnpq.br/6075905438020841
dc.contributor.referees2.pt_BR.fl_str_mv Miranda, Leonardo Cunha de
dc.contributor.referees2ID.por.fl_str_mv
dc.contributor.referees3.pt_BR.fl_str_mv Santiago, Regivan Hugo Nunes
dc.contributor.referees3ID.por.fl_str_mv
dc.contributor.referees3Lattes.por.fl_str_mv http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4
dc.contributor.author.fl_str_mv Terrematte, Patrick Cesar Alves
dc.contributor.advisor1.fl_str_mv Almeida, João Marcos de
contributor_str_mv Almeida, João Marcos de
dc.subject.por.fl_str_mv Lógica matemática. Assistente de demonstração. Tutorial interativo. Ensino de lógica
topic Lógica matemática. Assistente de demonstração. Tutorial interativo. Ensino de lógica
Mathematical logic. Proof assistant. Interactive tutorial. Teaching logic
CNPQ::OUTROS
dc.subject.eng.fl_str_mv Mathematical logic. Proof assistant. Interactive tutorial. Teaching logic
dc.subject.cnpq.fl_str_mv CNPQ::OUTROS
description 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
publishDate 2013
dc.date.issued.fl_str_mv 2013-06-03
dc.date.accessioned.fl_str_mv 2015-03-03T15:47:47Z
dc.date.available.fl_str_mv 2015-02-25
2015-03-03T15:47:47Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv TERREMATTE, Patrick Cesar Alves. The integration of the interactive tutorial TryLogic via IMS Learning Tools Interoperability: constructing a framework to teaching logic by proofs and refutations. 2013. 135 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2013.
dc.identifier.uri.fl_str_mv https://repositorio.ufrn.br/jspui/handle/123456789/18685
identifier_str_mv TERREMATTE, Patrick Cesar Alves. The integration of the interactive tutorial TryLogic via IMS Learning Tools Interoperability: constructing a framework to teaching logic by proofs and refutations. 2013. 135 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2013.
url https://repositorio.ufrn.br/jspui/handle/123456789/18685
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Sistemas e Computação
dc.publisher.initials.fl_str_mv UFRN
dc.publisher.country.fl_str_mv BR
dc.publisher.department.fl_str_mv Ciência da Computação
publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRN
instname:Universidade Federal do Rio Grande do Norte (UFRN)
instacron:UFRN
instname_str Universidade Federal do Rio Grande do Norte (UFRN)
instacron_str UFRN
institution UFRN
reponame_str Repositório Institucional da UFRN
collection Repositório Institucional da UFRN
bitstream.url.fl_str_mv https://repositorio.ufrn.br/bitstream/123456789/18685/1/PatrickCAT_DISSERT.pdf
https://repositorio.ufrn.br/bitstream/123456789/18685/6/PatrickCAT_DISSERT.pdf.txt
https://repositorio.ufrn.br/bitstream/123456789/18685/7/PatrickCAT_DISSERT.pdf.jpg
bitstream.checksum.fl_str_mv 05088b21ff2be2b3c2ccec958e7e6b62
8ba3d6b52b92ee3845eaebf05a50bb6c
a49b38807dbafb4c7df6c8213ca69c85
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)
repository.mail.fl_str_mv
_version_ 1802118128523542528

Registros relacionados