Uma reavaliação do pensamento lógico de George Boole à luz da história da matemática

The aim of the present study is to reevaluate the logical thought of the English mathematician George Boole (1815 - 1864). Thus, our research centers on the mathematical analysis of logic in the context of the history of mathematics. In order to do so, we present various biographical considerations about Boole in the light of events that happened in the 19th century and their consequences for mathematical production. We briefly describe Boole's innovations in the areas of differential equations and invariant theory and undertake an analysis of Boole's logic, especially as formulated in the book The Mathematical Analysis of Logic, comparing it not only with the traditional Aristotelian logic, but also with modern symbolic logic. We conclude that Boole, as he intended, expanded logic both in terms of its content and also in terms of its methods and formal elaboration. We further conclude that his purpose was the mathematical modeling of deductive reasoning, which led him to present an innovative formalism for logic and, because the different ways it can be interpreted, a new conception of mathematics

Uma Fundamentação Intervalar Aplicada à Morfologia Matemática

This work present a interval approach to deal with images with that contain uncertainties, as well, as treating these uncertainties through morphologic operations. Had been presented two intervals models. For the first, is introduced an algebraic space with three values, that was constructed based in the tri-valorada logic of Lukasiewiecz. With this algebraic structure, the theory of the interval binary images, that extends the classic binary model with the inclusion of the uncertainty information, was introduced. The same one can be applied to represent certain binary images with uncertainty in pixels, that it was originated, for example, during the process of the acquisition of the image. The lattice structure of these images, allow the definition of the morphologic operators, where the uncertainties are treated locally. The second model, extend the classic model to the images in gray levels, where the functions that represent these images are mapping in a finite set of interval values. The algebraic structure belong the complete lattices class, what also it allow the definition of the elementary operators of the mathematical morphology, dilation and erosion for this images. Thus, it is established a interval theory applied to the mathematical morphology to deal with problems of uncertainties in images

Questões objetivas sobre funções das provas de matemática do vestibular da UFRN dos anos de (2001 a 2008): um diagnóstico sobre os erros que os candidatos cometem

La dificultad que los alumnos encuentran en el aprendizaje de matemática viene siendo objeto de investigación por estudiosos en educación matemática, tanto en Brasil como en el exterior. El objetivo de este estudio consiste em investigar las dificuldades en el aprendizado sobre funciones matemáticas y la influencia de las concepciones alternativas a partir de los errores que los candidatos acerca de las cuestiones sobre funciones en la prueba objetiva de matemática del acceso a la universidad de los años de 2001 a 2008. Teniendo como cuestiones de estudio para alcanzar el objetivo propuesto: identificar la relevancia del tema funciones que son contemplados en las pruebas de acceso a la Universidad; asi como cuáles han sido los tipos de funciones más privilegiados y menos privilegiados; analizar si la contextualización de la pregunta y la presencia de elementos no textuales han influenciado en el aumento de tal dificultad; analizar si la representación semiótica agrega mayor exigencia a la pregunta; analizar respecto a la exigencia matemática de la pregunta; analizar lo que se refiere al desempeño de los candidatos para verificar cuál pregunta tuvo mejor desempeño y cuál el peor e identificar los errores más frecuentemente cometidos por los candidatos en esas pruebas. Las reflexiones de los estudiosos como: Radatz (1980), Cury (1994), Socas (1997), Borasi (1997), Franchi e Rincón (2004), Pochulu (2004) presentan las dificultades en el aprendizaje matemático, que aparecen a partir de los errores cometidos por los alumnos, quando estos errores reciben la influencia de las concepciones alternativas. El estudio que se presenta en esta disertación configura un análisis de los errores que los candidatos han cometido en las preguntas objetivas sobre el tema funciones de las pruebas de acceso a la Universidad de los años de 2001 a 2008, a partir de los relatorios de la Comissão Permanente do Vestibular COMPERVE/UFRN. Con la intención de alcanzar los objetivos propuestos para este estudio, fueran sido construidas categorías de análisis. Los resultados encontrados han sido: El tema funciones es el más frecuente entre los demás con (28,1%); el tipo de función priorizada durante esos años ha sido la función logarítmica con (24%); la contextualización de las preguntas exige una mayor comprensión por parte del candidato de lo que las situaciones directas; la caracterización semiótica posee elementos que estructuran esas preguntas que el educando debe saber asociar al texto; la exigencia matemática posibilitó analizar que el procedimiento medio ha sido el más requisitado; el desempeño de los candidatos ha sido en la mayoría bajo (50%); y los principales errores que ellos han cometido han sido de realizar traducciones incorrectas de las expresiones que aparecen en las situaciones-problema; utilizar todos los datos que aparezcan en el problema sin tomar en cuenta si el cálculo realizado responde a la pregunta solicitada; no interpretar coherentemente las informaciones del gráfico; decodificar incorrectamente los valores representados por literales en una recta numérica. Los resultados señalizan la necesidad de una revisión didáctico-metodológicas de la enseñanza de funciones a raíz de las cuales las dificultades en el aprendizaje se han presentado

Elaboração de atividades didáticas para o ensino de matemática a partir de livros antigos: o exemplo do leçons élémentaires de Lagrange

De nombreuses études sur l`utilisation pédagogique de l`histoire des mathématiques viennent a identifier les arguments qui sous-tiennent ces actions éducatives comme une façon d`aborder les mathématiques scolaires afin de mener les élèves à un apprentissage réflexif et significatif des mathématiques. Cherchant a vérifier, de manière pratique, comment ces relations entre histoire des mathématiques et l`enseignement des mathématiques peuvent se matérialiser sous la forme d`activités didactiques, nous avons effectué un sondage sur les oeuvres du mathématicien Joseph Louis Lagrange (1736-1813) et identifié le potentiel d`exploration éducatif, de l`oeuvre Leçons élémentaires sur les mathématiques données a l`École Normale en 1795, de cet mathématicien. L`objectif principal de notre étude était de faire des recherches sur le potentiel d`une oeuvre antique dédié à l`enseignement des mathématiques et de la considérer comme support conceptuel et didactique pour la création d`un modèle d`activités didactiques pour l`enseignement des mathématiques, dans la formation des enseignants de mathématiques et aussi en ce qui concerne l`apprentissage des mathématiques des élèves de l`école primaire. Nous avons fait une lecture, la traduction et l`ajout de notes et commentaires sur le travail et une recherche bibliographique sur la relation entre l`histoire des mathématiques et l`enseignement des mathématiques, de façon a comprendre les aspects conceptuels et didactiques pour l`élaboration d`um module activités didactiques pour l`enseignement des mathématiques basée sur certains chapitres du livre de Lagrange. À cette fin, l`oeuvre a été utilisé comme source primaire et a été étudié sous un fondement théorique appuyer sur les travaux des Institut de recherche sur l`enseignement des mathématiques IREM. Dans le module élaboré, les activités apportent les contenus dans une suite integrée à une logique de classe, à partir de la lecture directe des découpages du texte original, disposés entre les questions et les situations-problémes , historiquement mis en contexte avec la période et associés à des contenus spécifiques. Comme il s`agit d`une recherche basée sur l`exploitation de livres anciens, nous croyons que des modules d`activités basées sur des source primaires peuvent être utilisées comme un matériel pédagogique pour la formation des enseignants de mathématiques ainsi que pour les dernières années de l`école élémentaire, reformulées ou accrues d`autres questions telles l`intérêt de chaque enseignant qui l`utilise

Um ensaio sobre as concepções de professores de Matemática: possibilidades metodológicas e um exercício de pesquisa

Este artigo tem como tema principal as concepções dos professores de Matemática. Considerando o termo concepção a partir do pragmatismo de Peirce, elabora-se um conjunto de parâmetros metodológicos - chamado de método indireto - a ser aplicado no estudo das concepções de professores de Matemática. Trata-se, em síntese, de investigar as concepções dos professores interpelando-os não sobre suas crenças, mas sobre suas práticas. Fundamentando essa abordagem indireta e explicitando-a em sua natureza qualitativa, o artigo segue apresentando, como exemplo, um exercício desse método indireto: um estudo sobre os critérios que os professores utilizam quando escolhem livros-texto para sua sala de aula, abordando, conseqüentemente, quais concepções de Matemática e de seu ensino e aprendizagem tais critérios desvendam. Partindo de depoimentos de professores de Matemática, o estudo indica que os professores agem com certa independência quando escolhem os materiais utilizados em suas atividades docentes. Buscam, ao mesmo tempo, apoio em uma vasta gama de livros didáticos, desconsiderando as particularidades de cada obra e as abordagens e perspectivas defendidas por seus autores. Embora submetam-se ao livro didático - considerado uma referência legítima e segura -, os professores o subvertem, buscando adequá-lo ao que consideram correto. Dessa constatação, algumas das concepções dos professores podem ser realçadas: o aluno, via de regra, é avaliado e classificado pelas lacunas que apresenta em relação aos conteúdos. Dessa postura, segue a valorização da precedência lógica dos conteúdos, de sua apresentação linear, e a defesa de pré-requisitos que viabilizariam o ensino e, conseqüentemente, implicam a legitimidade de aulas predominantemente expositivas.

Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Sistema de numeração posicional e a lógica da divisão de inteiros

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

A Obra Lógica racional, geométrica e analítica (1744) de Manoel de Azevedo Fortes (1660-1749): um estudo das possíveis contribuições para o desenvolvimento educacional luso-brasileiro

Pós-graduação em Educação Matemática - IGCE

Um contexto histórico para análise matemática para uma educação matemática

Pós-graduação em Educação Matemática - IGCE

Uma aplicação da lógica Fuzzy

Pós-graduação em Matemática Universitária - IGCE

Uma lógica do poucos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A lógica do muito em um sistema de tablôs

Pós-graduação em Filosofia - FFC

Controle semi-ativo de vibrações com fluido magnetoreológico utilizando LMis e lógica nebulosa otimizada por algoritmo genético

Pós-graduação em Engenharia Mecânica - FEIS

Uma leitura das falas de alunos do ensino fundamental sobre a aula de matemática

Pós-graduação em Educação Matemática - IGCE

A lógica no desenvolvimento da competência argumentativa

Pós-graduação em Educação Matemática - IGCE