Mostrando entradas con la etiqueta fichero dmt. Mostrar todas las entradas
Mostrando entradas con la etiqueta fichero dmt. Mostrar todas las entradas

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.

miércoles, 19 de octubre de 2011

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