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 | Grandària | Format | Visualització |
---|---|---|---|
No hi ha fitxers associats a aquest element. |