| Property |
Value |
| dbo:abstract
|
- En ciencias de la computación y lógica matemática, el problema de las teorías de satisfacibilidad módulo (SMT por sus siglas del inglés satisfiability modulo theories) es un problema de decisión para fórmulas lógicas con respecto a las combinaciones de teorías subyacentes expresadas en la lógica de primer orden clásica con igualdad. Ejemplos de teorías usadas comúnmente en ciencias de la computación son la teoría de los números reales, la teoría de los enteros, y las teorías sobre diversas estructuras de datos como listas, arrays, y demás. Los SMT se pueden ver como una forma del problema de satisfacción de restricciones (CSP) y por tanto crear una aproximación formalizada hacia la programación con restricciones. (es)
- En ciencias de la computación y lógica matemática, el problema de las teorías de satisfacibilidad módulo (SMT por sus siglas del inglés satisfiability modulo theories) es un problema de decisión para fórmulas lógicas con respecto a las combinaciones de teorías subyacentes expresadas en la lógica de primer orden clásica con igualdad. Ejemplos de teorías usadas comúnmente en ciencias de la computación son la teoría de los números reales, la teoría de los enteros, y las teorías sobre diversas estructuras de datos como listas, arrays, y demás. Los SMT se pueden ver como una forma del problema de satisfacción de restricciones (CSP) y por tanto crear una aproximación formalizada hacia la programación con restricciones. (es)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| dct:subject
| |
| rdfs:comment
|
- En ciencias de la computación y lógica matemática, el problema de las teorías de satisfacibilidad módulo (SMT por sus siglas del inglés satisfiability modulo theories) es un problema de decisión para fórmulas lógicas con respecto a las combinaciones de teorías subyacentes expresadas en la lógica de primer orden clásica con igualdad. Ejemplos de teorías usadas comúnmente en ciencias de la computación son la teoría de los números reales, la teoría de los enteros, y las teorías sobre diversas estructuras de datos como listas, arrays, y demás. Los SMT se pueden ver como una forma del problema de satisfacción de restricciones (CSP) y por tanto crear una aproximación formalizada hacia la programación con restricciones. (es)
- En ciencias de la computación y lógica matemática, el problema de las teorías de satisfacibilidad módulo (SMT por sus siglas del inglés satisfiability modulo theories) es un problema de decisión para fórmulas lógicas con respecto a las combinaciones de teorías subyacentes expresadas en la lógica de primer orden clásica con igualdad. Ejemplos de teorías usadas comúnmente en ciencias de la computación son la teoría de los números reales, la teoría de los enteros, y las teorías sobre diversas estructuras de datos como listas, arrays, y demás. Los SMT se pueden ver como una forma del problema de satisfacción de restricciones (CSP) y por tanto crear una aproximación formalizada hacia la programación con restricciones. (es)
|
| rdfs:label
|
- Teorías de satisfacibilidad módulo (es)
- Teorías de satisfacibilidad módulo (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
