What is wrong?

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

Loading...

You must sign in to do that.

Forgot password?

Lógica de primer orden en Haskell

Lógica de primer orden en Haskell

Lógica de primer orden en Haskell

Score: 9.71 | 7 votes
| Sending vote
| Voted!
|

Book Details:

pos
Global
pos
Category
Year:2017
Publisher:Universidad de Sevilla
Pages:130 pages
Language:spanish
Since:06/09/2017
Size:487 KB
License:CC-BY-NC-SA

Content:

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.

Categories:

Tags:

Loading comments...

Scanning lists...

The book in numbers

global rank

rank in categories

online since

06/09/2017

rate score

34

votes

7

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...