Informatica Giorgio Ausiello Carlo Batini Vittorio Frosini (App. IV, ii, p. 189; V, ii, p. 704) Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] delle sorti s₁,…,sn di Σ) e una famiglia di funzioni (in corrispondenza delle operazioni f₁,…,fm di Σ). Esempio. Sia data la segnatura ΣNAT le cui sorti sono: {nat,bool}, le operazioni sono {zero,succ,eq} e il loro tipo è: zero:→nat; succ:nat→nat ... Leggi Tutto

linguàggio di programmazióne In informatica, insieme di parole e di regole, definite in modo formale, per consentire la programmazione di un elaboratore affinché esegua compiti predeterminati. Esistono [...] di caratteri (chiamate stringhe) e il cosiddetto tipo booleano, che può assumere solo i valori vero e falso contesto inappropriato per il suo tipo (per es., eseguire un’operazione aritmetica su una variabile di tipo non numerico) genera un errore ... Leggi Tutto

LINGUAGGI PROGRAMMATIVI Carlo Ghezzi I l. p. (o linguaggi di programmazione) costituiscono il mezzo linguistico tramite cui gli elaboratori possono essere programmati. Essi costituiscono pertanto lo [...] sommi una variabile intera a un carattere o un booleano. La semantica dinamica, nel caso dell'espressione precedente, C, supposto che questa non sia già completa, occorre scrivere le seguenti operazioni: C.N_STUD:=C.N_STUD+1; C.ALLIEVI[C.N_STUD]:=X ... Leggi Tutto