
Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
| Metadados | Descrição | Idioma |
|---|---|---|
| Autor(es): dc.contributor | Pavão, Zelia Milleo, 1928-2021 | - |
| Autor(es): dc.contributor | Universidade Federal do Paraná. Setor de Educação. Programa de Pós-Graduação em Educação | - |
| Autor(es): dc.creator | Dias, Carlos Magno Correa | - |
| Data de aceite: dc.date.accessioned | 2025-09-01T13:04:34Z | - |
| Data de disponibilização: dc.date.available | 2025-09-01T13:04:34Z | - |
| Data de envio: dc.date.issued | 2022-08-18 | - |
| Data de envio: dc.date.issued | 2022-08-18 | - |
| Data de envio: dc.date.issued | 1993 | - |
| Fonte completa do material: dc.identifier | https://hdl.handle.net/1884/68219 | - |
| Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/1884/68219 | - |
| Descrição: dc.description | Orientador: Zelia Mileo Pavão | - |
| Descrição: dc.description | Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Educação, Curso de Pós-Graduação em Educação | - |
| Descrição: dc.description | Inclui referências: p. 195-200 | - |
| Descrição: dc.description | 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 Sentenciai, 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. Para efeito de qualificação e apresentação deste trabalho, os 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á 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 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. | - |
| Descrição: dc.description | 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 (basic) knowledge of Mathematical Logic (concerning Propositional Calculus principles) and of those students (in graduation 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. With a view towards the qualification and the presentation of this work, the studies were developed based on tests of Ability in Deductive Analytic Thinking, Ability in Algorithmic Thinking and Deductive Thinking. Such tests were given to students of graduation students (B.S.) of the courses of Mathematics, Computer Science and Computer Engineering of the Catholic University of Parana (PUC) and to graduation students (B.C.) of the course of Informatics of "Positivo Faculties". Finally, taking into account the considerations settled on the Theoretical Referential on Mathematical Logic, some reflections are shown concerning the necessity of logical requirements in order to achieve a complete development of the students of Exact Sciences and Technology courses. | - |
| Formato: dc.format | xiii, 229 f. : il., grafs., tabs. | - |
| Formato: dc.format | application/pdf | - |
| Formato: dc.format | application/pdf | - |
| Relação: dc.relation | Disponível em formato digital | - |
| Palavras-chave: dc.subject | Lógica simbólica e matemática | - |
| Palavras-chave: dc.subject | Matematica - Filosofia | - |
| Palavras-chave: dc.subject | Redação acadêmica | - |
| Palavras-chave: dc.subject | Educação | - |
| Título: dc.title | A lógica matemática enquanto agente transformador dos processos inferenciais em matemática superior | - |
| Tipo de arquivo: dc.type | livro digital | - |
| Aparece nas coleções: | Repositório Institucional - Rede Paraná Acervo | |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: