
Lógica en Haskell
Haskell
Publicado el 3 de Septiembre del 2013 por Administrador
12.319 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.
Forma parte de OpenLibra
Si alguno de los archivos de descarga no funciona, comentanos aquí el error.
Comentarios... (0)
No hay comentarios