Repositori DSpace/Manakin

Fundamentos de programación lógica

Mostra el registre parcial de l'element

dc.contributor Martínez Alonso, Juan Carlos
dc.creator Barriga Martı́n, Héctor
dc.date 2018-10-09T08:05:26Z
dc.date 2018-10-09T08:05:26Z
dc.date 2018-06-27
dc.date.accessioned 2024-12-16T10:26:49Z
dc.date.available 2024-12-16T10:26:49Z
dc.identifier http://hdl.handle.net/2445/125157
dc.identifier.uri http://fima-docencia.ub.edu:8080/xmlui/handle/123456789/21554
dc.description Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2018, Director: Juan Carlos Martı́nez Alonso
dc.description [en] Logic Programming arises from the fundamental idea that First Order Logic can be used as a programming language. The aim of the first two sections of this work is to present the theoretical foundations of Logic Programming and particularly of the SLD–Resolution Method. In the last section we show the Prolog programming language and give some examples where it shines over imperative programming languages.
dc.format 72 p.
dc.format application/pdf
dc.language spa
dc.rights cc-by-nc-nd (c) Héctor Barriga Martı́n, 2018
dc.rights http://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.rights info:eu-repo/semantics/openAccess
dc.source Treballs Finals de Grau (TFG) - Matemàtiques
dc.subject Lògica de primer ordre
dc.subject Programació (Matemàtica)
dc.subject PROLOG (Llenguatges de programació)
dc.subject Treballs de fi de grau
dc.subject First-order logic
dc.subject Mathematical programming
dc.subject Prolog (Computer program language)
dc.subject Bachelor's theses
dc.title Fundamentos de programación lógica
dc.type info:eu-repo/semantics/bachelorThesis


Fitxers en aquest element

Fitxers Grandària Format Visualització

No hi ha fitxers associats a aquest element.

Aquest element apareix en la col·lecció o col·leccions següent(s)

Mostra el registre parcial de l'element

Cerca a DSpace


Cerca avançada

Visualitza

El meu compte