Lógica en Haskell
Haskell
Publicado el 3 de Septiembre del 2013 por Administrador
12.167 visualizaciones desde el 3 de Septiembre del 2013
En este manual, el profesor José A. Alonso hace un recorrido por la semántica de la lógica proposicional valiéndose del lenguaje Haskell y, utilizando para ello, una serie de ejercicios a través de los cuales el alumno puede identificar las premisas y su resolución.
En formato pdf. Contiene 138 páginas.
En formato pdf. Contiene 138 páginas.