Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Files

memoria.pdf (316.54 KB)

Document type

Bachelor thesis

Publication date

2016-06-27

Publication license

cc-by-nc-nd (c) Miquel Montserrat Armstrong, 2016
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/109943

Automated theorem proving

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

Abstract

Automated Theorem Proving is an area in mathematical logic and computer science dedicated to the production of theorem proofs by algorithmical means, and is of great use in many fields such as some areas of mathematics, artificial intelligence, software verification, hardware verification or declarative programming. The aim of the first part of this work is to present Herbrand’s theory and the Resolution Method for the first order logic. In the second part we show one of the many applications of the Resolution Method: the Prolog programming language, which is a useful tool for the resolution of problems in the NP class.

Description

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2016, Director: Juan Carlos Martínez Alonso

Subject

Lògica, Treballs de fi de grau, Lògica de primer ordre, Programació lògica, PROLOG (Llenguatges de programació)

Subject (English)

Logic, Bachelor's theses, First-order logic, Logic programming, Prolog (Computer program language)

Citation

Collections

Treballs Finals de Grau (TFG) - Matemàtiques

Citation

MONTSERRAT ARMSTRONG, Miquel. Automated theorem proving. [consulted: 16 of August of 2026]. Available at: https://hdl.handle.net/2445/109943

Export metadata

JSON - METS

Share record