
Lógica de primer orden en Haskell
Eduardo Paluzo Hidalgo
Lógica de primer orden en Haskell
Eduardo Paluzo Hidalgo
Book Details:
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
rank in categories
online since
06/09/2017rate score
69votes
14Social likes
1Views
Downloads
Interest
Countries segmentation
Source Referers
Websites segmentation
evolution
Loading...