I1M2012: Ejercicios sobre matrices en Haskell (2)

En la clase hoy Informática de 1º del Grado en Matemáticas hemos continuando comentado las soluciones de los ejercicios sobre vectores y matrices en Haskell de la relación 26. Concretamente, de los ejercicios para

  • calcular la traspuesta de una matriz (ej. 14),
  • decidir si una matriz es cuadrada (ej. 15),
  • decidir si una matriz es simétrica (ej. 16),
  • calcular la diagonal principal de una matriz (ej. 17),
  • calcular la diagonal secundaria de una matriz (ej. 18) y
  • calcular la submatriz obtenida suprimiendo una fila y una columna (ej. 19).

Los ejercicios de la relación, junto con las soluciones de los 19 primeros, se muestran a continuación
Read More “I1M2012: Ejercicios sobre matrices en Haskell (2)”

Reseña: Formalizing Turing machines

Se ha publicado un trabajo de razonamiento formalizado con Matita sobre máquinas de Turing titulado Formalizing Turing machines.

Sus autores son Andrea Asperti y Wilmer Ricciotti (de la Universidad de Bolonia, Italia).

Su resumen es

We discuss the formalization, in the Matita Theorem Prover, of a few, basic results on Turing Machines, up to the existence of a (certified) Universal Machine. The work is meant to be a preliminary step towards the creation of a formal repository in Complexity Theory, and is a small piece in our Reverse Complexity program, aiming to a comfortable, machine independent axiomatization of the field.

El trabajo se presentó en el WoLLIC 2012 (19th Workshop on Logic, Language, Information and Computation). La transparencias de la presentación se encuentran aquí.