Buscar
Mostrando ítems 1-10 de 19
Uma reavaliação do pensamento lógico de George Boole à luz da história da matemática
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em EducaçãoEducação, 2005-10-14)
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 ...
THE TEACHING AND LEARNING OF FORMAL SYSTEMS, OF MATHEMATICS IN THE UNIVERSITY CONTEXTLa enseñanza y aprendizaje de los sistemas formales, de la matemática en el contexto universitario
(Subdirección de Investigación y Postgrado, 2020)
O estruturalismo em livros didáticos: SMSG e matemática - curso moderno
(Universidade Estadual Paulista (Unesp), 2015-05-12)
The goal of this research was to analyze how the structuralism has been present in the mathematics teachings proposal of two works for the Brazilian high school between the years of 1960 and 1970, being: the book 1 of the ...
Sustituciones explícitas y todo eso
(Universidad Autónoma de Bucaramanga UNAB, 2000-12-01)
Los cálculos de sustitución explícitos son extensiones del cálculo donde el mecanismo de sustitución se internaliza en la teoría. Esta característica los hace adecuados para la implementación y el estudio teórico de ...
Lógica: conceptos, formalización y aplicación en los sistemas computacionales
(Universidad Tecnológica de PereiraFacultad de IngenieríasPereiraIngeniería de Sistemas y Computación, 2022)
Introducción a la historia y a la filosofía de la matemática
(Universidad Nacional de ColombiaSede BogotáBogotá, Colombia, 2008)
El hilo conductor en esta obra, es la noción de sistema formal. Se ha estudiado la matemática en estado naciente entre los pitagóricos y algunas ilustraciones de su desenvolvimiento hasta los tiempos de Aristóteles. Luego, ...