Restricciones de igualdad sobre el dominio de los naturales
| Contribuinte(s) |
Chen, Hubert Ming Hermo Huguet, Montserrat F. INFORMATICA INFORMATIKA F. Grado en Ingeniería Informática Informatikaren Ingeniaritzako Gradua |
|---|---|
| Data(s) |
15/10/2015
15/10/2015
15/10/2015
24/07/2015
|
| Resumo |
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. |
| Identificador |
http://hdl.handle.net/10810/15901 29496-607519 |
| Idioma(s) |
spa es |
| Direitos |
© 2015, el autor |
| Palavras-Chave | #restricciones de igualdad #dominio de los naturales |
| Tipo |
info:eu-repo/semantics/bachelorThesis |
