Miniatura

Fitxers

memoria.pdf (316.54 KB)

Tipus de document

Treball de fi de grau

Data de publicació

2016-06-27

Llicència de publicació

cc-by-nc-nd (c) Miquel Montserrat Armstrong, 2016
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/109943

Automated theorem proving

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

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.

Descripció

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

Matèries

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

Matèries (anglès)

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

Citació

Col·leccions

Treballs Finals de Grau (TFG) - Matemàtiques

Citació

MONTSERRAT ARMSTRONG, Miquel. Automated theorem proving. [consulta: 23 de gener de 2026]. [Disponible a: https://hdl.handle.net/2445/109943]

Exportar metadades

JSON - METS

Compartir registre