CURSOS de Haskell

Mostrando del 1 al 10 de 11 registros
<<>>
Imágen de perfil

.pdfGuía Rápida de Haskell


Haskell

Actualizado el 05 de Diciembre del 2018 por Administrador (Publicado el 21 de Junio del 2018)
976 visualizaciones desde el 21 de Junio del 2018. Una media de 42 por semana
Esta guía rápida abarca los elementos fundamentales del lenguaje Haskell: sintaxis, palabras clave y otros elementos. Se presenta como un archivo ejecutable de Haskell y también como un documento para impresión. Cargue la fuente en su intérprete favorito para jugar con los ejemplos de código mostrados.
En formato pdf. Contiene 15 páginas.
Imágen de perfil

.pdfMatemática discreta en Haskell


Haskell

Publicado el 07 de Marzo del 2018 por Administrador
739 visualizaciones desde el 07 de Marzo del 2018. Una media de 21 por semana
El objetivo del trabajo es la implementación de algoritmos de matemática discreta en Haskell.

Haskell es un lenguaje de programación funcional desarrollado en los últimos años por la comunidad de programadores con la intención de usarlo como instrumento para la enseñanza de programación funcional. La motivación de este desarrollo es hacer el análisis y diseño de programas más simple y permitir que los algoritmos sean fácilmente adaptables a otros lenguajes de programación funcionales.

En comparación con otros lenguajes de programación imperativos, la sintaxis de Haskell permite definir funciones de forma más clara y compacta. En Haskell las funciones se consideran valores, al mismo nivel que los tipos enteros o cadenas en cualquier lenguaje. Por ello, al igual que es habitual que en todos los lenguajes una función reciba datos de entrada (de tipo entero, flotante, cadena, etc) y devuelva datos (de los mismos tipos), en los lenguajes funcionales una función puede recibir como dato de entrada una función y devolver otra función como salida, que puede ser construida a partir de sus entradas y por operaciones entre funciones, como la composición. Esta capacidad nos proporciona métodos más potentes para construir y combinar los diversos módulos de los que se compone un programa. Por ejemplo, emulando la forma de operar sobre funciones que habitualmente se usa en matemáticas.

En formato pdf. Contiene 124 páginas.
Imágen de perfil

internetLógica de primer orden en Haskell


Haskell

Publicado el 14 de Febrero del 2018 por Administrador
459 visualizaciones desde el 14 de Febrero del 2018. Una media de 14 por semana
La lógica de primer orden o lógica de predicados nace como una extensión de la lógica proposicional ante algunas carencias que ésta presenta. La lógica proposicional tiene como objetivo modelizar el razonamiento y nos aporta una manera de formalizar las demostraciones.

En este trabajo se pretende realizar una implementación en Haskell de la teoría impartida en la asignatura "Lógica matemática y fundamentos" del grado en matemáticas. Para ello, se lleva a cabo la adaptación de los programas del libro de J. van Eijck "Computational semantics and type theory" y su correspondiente teoría.

En formato pdf. Contiene 130 páginas.
Imágen de perfil

.pdfLógica de primer orden en Haskell


Haskell

Publicado el 12 de Septiembre del 2017 por Administrador
821 visualizaciones desde el 12 de Septiembre del 2017. Una media de 14 por semana
La lógica de primer orden o lógica de predicados nace como una extensión de la lógica proposicional ante algunas carencias que ésta presenta. La lógica proposicional tiene como objetivo modelizar el razonamiento y nos aporta una manera de formalizar las demostraciones.

En este trabajo se pretende realizar una implementación en Haskell de la teoría impartida en la asignatura "Lógica matemática y fundamentos" del grado en matemáticas. Para ello, se lleva a cabo la adaptación de los programas del libro de J. van Eijck "Computational semantics and type theory" y su correspondiente teoría.

En formato pdf. Contiene 130 páginas.
Imágen de perfil

.pdfPiensa en Haskell (Ejercicios de programación funcional con Haskell)


Haskell

Publicado el 16 de Mayo del 2017 por Administrador
1.423 visualizaciones desde el 16 de Mayo del 2017. Una media de 21 por semana
Este libro es una introducción a la programación funcional con Haskell a través de ejercicios que se complementa con los Temas de programación funcional1.

El libro consta de tres partes. En la primera parte se presentan los elementos básicos de la programación funcional. En la segunda, se estudian la implementación en Haskell de tipos abstractos de datos y sus aplicaciones así como cuestiones algorítmicas. En la tercera, se presentan casos de estudios. También se han incluido dos apéndices: uno con un resumen de las funciones de Haskell utilizadas y otro con el método de Pólya para la resolución de problemas.
Imágen de perfil

.pdfExámenes de “Programación funcional con Haskell” (2009–2015)


Haskell

Publicado el 16 de Septiembre del 2016 por Administrador
1.715 visualizaciones desde el 16 de Septiembre del 2016. Una media de 21 por semana
Desde el inicio (en el curso 2009–10) del Grado en Matemática de la Universidad de Sevilla se estudia, en la asignatura de Informática de primero, una introducción a la programación funcional con Haskell.

Durante este tiempo he ido publicando materiales para la asignatura que he recopilado en dos libros:

Temas de programación funcional
Piensa en Haskell (Ejercicios de programación funcional con Haskell)

Este libro completa los anteriores presentando una recopilación de los exámenes de la asignatura durante estos años.

Los exámenes se realizaron en el aula de informática y su duración fue de 2 horas. Durante el examen se podía usar el resumen de funciones de Haskell del apéndice A. La materia de cada examen es la impartida desde el comienzo del curso (generalmente, el 1 de octubre) hasta la fecha del examen.

La asignatura está más orientada a la resolución de problemas con Haskell (usando el método de Polya del apéndice B), que al estudio de las particularidades de Haskell.

El libro consta de 6 capítulos correspondientes a los 6 cursos en los que se ha impartido la asignatura. En cada capítulo hay una sección, por cada uno de los grupos de la asignatura, y una subsección por cada uno de los exámenes del grupo. Los ejercicios de cada examen han sido propuestos por los profesores de su grupo (cuyos nombres aparecen en el título de la sección). Sin embargo, los he modificado para unificar el estilo de su presentación.

En resumen, en esta versión del libro hay 129 exámenes con un total de 833 ejercicios.
En formato pdf. Contiene 602 páginas.
Imágen de perfil

.pdfEjercicios de programación funcional con Haskell


Haskell

Publicado el 07 de Enero del 2015 por Administrador
6.820 visualizaciones desde el 07 de Enero del 2015. Una media de 35 por semana
Colección de ejercicios resueltos de programación funcional con Haskell realizado por José A. Alonso Jiménez.
Contenidos:
I Programación básica
1. Introducción a la programación funcional
2. Números y funciones
3. Estructuras de datos
4. Aplicaciones de programación funcional
II Ejercicios del curso de K.L. Claessen Introduction to Functional Programming
5. Introducción a la programación funcional
6. Modelización y tipos de datos
7. Recursión y tipos de datos
8. Listas y comprensión
9. Funciones de entrada y salida. Generación de pruebas
10. Tipos de datos recursivos
11. Analizadores
12. Búsqueda en grafos y espacios de estados
13. Juegos
En formato pdf. Contiene 266 páginas.
Imágen de perfil

.pdfLógica en Haskell


Haskell

Publicado el 03 de Septiembre del 2013 por Administrador
11.123 visualizaciones desde el 03 de Septiembre del 2013. Una media de 42 por semana
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.
Imágen de perfil

.pdfIntroducción al lenguaje Haskell


Haskell

estrellaestrellaestrellaestrellaestrella(3)
Actualizado el 22 de Marzo del 2013 por Administrador (Publicado el 22 de Mayo del 2001)
35.975 visualizaciones desde el 22 de Mayo del 2001. Una media de 42 por semana
Completo tutorial de introducción al lenguaje Haskell en el que podrás familiarizarte con el fenomeno de la programación funcional. Formato PDF de 46 páginas
Imágen de perfil

.pdfGetting Started with functional Programming in Haskell


Haskell

Publicado el 10 de Diciembre del 2010 por Administrador
11.160 visualizaciones desde el 10 de Diciembre del 2010. Una media de 28 por semana
Guía de inicio a la programación en Haskell. En formato pdf. Contiene 20 páginas.
Anterior12Siguiente
Revisar política de publicidad