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

Linguaggio di programmazione

Informatica

Algebra

Prolog