Resumo (Abstract) à primeira edição de “A lógica matemática enquanto agente transformador dos processos inferenciais em matemática superior”.
Curitiba: Carlos Magno Corrêa Dias, 1993.
Sem ISBN.
RESUMO
O presente estudo consiste de uma contribuição inicial ao repensar o ensino e a aprendizagem das estruturas lógico-formais relacionadas às Matemáticas (quanto à essência, ao formalismo, à axiomatização e à complexidade) a partir de uma fundamentação, a priori, estruturada em termos dos princípios norteadores da Lógica Matemática (ou Lógica Formal, ou Lógica Algorítmica).
O trabalho em questão pretende caracterizar, ou antes, determinar as diferenças existentes entre o nível de aproveitamento dos educandos que detêm conhecimentos iniciais (basilares) sobre Lógica Matemática (no que concerne aos fundamentos do Cálculo dos Enunciados ou Cálculo Proposicional) daqueles estudantes que (nos cursos universitários das Ciências Exatas e Tecnologia) não se relacionam com tal disciplina, no tocante à compreensão, à abstração e à manipulação do formalismo matemático associado aos processos inferenciais.
A pesquisa realizada apresenta, por outro lado, considerações sobre as vantagens existentes na utilização das leis lógico-formais (vinculadas ao Cálculo Sentencial, em Lógica Formal) no desempenho dos educandos que necessitam do formalismo, da simbolização e da axiomatização, em Matemática, para o devido desenvolvimento e promoção nos cursos das Ciências Exatas e de Tecnologia, principalmente no que diz respeito à dedução ou, em específico, ao processo inferencial.
Para efeito de qualificação e/ou apresentação deste trabalho, os correspondentes estudos foram desenvolvidos sobre testes de Capacitação Analítico-Dedutiva, de Capacitação Lógico-Inferencial e de Capacitação Numérico-Dedutiva; testes estes, aplicados sobre alunos dos cursos de Bacharelado em Matemática, Bacharelado em Ciências da Computação e Engenharia da Computação da Pontifícia Universidade Católica do Paraná (PUCPR) e do curso de Bacharelado em Informática das Faculdades Positivo.
Em última instância, tomando-se por base as considerações estabelecidas no Referencial Teórico a respeito da Lógica Matemática, são apresentadas ponderações sobre a dimensão de dependência entre a Matemática e Lógica Matemática, no que diz respeito à necessidade dos pressupostos lógico-dedutivos para o efetivo desenvolvimento dos educandos dos cursos de Ciências Exatas e de Tecnologia em Matemática.
ABSTRACT
The present study is a starting contribution to the teaching and learning re-examination of formal systems related to Mathematics (concerning essence, formal aspects, axiomatization and complexity), from a foundation structured, a priori, in terms of the guiding principles of the Mathematical Logic (or Formal Languages or Arithmetical Languages).
This work intends to characterize - or rather, to determine the differences between the level of apprehension of students who already have fundamental knowledge of Mathematical Logic (concerning Propositional Calculus principles) and of those students (in courses of Exact Sciences and Technology) who never had the discipline afore mentioned in what to comprehension, abstraction and manipulation of mathematical formalism associated to rules of inference.
On the other hand, the research also shows some considerations about the existing advantages in the use of tautologies and syllogism for the performance of students who need formalism, symbolization and axiomatization in Mathematics for the due development and promotion.
Whith a view towards the qualification and the presentation of this work, the studies were developed based on tests of Ability in Deductive Analythic Thinking, Ability in Algorithmic Thinking and Deductive Thinking. Such tests were given to students of graduation students of the courses of Mathematics, Computer Science and Computer Engineering of the Catholic University of Parana (PUC) and to graduation students (B.S.) of the course of Informatics of Positivo Faculties.
Finally, taking into account the considerations settled on the Theoretical Referencial on Mathematical Logic, some reflections are sohwn concerning the necessity of logical requirements in order to achieve a complete development of the students of Exact Sciences and Tecnology courses.
Carlos Magno Corrêa Dias
Curitiba-PR, 13/10/1993
This work intends to characterize - or rather, to determine the differences between the level of apprehension of students who already have fundamental knowledge of Mathematical Logic (concerning Propositional Calculus principles) and of those students (in courses of Exact Sciences and Technology) who never had the discipline afore mentioned in what to comprehension, abstraction and manipulation of mathematical formalism associated to rules of inference.
On the other hand, the research also shows some considerations about the existing advantages in the use of tautologies and syllogism for the performance of students who need formalism, symbolization and axiomatization in Mathematics for the due development and promotion.
Whith a view towards the qualification and the presentation of this work, the studies were developed based on tests of Ability in Deductive Analythic Thinking, Ability in Algorithmic Thinking and Deductive Thinking. Such tests were given to students of graduation students of the courses of Mathematics, Computer Science and Computer Engineering of the Catholic University of Parana (PUC) and to graduation students (B.S.) of the course of Informatics of Positivo Faculties.
Finally, taking into account the considerations settled on the Theoretical Referencial on Mathematical Logic, some reflections are sohwn concerning the necessity of logical requirements in order to achieve a complete development of the students of Exact Sciences and Tecnology courses.
Carlos Magno Corrêa Dias
Curitiba-PR, 13/10/1993