Juegos de lógica inductiva

Presentamos el juego skedoodle sobre tablero, al que llamamos skedoodtable. Exponemos tres juegos de lógica, que en versiones simplificadas permiten su uso en la última etapa de la Primaria y en la Educación Secundaria Obligatoria (ESO): Eleusis, Zendo y Mastermind, con variantes. Son juegos que aunque conocidos, permanecen olvidados. Por ello presentamos algunas orientaciones didácticas.

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.

Aplicación de la teoría de la actividad a la formalización de enunciados con lógica de predicados: un primer acercamiento

En este trabajo se describe una investigación en curso, en que se aborda una de las problemáticas que se presenta en los cursos de lógica o inteligencia artificial, en el tema de representación del conocimiento. Cuando se pide a los estudiantes formalizar enunciados del lenguaje común (natural) con el lenguaje de la lógica de predicados. Se describen algunos de los errores identificados con alumnos del nivel superior y se aplica la teoría de la actividad para caracterizar la habilidad de traducir enunciados del lenguaje común (natural) a fórmulas bien formadas del lenguaje de la Lógica de predicados. Se propone una base de orientación que se deben usar al resolver los problemas de formalización (traducción) que se plantean en los cursos mencionados.