Valoração, em álgebra abstrata, é uma função que associa a cada elemento um valor ordenado.
1
As noções da teoria dos modelos de consistência e satisfazibilidade são explicações úteis da coerência, mas não fornecem uma análise nem uma redução dela.
English
Spanish
Catalan