Ene 21 2020

Lógica de primer orden en Haskell – Eduardo Paluzo Hidalgo [Es] [ULD]

Descripción:

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.

Datos Técnicos:

Peso:

Idioma: Español

Formato: PDF

Autor: Eduardo Paluzo Hidalgo

Genero: Haskell, Programación

Nº De Páginas: 130

Año: 2017

Descargar:

up-load.io/s48yx36xw2mp

Kaozi


Krokers1 A compartido 776 posts en MundoProgramas.


Mensaje Privado
No Lo recomiendoLo recomiendo (Ninguna valoración todavía)
Cargando…
124 views

Categoria: Noticias, Artículos y videos Etiquetas: , , , , , , , , , , , , ,

RSS Seguir Feed RSS Comentarios | Temas de Kaozi

Deja un Comentario