Un primer contacte amb la lògica temporal

Vista senzilla d'ítem
dc.contributor.advisorBagaria, Joan
dc.contributor.authorAmaro Velasco, Emma
dc.date.accessioned2023-09-26T11:20:40Z
dc.date.available2023-09-26T11:20:40Z
dc.date.issued2023-06-12
dc.descriptionTreballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2023, Director: Joan Bagariaca
dc.description.abstract[en] Temporal logic is a field of study full of interest both in theory and in practice. In this report we will introduce a propositional temporal logic and a temporal first order logic while comparing the properties each one holds. We will show completeness and decidability for the first one, and the completeness of certain fragments and nondecidability for the second. Finally, we will present the PLTL logic, used in computer science, and we will explore a particular application: model checking.ca
dc.format.extent48 p.
dc.format.mimetypeapplication/pdf
dc.identifier.urihttps://hdl.handle.net/2445/202222
dc.language.isocatca
dc.rightscc-by-nc-nd (c) Emma Amaro Velasco, 2023
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.classificationTemps (Lògica)ca
dc.subject.classificationTreballs de fi de grau
dc.subject.classificationLògicaca
dc.subject.classificationLògica matemàticaca
dc.subject.otherTense (Logic)en
dc.subject.otherBachelor's theses
dc.subject.otherLogicen
dc.subject.otherMathematical logicen
dc.titleUn primer contacte amb la lògica temporalca
dc.typeinfo:eu-repo/semantics/bachelorThesisca

Fitxers

Paquet original

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

Col·leccions

Treballs Finals de Grau (TFG) - Matemàtiques