Un indicador de la comprensión del esquema derivada: el uso de las relaciones lógicas

Desde distintos planteamientos las investigaciones han proporcionado información sobre las características de la comprensión del concepto de derivada en los estudiantes. Sin embargo, falta más información sistemática sobre indicadores que ayuden a describir el desarrollo de la comprensión de dicho concepto. En este trabajo, desde la teoría piagetiana del desarrollo de un esquema a través de los niveles intra, inter, trans, caracterizamos una evidencia empírica de cómo el uso que se hace de las “relaciones lógicas” entre diferentes elementos matemáticos del concepto derivada por parte de los estudiantes cuando resuelven un problema, aporta información para explicar el fenómeno de paso de un nivel de desarrollo del esquema derivada al siguiente.

Uma abordagem da lógica fuzzy no ensino médio

O uso cada vez mais intenso de conceitos subjetivos - provenientes da lógica fuzzy - aplicados a problemas reais nos motivou a desenvolver procedimentos para a introdução destas idéias no âmbito do ensino médio. O projeto propõe inicialmente o estudo de conjuntos fuzzy que podem ser entendidos com exemplos - de variação populacional, de controle de pragas e de epidemias. Posteriormente, usar as “operações fuzzy” Sup e Inf em produtos de matrizes para realizar diagnósticos e avaliações subjetivas. As situações abordadas já estão na literatura (Barros e Bassanezi, 2006), entretanto não como fonte para o Ensino Médio. Um dos objetivos principais deste trabalho é contrapor a crença de exatidão da matemática clássica com os resultados provenientes de lógica subjetiva, utilizando conceitos apropriados para os estudantes destas séries: teoria dos conjuntos, relações e funções, matrizes, equações de diferenças e outros.

Buscando que los estudiantes construyan demostraciones

El rol del aprendizaje significativo mediante la utilización de nuevas estrategias de enseñanza. Este aprendizaje involucra un proceso en el que lo que aprendemos es el producto de la información nueva, interpretada a la luz de lo que ya sabemos. Para que haya aprendizaje significativo, es necesario que el alumno pueda relacionar el material de aprendizaje con la estructura de conocimientos de que ya dispone. De esta forma, junto con la motivación favorable para la comprensión, y, los esfuerzos que requiere, una condición esencial del aprendizaje de conceptos será que estos se relacionen con los conocimientos previos de los alumnos. El nuevo conocimiento, que queremos que el alumno aprenda en esta oportunidad, surgirá de un adecuado desarrollo del razonamiento deductivo y manejo de los conocimientos previos. Entendiendo por razonamiento deductivo al proceso de razonamiento en que, para obtener una conclusión lógicamente necesaria a partir de ciertas premisas, los pasos están encadenados siguiendo ciertas reglas lógicas y son justificados rigurosamente. Las justificaciones están basadas en los axiomas y definiciones de la teoría respectiva, en teoremas demostrados con anterioridad y en las premisas o hipótesis del problema o teorema. El docente debe ayudar al estudiante a desarrollar y usar el poder del razonamiento deductivo comprometiéndolo permanentemente a pensar, analizar y deducir conjeturas en clase, además debe crear y seleccionar tareas apropiadas que puedan involucrar la generalización, la organización de datos para validar o refutar una conjetura. Un grupo de bachillerato del último año desarrolló la demostración de un teorema de convergencia de series, con los resultados de un 46% que la realizó exitosamente, versus un 36% que no lo logró. Los alumnos que lograron hacer la demostración, no eran los más estudiosos pero tenían una buena capacidad de razonamiento. En cambio los que generalmente preparan las evaluaciones y que se apoyan mucho en la memoria, no lograron un buen desempeño.

Fundamentos lógicos de la programación declarativa

El objetivo del artículo es el estudio de los fundamentos lógicos que están en la base de gran cantidad de sistemas de razonamiento automático, y que suponen una estrategia computacionalmente viable para la demostración de teoremas o el diseño de motores inferenciales (Prolog). En concreto se presenta la forma clausal. en tanto que formalismo para la representación de conocimiento, y el principio de resolución, como mecanismo inferencia! que asegura la completud y corrección lógicas.