Show simple item record

dc.contributor.advisorChen, Hubert Minges
dc.contributor.advisorHermo Huguet, Montserrates
dc.contributor.authorGarcía Martínez, Jon Anderes
dc.contributor.otherF. INFORMATICAes
dc.contributor.otherINFORMATIKA F.es
dc.date.accessioned2015-10-15T16:25:20Z
dc.date.available2015-10-15T16:25:20Z
dc.date.issued2015-10-15
dc.identifier.urihttp://hdl.handle.net/10810/15901
dc.description.abstractEl objetivo de este proyecto consiste en implementar una aplicación que busca todos los modelos de una fórmula recibida como entrada. Esta fórmula de entrada pertenece a la lógica NatEq, la cual es un subconjunto de la lógica de primer orden. Esta lógica consta de un sólo predicado, que es la igualdad. Además, no contiene símbolos de funciones, incluye los cuantificadores universal y existencial, y se interpreta sobre el dominio de los números naturales N.es
dc.language.isospaes
dc.rightsinfo:eu-repo/semantics/openAccess
dc.subjectrestricciones de igualdades
dc.subjectdominio de los naturaleses
dc.titleRestricciones de igualdad sobre el dominio de los naturaleses
dc.typeinfo:eu-repo/semantics/bachelorThesises
dc.date.updated2015-07-24T10:59:32Zes
dc.language.rfc3066eses
dc.rights.holder© 2015, el autores
dc.contributor.degreeGrado en Ingeniería Informáticaes
dc.contributor.degreeInformatikaren Ingeniaritzako Graduaes
dc.identifier.gaurassign29496-607519es


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record