dc.contributor.advisor | Chen, Hubert Ming | es |
dc.contributor.advisor | Hermo Huguet, Montserrat | es |
dc.contributor.author | García Martínez, Jon Ander | es |
dc.contributor.other | F. INFORMATICA | es |
dc.contributor.other | INFORMATIKA F. | es |
dc.date.accessioned | 2015-10-15T16:25:20Z | |
dc.date.available | 2015-10-15T16:25:20Z | |
dc.date.issued | 2015-10-15 | |
dc.identifier.uri | http://hdl.handle.net/10810/15901 | |
dc.description.abstract | El 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.iso | spa | es |
dc.rights | info:eu-repo/semantics/openAccess | |
dc.subject | restricciones de igualdad | es |
dc.subject | dominio de los naturales | es |
dc.title | Restricciones de igualdad sobre el dominio de los naturales | es |
dc.type | info:eu-repo/semantics/bachelorThesis | es |
dc.date.updated | 2015-07-24T10:59:32Z | es |
dc.language.rfc3066 | es | es |
dc.rights.holder | © 2015, el autor | es |
dc.contributor.degree | Grado en Ingeniería Informática | es |
dc.contributor.degree | Informatikaren Ingeniaritzako Gradua | es |
dc.identifier.gaurassign | 29496-607519 | es |