Fundamentos de programación lógica

Vista senzilla d'ítem
dc.contributor.advisorMartínez Alonso, Juan Carlos
dc.contributor.authorBarriga Martı́n, Héctor
dc.date.accessioned2018-10-09T08:05:26Z
dc.date.available2018-10-09T08:05:26Z
dc.date.issued2018-06-27
dc.descriptionTreballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2018, Director: Juan Carlos Martı́nez Alonsoca
dc.description.abstract[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.ca
dc.format.extent72 p.
dc.format.mimetypeapplication/pdf
dc.identifier.urihttps://hdl.handle.net/2445/125157
dc.language.isospaca
dc.rightscc-by-nc-nd (c) Héctor Barriga Martı́n, 2018
dc.rights.accessRightsinfo:eu-repo/semantics/openAccessca
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/*
dc.sourceTreballs Finals de Grau (TFG) - Matemàtiques
dc.subject.classificationLògica de primer ordreca
dc.subject.classificationTreballs de fi de grau
dc.subject.classificationProgramació (Matemàtica)ca
dc.subject.classificationPROLOG (Llenguatges de programació)ca
dc.subject.otherFirst-order logicen
dc.subject.otherBachelor's theses
dc.subject.otherMathematical programmingen
dc.subject.otherProlog (Computer program language)en
dc.titleFundamentos de programación lógicaca
dc.typeinfo:eu-repo/semantics/bachelorThesisca

Fitxers

Paquet original

Mostrant 1 - 1 de 1
Miniatura
Nom:
memoria.pdf
Mida:
431.52 KB
Format:
Adobe Portable Document Format
Descripció:
Memòria
Descarregar

Col·leccions

Treballs Finals de Grau (TFG) - Matemàtiques