LOGOS - CADERNO DE ESTUDOS E EXERCÍCIOS DE LÓGICA DO AMBIENTE DE ENSINO HERÁCLITO
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.
LOGOS - CADERNO DE ESTUDOS E EXERCÍCIOS DE LÓGICA DO AMBIENTE DE ENSINO HERÁCLITO
-
DOI: 10.22533/at.ed.83419040218
-
Palavras-chave: Lógica, ambiente de ensino, Sistema Tutor Inteligente.
-
Keywords: Logic, teaching environment, Intelligent Tutor System.
-
Abstract:
This article aims to present
the Logic of Studies and Exercises of Logic
(LOGOS) of the teaching environment Heráclito.
The Heráclito environment assists students
in solving various types of Logic exercises,
beginning with exercises to calculate the logical
value of a formula, going through truth-tablebuilding exercises, and even elaborating proofof-arguments exercises through the rules of
Natural Deduction. In this way, the environment
provides the Electronic Logbook LOGOS that
allows to create and edit formulas, truth tables
and proofs of Propositional Logic. The LOGOS is
compatible with notebook, tablets, smartphones
and PCs and is currently being used with 1st
and 2nd semester undergraduates in curricula
in the scientific and technological areas.
-
Número de páginas: 15
- Cristiano Galafassi
- João Carlos Gluz
- Rosa Maria Vicari
- Fabiane Flores Penteado Galafassi
