alto [lat. altus, propr. part. pass. passivo di alĕre "nutrire, far crescere"]. - ■ agg. 1. a. [che si eleva dal suolo con uno sviluppo verticale notevole: un a. monte; alberi d'a. fusto] ≈ elevato. ‖ [...] 3. (lett.) [volta celeste] ≈ cielo. □ alta fedeltà [sistema di registrazione e di riproduzione del suono che riduce al minimo le anche voluminoso: quel libro è assai voluminoso) e fine (meno formale ma più com., fino) o sottile per basso. Nel secondo ...
Leggi Tutto
aritmetica, sistema formale per l'
aritmetica, sistema formale per l’ descrizione dell’aritmetica come teoria formale a partire da un sistema di assiomi. Per l’aritmetica si utilizzano innanzitutto i simboli del linguaggio dei predicati. Si...
sistema formale
sistema formale apparato simbolico mediante il quale è possibile rappresentare formalmente i procedimenti logico-deduttivi delle dimostrazioni matematiche. Esempi di sistemi formali sono i calcoli logici quali il calcolo degli...