Export Ready — 

LOGOS - Caderno de Estudos e Exercícios de Lógica do ambiente de ensino Heráclito

Detalhes bibliográficos
Autor(a) principal: Galafassi, Fabiane Flores Penteado
Data de Publicação: 2018
Outros Autores: Galafassi, Cristiano, Gluz, João Carlos, Vicari, Rosa Maria, Bueno, Rafael
Tipo de documento: Artigo
Idioma: por
Título da fonte: Repositório Institucional da Universidade Federal do Ceará (UFC)
Texto Completo: http://www.repositorio.ufc.br/handle/riufc/43900
Resumo: O presente artigo tem como objetivo apresentar o Caderno de Estudos e Exercícios de Lógica (LOGOS) do ambiente de ensino Heráclito. O ambiente Heráclito auxilia estudantes a resolver vários tipos de exercícios de Lógica, começando com exercícios para calcular o valor lógico de uma fórmula, passando por exercícios de construção de tabelas-verdade e chegando até exercícios de elaboração de provas de argumentos por meio das regras da Dedução Natural. Desta forma, o ambiente disponibiliza o Caderno Eletrônico LOGOS que permite criar e editar fórmulas, tabelas-verdade e provas da Lógica Proposicional. O caderno LOGOS é compatível com tablets, smartphones e PCs e atualmente vem sendo utilizado com alunos de graduação dos 1º e 2º semestres em currículos das áreas científicas e tecnológicas.
id UFC-7_8bf8bd01e5cfc8a15e759219e387f40b
oai_identifier_str oai:repositorio.ufc.br:riufc/43900
network_acronym_str UFC-7
network_name_str Repositório Institucional da Universidade Federal do Ceará (UFC)
repository_id_str
spelling Galafassi, Fabiane Flores PenteadoGalafassi, CristianoGluz, João CarlosVicari, Rosa MariaBueno, Rafael2019-07-22T19:37:40Z2019-07-22T19:37:40Z2018GALAFASSI, Fabiane Flores Penteado; GALAFASSI, Cristiano; GLUZ, João Carlos; VICARI, Rosa Maria; BUENO, Rafael. LOGOS - Caderno de Estudos e Exercícios de Lógica do ambiente de ensino Heráclito .In: CONGRESSO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO, 7., 29 out.-01 nov. 2018, Fortaleza (CE). Anais... Fortaleza (CE): SBC, 2018. p. 164-171.2316 8889http://www.repositorio.ufc.br/handle/riufc/43900SBPCaderno de Estudos e Exercícios de Lógica (LOGOS)Ambiente de ensino HeráclitoCaderno Eletrônico LOGOS - tabelas verdadeLOGOS - Caderno de Estudos e Exercícios de Lógica do ambiente de ensino Heráclitoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleO presente artigo tem como objetivo apresentar o Caderno de Estudos e Exercícios de Lógica (LOGOS) do ambiente de ensino Heráclito. O ambiente Heráclito auxilia estudantes a resolver vários tipos de exercícios de Lógica, começando com exercícios para calcular o valor lógico de uma fórmula, passando por exercícios de construção de tabelas-verdade e chegando até exercícios de elaboração de provas de argumentos por meio das regras da Dedução Natural. Desta forma, o ambiente disponibiliza o Caderno Eletrônico LOGOS que permite criar e editar fórmulas, tabelas-verdade e provas da Lógica Proposicional. O caderno LOGOS é compatível com tablets, smartphones e PCs e atualmente vem sendo utilizado com alunos de graduação dos 1º e 2º semestres em currículos das áreas científicas e tecnológicas.porreponame:Repositório Institucional da Universidade Federal do Ceará (UFC)instname:Universidade Federal do Ceará (UFC)instacron:UFCinfo:eu-repo/semantics/openAccessORIGINAL2018_eve_ffpgalafassi.pdf2018_eve_ffpgalafassi.pdfapplication/pdf1037600http://repositorio.ufc.br/bitstream/riufc/43900/1/2018_eve_ffpgalafassi.pdfdf10a6a3dee6448936048c75515a7ad1MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81748http://repositorio.ufc.br/bitstream/riufc/43900/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufc/439002019-07-22 16:37:40.481oai:repositorio.ufc.br:riufc/43900Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalPUBhttp://www.repositorio.ufc.br/ri-oai/requestbu@ufc.br || repositorio@ufc.bropendoar:2019-07-22T19:37:40Repositório Institucional da Universidade Federal do Ceará (UFC) - Universidade Federal do Ceará (UFC)false
dc.title.pt_BR.fl_str_mv LOGOS - Caderno de Estudos e Exercícios de Lógica do ambiente de ensino Heráclito
title LOGOS - Caderno de Estudos e Exercícios de Lógica do ambiente de ensino Heráclito
spellingShingle LOGOS - Caderno de Estudos e Exercícios de Lógica do ambiente de ensino Heráclito
Galafassi, Fabiane Flores Penteado
Caderno de Estudos e Exercícios de Lógica (LOGOS)
Ambiente de ensino Heráclito
Caderno Eletrônico LOGOS - tabelas verdade
title_short LOGOS - Caderno de Estudos e Exercícios de Lógica do ambiente de ensino Heráclito
title_full LOGOS - Caderno de Estudos e Exercícios de Lógica do ambiente de ensino Heráclito
title_fullStr LOGOS - Caderno de Estudos e Exercícios de Lógica do ambiente de ensino Heráclito
title_full_unstemmed LOGOS - Caderno de Estudos e Exercícios de Lógica do ambiente de ensino Heráclito
title_sort LOGOS - Caderno de Estudos e Exercícios de Lógica do ambiente de ensino Heráclito
author Galafassi, Fabiane Flores Penteado
author_facet Galafassi, Fabiane Flores Penteado
Galafassi, Cristiano
Gluz, João Carlos
Vicari, Rosa Maria
Bueno, Rafael
author_role author
author2 Galafassi, Cristiano
Gluz, João Carlos
Vicari, Rosa Maria
Bueno, Rafael
author2_role author
author
author
author
dc.contributor.author.fl_str_mv Galafassi, Fabiane Flores Penteado
Galafassi, Cristiano
Gluz, João Carlos
Vicari, Rosa Maria
Bueno, Rafael
dc.subject.por.fl_str_mv Caderno de Estudos e Exercícios de Lógica (LOGOS)
Ambiente de ensino Heráclito
Caderno Eletrônico LOGOS - tabelas verdade
topic Caderno de Estudos e Exercícios de Lógica (LOGOS)
Ambiente de ensino Heráclito
Caderno Eletrônico LOGOS - tabelas verdade
description O presente artigo tem como objetivo apresentar o Caderno de Estudos e Exercícios de Lógica (LOGOS) do ambiente de ensino Heráclito. O ambiente Heráclito auxilia estudantes a resolver vários tipos de exercícios de Lógica, começando com exercícios para calcular o valor lógico de uma fórmula, passando por exercícios de construção de tabelas-verdade e chegando até exercícios de elaboração de provas de argumentos por meio das regras da Dedução Natural. Desta forma, o ambiente disponibiliza o Caderno Eletrônico LOGOS que permite criar e editar fórmulas, tabelas-verdade e provas da Lógica Proposicional. O caderno LOGOS é compatível com tablets, smartphones e PCs e atualmente vem sendo utilizado com alunos de graduação dos 1º e 2º semestres em currículos das áreas científicas e tecnológicas.
publishDate 2018
dc.date.issued.fl_str_mv 2018
dc.date.accessioned.fl_str_mv 2019-07-22T19:37:40Z
dc.date.available.fl_str_mv 2019-07-22T19:37:40Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.citation.fl_str_mv GALAFASSI, Fabiane Flores Penteado; GALAFASSI, Cristiano; GLUZ, João Carlos; VICARI, Rosa Maria; BUENO, Rafael. LOGOS - Caderno de Estudos e Exercícios de Lógica do ambiente de ensino Heráclito .In: CONGRESSO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO, 7., 29 out.-01 nov. 2018, Fortaleza (CE). Anais... Fortaleza (CE): SBC, 2018. p. 164-171.
dc.identifier.uri.fl_str_mv http://www.repositorio.ufc.br/handle/riufc/43900
dc.identifier.isbn.none.fl_str_mv 2316 8889
identifier_str_mv GALAFASSI, Fabiane Flores Penteado; GALAFASSI, Cristiano; GLUZ, João Carlos; VICARI, Rosa Maria; BUENO, Rafael. LOGOS - Caderno de Estudos e Exercícios de Lógica do ambiente de ensino Heráclito .In: CONGRESSO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO, 7., 29 out.-01 nov. 2018, Fortaleza (CE). Anais... Fortaleza (CE): SBC, 2018. p. 164-171.
2316 8889
url http://www.repositorio.ufc.br/handle/riufc/43900
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.publisher.none.fl_str_mv SBP
publisher.none.fl_str_mv SBP
dc.source.none.fl_str_mv reponame:Repositório Institucional da Universidade Federal do Ceará (UFC)
instname:Universidade Federal do Ceará (UFC)
instacron:UFC
instname_str Universidade Federal do Ceará (UFC)
instacron_str UFC
institution UFC
reponame_str Repositório Institucional da Universidade Federal do Ceará (UFC)
collection Repositório Institucional da Universidade Federal do Ceará (UFC)
bitstream.url.fl_str_mv http://repositorio.ufc.br/bitstream/riufc/43900/1/2018_eve_ffpgalafassi.pdf
http://repositorio.ufc.br/bitstream/riufc/43900/2/license.txt
bitstream.checksum.fl_str_mv df10a6a3dee6448936048c75515a7ad1
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da Universidade Federal do Ceará (UFC) - Universidade Federal do Ceará (UFC)
repository.mail.fl_str_mv bu@ufc.br || repositorio@ufc.br
_version_ 1847792249835880448

Registros relacionados