What is wrong?

Notice: Before sending an error with the download, please try the direct link first: Lógica en Haskell

Loading...

You must sign in to do that.

Forgot password?

Lógica en Haskell

Lógica en Haskell

Lógica en Haskell

Score: 10.00 | 3 votes
| Sending vote
| Voted!
|

Book Details:

pos
Global
pos
Category
Year:2008
Publisher:Universidad de Sevilla
Pages:138 pages
Language:spanish
Since:19/12/2012
Size:178 KB
License:Pending review

Content:

Haskell (hæskəl) es un lenguaje de programación estandarizado multi-propósito puramente funcional con semánticas no estrictas y fuerte tipificación estática. Su nombre se debe al lógico estadounidense Haskell Curry. En Haskell, "una función es un ciudadano de primera clase" del lenguaje de programación. Como lenguaje de programación funcional, el constructor de controles primario es la función. El lenguaje tiene sus orígenes en las observaciones de Haskell Curry y sus descendientes intelectuales.

En los años 1980 se constituyó un comité cuyo objetivo era crear un lenguaje funcional que reuniera las características de los múltiples lenguajes funcionales de la época, el más notable Miranda, y resolviera la confusión creada por la proliferación de los mismos.

El lenguaje evoluciona rápidamente con y (ver más abajo) como los representantes actuales del estándar de facto. El último estándar semi-oficial es Haskell 98, con la intención de especificar una versión mínima y compatible del lenguaje como base para futuras extensiones y para su enseñanza.

(Wikipedia)

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.

Categories:

Tags:

Loading comments...

Scanning lists...

The book in numbers

global rank

online since

19/12/2012

rate score

15

votes

3

Social likes

Nothing yet...

Views

Downloads

This may take several minutes

Interest

Countries segmentation

This may take several minutes

Source Referers

Websites segmentation

evolution

This may take several minutes

Loading...