Cálculo de Modelos Mínimos
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El proceso de cálculo de modelos de una teoría o especificación que son mínimos respecto a la inclusión de conjuntos o un orden dado, con frecuencia usado para capturar soluciones canónicas, parsimoniosas o previstas entre muchos modelos.