Cursos de Haskell

Mostrando del 1 al 10 de 11 registros
<<>>
Titulo:.pdf

Guía Rápida de Haskell

Autor:Forma parte de Universidad de Sevilla
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.
Comentarios: 0 Comentar  
Titulo:.pdf

Matemática discreta en Haskell

Autor:Forma parte de Openlibra
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.
Comentarios: 0 Comentar  
Titulo:internet

Lógica de primer orden en Haskell

Autor:Forma parte de Openlibra
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.
Comentarios: 0 Comentar  
Titulo:.pdf

Lógica de primer orden en Haskell

Autor:Forma parte de Openlibra - Etnasoft
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.
Comentarios: 0 Comentar  
Titulo:.pdf

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

Autor:Forma parte de Openlibra - Etnasoft
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.
Comentarios: 0 Comentar  
Titulo:.pdf

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

Autor:Forma parte de Openlibra - Etnasoft
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.
Comentarios: 0 Comentar  
Titulo:.pdf

Ejercicios de programación funcional con Haskell

Autor:Forma parte de Openlibra - Etnassoft
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.
Comentarios: 0 Comentar  
Titulo:.pdf

Lógica en Haskell

Autor:Forma parte de OpenLibra
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.
Comentarios: 0 Comentar  
Titulo:.pdf

Introducción al lenguaje Haskell

Autor:Forma parte de Distributed Systems Laboratory
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
Titulo:.pdf

Getting Started with functional Programming in Haskell

Autor:Forma parte de Página personal de Jan van Eijck
Guía de inicio a la programación en Haskell. En formato pdf. Contiene 20 páginas.
Comentarios: 0 Comentar  
Anterior12Siguiente
Revisar política de publicidad