letterale

Enciclopedia della Matematica (2013)

letterale


letterale in algebra, attributo con il quale si qualifica il calcolo che utilizza lettere per indicare variabili, parametri o elementi generici di un insieme (→ calcolo letterale).

□ In logica e informatica, nell’ambito del linguaggio di programmazione prolog, proposizione costituita da una lettera che indica una variabile enunciativa (letterale positivo) o la sua negazione (letterale negativo): una proposizione C è un letterale, come pure la proposizione ￢C, il primo positivo e il secondo negativo (→ PROLOG).

Tag
Vocabolario
letterale
letterale (ant. litterale) agg. [dal lat. tardo litteralis]. – 1. a. Che riguarda la lettera di uno scritto, che si attiene cioè al significato più ovvio e per così dire esterno delle parole, in contrapp. allo spirito, cioè al significato...
letteralità
letteralita letteralità s. f. [der. di letterale; cfr. fr. littéralité, ingl. literality], non com. – Carattere, valore letterale del senso o dell’interpretazione, conformità alla lettera: essere rispettosi della l. della legge; per chi...