martes, 5 de febrero de 2013

Superadas las 2000 visitas al blog

El blog de DeMMaTTouL acaba de superar las 2000 visitas y el software ha sido descargado más de 320 veces, desde 42 países (en el top 5 están España, Francia, Estados Unidos, Colombia e India). Unas cifras modestas, pero teniendo en cuenta la especificidad del software no están nada mal.


¡Muchas gracias a todos los que nos visitáis!

lunes, 24 de septiembre de 2012

Presentación y texto de la comunicación en el XVI Simposio de la SEIEM

El pasado sábado 22 de septiembre de 2012 se presentó DeMMaTTouL de manera oficial a la comunidad de investigadores en Educación Matemática de la SEIEM mediante una comunicación, "Software DeMMaTTouL: una herramienta para la investigación sobre la estructura argumentativa de la demostración", que fue aceptada para el XVI Simposio de dicha sociedad.


Desde aquí me gustaría dar las gracias nuevamente a los asistentes, por su interés y por sus comentarios bastante constructivos y positivos. Lo cierto es que quedé bastante contento y satisfecho con el resultado.

Pueden descargar tanto el texto de la comunicación como la presentación de diapositivas que se utilizó como apoyo en la exposición.


También pueden descargar las actas completas, tanto de este Simposio como de todos los anteriores.

sábado, 18 de agosto de 2012

DeMMaTTouL en el XVI Simposio de la SEIEM

Del 20 al 22 de septiembre se celebrará en Baeza el XVI Simposio de la Sociedad Española de Investigación en Educación Matemática (SEIEM) en el que se presentará la comunicación Software DeMMaTTouL: una herramienta para la investigación sobre la estructura argumentativa de la demostración.


Pondremos el enlace cuando se publiquen las Actas del Simposio.

lunes, 16 de abril de 2012

Aclaraciones sobre la instalación de DeMMaTTouL

Hace unos días recibí un e-mail de un usuario preguntando por algún archivo ejecutable para la instalación de DeMMaTTouL en Windows. Creo que aún no lo había especificado con detalle en ninguna entrada, así que explico brevemente que DeMMaTTouL no necesita ningún proceso de instalación en sus versiones compiladas (sea cual sea el sistema operativo). Simplemente hay que bajarse el archivo correspondiente, descomprimirlo en el directorio que desees de tu ordenador y ya está listo para ejecutar (el ejecutable está dentro del directorio "bin").

Respecto a la instalación de las librerías Qt, asegúrate de que las tienes instaladas (mínimo versión 4.8), pero no hay necesidad de bajarse todo el kit SDK (que sólo necesitan los desarrolladores) sino que es suficiente instalar sólo las librerías.

En el directorio de la versión compilada para Windows se incluyen dos archivos: uno que pone "(sin librerias)" y otro que pone "(con librerias)". Este último es un archivo que ya incluye las librerías Qt que necesita DeMMaTTouL, por lo que debe funcionar en Windows sin necesidad de descargar e instalar todas las librerías Qt (desconozco si esto vulnera algún término de la licencia de Qt, pero creo que como la licencia de DeMMaTTouL es GPLv3 está permitido incluir las librerías necesarias).

Cualquier duda que tengáis sobre la descarga o instalación de DeMMaTTouL podéis dejarla en esta entrada del blog, como comentario, o enviar un e-mail a la dirección de contacto (demmattoul@gmail.com).

miércoles, 11 de abril de 2012

Disponible DeMMaTTouL v0.7 beta

Con casi 2000 líneas más de código que la versión anterior, ya está diponible para su descarga la versión 0.7 beta de DeMMaTTouL.

Se incorporan nuevas características y cambios importantes. Recuerde que para ejecutar la nueva versión de DeMMaTTouL es necesario actualizar en su sistema las librerías Qt a la última versión disponible (requisito mínimo 4.8).

El código fuente y las compilaciones para Linux (32 y 64 bits) y Windows pueden encontrarse en Sourceforge.

PD: La versión 4.8 de Qt para Mac OS X sólo está disponible para arquitectura de 64 bits por lo que no se ha podido compilar DeMMaTTouL para este sistema operativo. Si algún usuario de Mac OS X compila el código fuente podría hacernos el favor de compartir la aplicación ya compilada. ¿Cómo compilar el código fuente de DeMMaTTouL?

sábado, 7 de abril de 2012

DeMMaTTouL v0.7b - Novedades

Se están ultimando los detalles de la versión 0.7b de DeMMaTTouL, pero ya podemos avanzar un resumen de las novedades más importantes que esta versión incluye (respecto a la versión anterior):

- Actualización del requisito de la versión de las librerías Qt (mínimo 4.8).

- Cambio de formato en los ficheros, debido a la incorporación de nuevos miembros en las clases básicas definidas. La nueva extensión es .dmtl y los ficheros con formato antiguo .dmt no son compatibles.

- Compatibilidad para abrir ficheros con formato antiguo (en diálogo abrir) que crea un nuevo fichero con formato actualizado (con mismo nombre y extensión dmtl).

- Se pueden crear y gestionar grupos de elementos (botón derecho sobre elementos C, D y CD).

- Se pueden conectar los grupos con elementos ajenos al mismo (botón flecha para unir grupo y elemento, en este orden).

- Se permite incluir referencias a archivos de audio y vídeo como contenido de los elementos.

- Añadido nuevo tipo de elemento: Comentario. Esto permite crear un elemento que contenga alguna anotación y que no forme parte de la estructura argumentativa ni se contabilice en los contadores.

- Mejora de la acción "Exportar diagrama a imagen", además al formato de imagen PNG soportado anteriormente se ha añadido los formatos JPG, BMP, PPM, XBM y XPM.

- Mejora en la usabilidad: con la tecla Shift presionada el movimiento de los elementos queda alineado con el objeto más cercano al que esté conectado.

- Se ha añadido confirmación antes de eliminar un elemento.


Finalmente, estos son los bugs detectados y corregidos:

- Al hacer flexible la ventana principal sucedía que si la ventana era bastante mayor que el tamaño de la pizarra aparecía una zona dentro del visor de la pizarra que no era operativo.

- Ya no se permite que al mover un elemento este se pierda por la izquierda o por arriba de la pizarra.

- Al separar grados de inconexión, las flechas no actualizaban su grado.

- Se abría el diálogo de crear un Warrant pinchando sobre un objeto flecha que ya tenía Warrant.

- Al intentar borrar un objeto flecha con elementos asociados se producía un mensaje Debug innecesario.

- La herramienta estadísticas calculaba mal los parámetros referentes a la razón explicativa cuando se incorporaba un fichero sin elementos de tipo C.

¿Cómo puedo ayudar en el desarrollo de DeMMaTTouL?

Algunas personas creen que sólo los programadores pueden contribuir al desarrollo del software libre y de código abierto. Esto no es cierto. Si bien un programador puede aportar su experiencia profesional al código, ya sea revisándolo, mejorándolo o ampliándolo, los usuarios también tienen mucho que aportar al desarrollo de cualquier programa.

A continuación, se lista una serie de ejemplos de cómo contribuir al desarrollo de DeMMaTTouL:

- Algo tan sencillo como bajarse el programa, ejecutarlo y aportar ideas sobre cómo mejorar su interfaz, facilitar su uso o incorporar nuevas características que encontraría útiles.

- Informar sobre errores producidos durante su uso. Si bien los programadores intentan contemplar todas las situaciones que se pueden producir, esto es prácticamente imposible. Muchas veces son los usuarios quienes detectan una situación que provoca un error. Es muy importante que el usuario informe a los desarrolladores de cómo se ha producido el error, relatando la situación con el mayor detalle posible.

- Dar a conocer el programa entre usuarios a los que les pueda interesar.

- Elaborar tutoriales (textos, vídeos, ...) que expliquen el funcionamiento del programa. En estos momentos este es uno de los puntos menos desarrollados de DeMMaTTouL. Es necesario elaborar buenos manuales de ayuda, video-tutoriales que muestren y expliquen cómo usar las diferentes características, etc.

- Traducir el programa a otros idiomas. ¿Sabes euskera, gallego, francés, alemán, ...? Pues si quieres contribuir al desarrollo de DeMMaTTouL es tan fácil como traducir algunas frases.

En breve saldrá la nueva versión (0.7b) de DeMMaTTouL. Seguro que se os ocurren muchas formas de ayudar a mejorarlo.

domingo, 6 de noviembre de 2011

Cómo compilar el código fuente de DeMMaTTouL (actualizado v0.7b)

No es necesario compilar DeMMaTTouL dado que en el portal Sourceforge.net se encuentran disponibles las compilaciones para diversos sistemas operativos, pero es posible que esté interesado en compilar usted mismo el código fuente, por los motivos que sean.

A continuación se incluyen los comandos para hacerlo. Es muy importante tener instaladas las librerías Qt (versión mínima 4.8) en su sistema para poder compilar DeMMaTTouL.

En Linux:

(en la carpeta src)
1. qmake -project -o DeMMaTTouL.pro
2. echo "QT += phonon" | tee -a DeMMaTTouL.pro
3. qmake DeMMaTTouL.pro
4. make
5. cp DeMMaTTouL ../bin/

Nota: Si no se reconoce qmake como comando, hay que poner la ruta completa en la que se encuentre el ejecutable qmake; por ejemplo /usr/lib64/qt4/bin/qmake -project -o DeMMaTTouL.pro (o añadir la ruta al PATH)


En MS Windows:

Abrir consola (para ello ejecute "cmd" o abra la aplicación "Símbolo del sistema")
1. cd [directorio en el que se encuentre DeMMaTTouL]\src
2. qmake -project -o DeMMaTTouL.pro
3. ABRIR COMO TEXTO EL ARCHIVO DeMMaTTouL.pro Y AÑADIR EN UNA LÍNEA NUEVA
QT += phonon
4. qmake DeMMaTTouL.pro
5. mingw32-make
6. cd debug
7. copy DeMMaTTouL.exe ..\..\bin

Nota: Si no se reconoce qmake como comando, hay que poner la ruta completa en la que se encuentre el ejecutable qmake; por ejemplo c:\qt\desktop\qt\4.8.1\mingw\bin\qmake -project -o DeMMaTTouL.pro (o añadir la ruta al PATH)


En Mac OS X (además de las librerías Qt, para compilar programas en Mac OS X necesita tener instalado Xcode):

(en la carpeta src)
1. qmake -project -o DeMMaTTouL.pro
2. ABRIR COMO TEXTO EL ARCHIVO DeMMaTTouL.pro Y AÑADIR EN UNA LÍNEA NUEVA
QT += phonon
3. qmake -spec macx-g++ DeMMaTTouL.pro
4. make
5. mv DeMMaTTouL.app ../bin/

miércoles, 2 de noviembre de 2011

lunes, 31 de octubre de 2011

Disponible DeMMaTTouL v0.6 beta

Con más de 5800 líneas de código ya está disponible la versión 0.6 Beta de DeMMaTTouL.

Entre las novedades más destacables respecto de la versión anterior se encuentran:

- Añadida función Exportar a HTML. Con esta acción, disponible en el menú Archivo, se puede exportar una demostración a formato HTML, creando así un archivo con la imagen del esquema de la demostración con links sobre los elementos a sus respectivos contenidos. Esto permite compartir con otros o publicar en una web el trabajo realizado con DeMMaTTouL, de modo que el usuario final puede ver (pero no modificar) la demostración sin necesidad de tener DeMMaTTouL instalado.

- La ventana principal de DeMMaTTouL ahora es redimensionable y maximizable, haciéndola más cómoda y operativa. Se ha eliminado de las opciones de configuración la elección de una resolución fija, aunque se ha establecido un tamaño mínimo de 800x600 para la ventana principal.

- Se ha redefinido la posición de algunos elementos de los esquemas para mejorar la operabilidad con los mismos.


Tanto el código fuente como las compilaciones para Linux y Windows pueden encontrarse en la página de descargas del portal Sourceforge.

miércoles, 19 de octubre de 2011

El modelo de Toulmin en la investigación en Educación Matemática

Según Aberdein (2005), la obra “The uses of argument” de Stephen Toulmin es quizá el trabajo más influyente en la teoría moderna de la argumentación. Sea como sea, lo que puede constatarse en la última década es una tendencia en la investigación en Educación Matemática al aumento del uso del modelo de Toulmin en algunas publicaciones relacionadas con ciertos aspectos de la demostración matemática.

A modo de ejemplo y sin ánimo de ser una lista exhaustiva pueden consultarse los trabajos de los siguientes autores: Pedemonte (2001, 2007); Hoyles y Küchemann (2003); Knipping (2003); Aberdein (2005); Inglis, Mejia-Ramos y Simpson (2007); Weber y otros (2008); Barrier, Mathé y Durand-Guerrier (2009); Cramer (2009); Solar (2009), Alvarado y González (2010); Hollebrands, Conner y Smith (2010); Fiallo (2010); Roig, Llinares y Penalva (2010); Arzarello y Sabena (2011); o Nardi, Biza y Zachariades (2011).


Referencias:
- Aberdein, A. (2005): The uses of argument in mathematics. Argumentation, 19, 287-301.
- Alvarado, A. y González, M.T. (2010): La implicación lógica en el proceso de demostración matemática: estudio de un caso. Enseñanza de las ciencias, 28, 1, 73-84.
- Arzarello, F. y Sabena, C. (2011): Semiotic and theoretic control in argumentation and proof activities. Educational Studies in Mathematics, 77, 189–206.
- Barrier, Th.; Mathé, A.C. y Durand-Guerrier, V. (2009): Argumentation and proof: a discussion about Toulmin’s and Duval’s models. Paper contributed to working Group 2: Argumentation and Proof, CERME 6, Lyon, France 2009.
- Cramer, J. (2009): The role of contentwise argumentation for the construction of mathematical knowledge. Paper contributed to working Group 2: Argumentation and Proof, CERME 6, Lyon, France 2009.
- Fiallo, J.E. (2010): Estudio del proceso de Demostración en el aprendizaje de las Razones Trigonométricas en un ambiente de Geometría Dinámica. Tesis doctoral. Universitat de València.
- Hollebrands, K., Conner, A., Smith, R. (2010): The nature of arguments provided by college geometry students with access to technology while solving problems. Journal for Research in Mathematics Education, 41, 4, 324-350.
- Hoyles, C. y Küchemann, D. (2002): Students’ understandings of logical implication. Educational Studies in Mathematics, 51, 193-223.
- Inglis, M.; Mejia-Ramos, J.P. y Simpson, A. (2007): Modelling mathematical argumentation: the importance of qualification. Educational Studies in Mathematics, 66, 3-21.
- Knipping, C. (2003): Argumentation structures in classroom proving situations. Paper contributed to working Group 4: Argumentation and Proof, CERME 3, Bellaria, Italy 2003.
- Nardi, E.; Biza, I y Zachariades, T. (2011): ‘Warrant’ revisited: Integrating mathematics teachers’ pedagogical and epistemological considerations into Toulmin’s model for argumentation. Educational Studies in Mathematics
- Pedemonte, B. (2001): Some cognitive aspects of the relationship between argumentation and proof in mathematics. Proceedings of the 25 PME International Conference, 4, 33-40.
- Pedemonte, B. (2007): How can the relationship between argumentation and proof be analysed? Educational Studies in Mathematics, 66, 23-41.
- Roig, A.I., Llinares, S., Penalva, M.C. (2010): Aprendiendo sobre la comunicación matemática. Caracteristicas de las estructuras argumentativas de estudiantes para profesores de matemáticas en un entorno on-line. En M.M. Moreno, A. Estrada, J. Carrillo, & T.A. Sierra, (Eds.), Investigación en Educación Matemática XIV (pp. 533-543). Lleida: SEIEM.
 - Solar, H. (2009): Competencias de modelización y argumentación en interpretación de gráficas funcionales: propuesta de un modelo de competencia aplicado a un estudio de caso. Tesis Doctoral. Universitat Autònoma de Barcelona.
- Weber, K. y otros (2008): Learning opportunities from group discussions: warrants become the objects of debate. Educational Studies in Mathematics, 68, 247-261.

Un ejemplo de argumentación matemática: la irracionalidad de raíz de 2

Obsérvese la siguiente demostración clásica de la irracionalidad de la raíz cuadrada de 2:

Supongamos que raíz de 2 es racional. Es decir, que existen dos enteros p y q, con q no nulo y coprimos (máximo común divisor 1), tales que:

Luego, y operando dicha expresión obtenemos:

Eso implica que p² es múltiplo de 2. Por tanto, p también es múltiplo de 2. Es decir, existe un entero k tal que p = 2·k.
Si substituimos este valor de p en la expresión anterior y simplificamos obtenemos:
2q² = (2k)²   =>   2q² = 4k²   =>  q² = 2k²
Eso implica que q² es múltiplo de 2. Por tanto, q también es múltiplo de 2.
Hemos obtenido por una parte que p es múltiplo de 2 y por otra que q es múltiplo de 2, pero eso contradice el hecho de que p y q son coprimos.
Dicha contradicción proviene de suponer que raíz de 2 es racional.
Luego la raíz cuadrada de 2 es irracional.

Analizando dicha argumentación utilizando el modelo de Toulmin:

Supongamos que raíz de 2 es racional (D1). Es decir, que existen dos enteros p y q, con q no nulo y coprimos (máximo común divisor 1), tales que:
(CD2)

Luego, y operando dicha expresión obtenemos:
(CD7) (CD9)

Eso implica que p² es múltiplo de 2 (CD11). Por tanto, p también es múltiplo de 2 (CD13). Es decir, existe un entero k tal que p = 2·k (CD15).
Si substituimos este valor de p en la expresión anterior y simplificamos obtenemos:
2q² = (2k)² (CD17)  =>   2q² = 4k² (CD20)  =>  q² = 2k² (CD22)
Eso implica que q² es múltiplo de 2 (CD25). Por tanto, q también es múltiplo de 2 (CD 27).
Hemos obtenido por una parte que p es múltiplo de 2 y por otra que q es múltiplo de 2 (CD29), pero eso contradice el hecho de que p y q son coprimos (CD2).
Dicha contradicción (CD32) proviene de suponer que raíz de 2 es racional.
Luego la raíz cuadrada de 2 es irracional (C35).


Véase cómo queda el esquema de dicha argumentación compleja utilizando DeMMaTTouL:
 Descargar el fichero: ejemploRaiz2Irracional.dmt


martes, 18 de octubre de 2011

Un ejemplo de argumento no matemático

En esta entrada se muestra cómo queda el resultado en DeMMaTTouL al construir el esquema de una argumentación simple en un contexto no matemático.

Argumentación:
Si creo que una película me gustará, entonces, salvo contadas ocasiones en las que la impaciencia me gana, no veo ningún trailer de la película porque no me gusta que me cuenten la película antes de verla. Muchos trailers de películas desvelan parte de la trama.

Si se analiza dicha argumentación utilizando el modelo de Toulmin obtenemos:
Si creo que una película me gustará, entonces, salvo contadas ocasiones en las que la impaciencia me gana, no veo ningún trailer de la película porque no me gusta que me cuenten la película antes de verla. Muchos trailers de películas desvelan parte de la trama.

D: creo que una película me gustará 
W: no me gusta que me cuenten la película antes de verla
B: Muchos trailers de películas desvelan parte de la trama
C: no veo ningún trailer de la película
Q: salvo contadas ocasiones
R: la impaciencia me gana 

Al pasarlo a DeMMaTTouL el esquema queda de la siguiente manera:
Descargar fichero: ejemploPelicula.dmt