7 abril 2011 – Vestigium

DAO2011: Ejercicios de deducción natural proposicional con Isabelle/HOL

PorJosé A. Alonso 7 abril 201121 mayo 2011

En la clase de hoy del curso de Demostración asistida por ordenador se han comentado las soluciones de los ejercicios de deducción natural proposicional con Isabelle/HOL/Isar.

A continuación se muestra la teoría correspondiente a los enunciados de los ejercicios
Read More “DAO2011: Ejercicios de deducción natural proposicional con Isabelle/HOL”

I1M2010: Ejercicios sobre vectores y matrices en Haskell (1)

PorJosé A. Alonso 7 abril 201128 abril 2011

En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comenzado a comentar las soluciones a los ejercicios sobre vectores y matrices en Haskell de la 28ª relación.

Los ejercicios y su solución se muestran a continuación Read More “I1M2010: Ejercicios sobre vectores y matrices en Haskell (1)”