Modello (logica matematica)


Wikipedia in italiano - l'enciclopedia liberaDownload this dictionary
Modello (logica matematica)
In logica matematica un modello per un linguaggio o una teoria formale è intuitivamente un'attribuzione di un significato a tutti gli enunciati (le formule) del linguaggio.

Per saperne di più visita Wikipedia.org...


© Questo articolo utilizza materiale tratto dell'enciclopedia online Wikipedia® ed è autorizzato sotto la licenza GNU Free Documentation License