Da dedução para a álgebra
Iniciamos com o conceito de dedução, como conhecido no contexto da Matemática e das ciências exatas. Então, apresentamos algumas propostas de formalização da dedução em sistemas dedutivos, o que é bem conhecido nos tratados de lógica universal ou lógica abstrata. Como uma outra opção de formalizaçã...
Main Authors: | H´ercules de Araujo Feitosa, Marcelo Reicher Soares |
---|---|
Format: | Article |
Language: | Portuguese |
Published: |
UNESP
2017-12-01
|
Series: | CQD Revista Eletrônica Paulista de Matemática |
Subjects: | |
Online Access: | https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/129 |
Similar Items
-
A Lógica do Muito descrita em um sistema de tablôs
by: Mariana Matulovic, et al.
Published: (2021-07-01) -
Da dedução para a álgebra
by: Hércules de Araujo Feitosa, et al.
Published: (2017-12-01) -
ÁLGEBRA ESCOLAR NA CONTEMPORANEIDADE: UMA DISCUSSÃO NECESSÁRIA
by: Jadilson Ramos Almeida
Published: (2017-07-01) -
Concepções de Álgebra presentes nas macroavaliações: os casos da Prova Brasil e do ENEM de 2011
by: Debora da Silva Souza, et al.
Published: (2017-04-01) -
Utilização de questões do SARESP para análise de erros e dificuldades dos alunos em questões sobre Álgebra
by: Alessandro Gonçalves, et al.
Published: (2016-11-01)