PROLOG
PROLOG acronimo di programmation en logique (programmazione logica), indica un linguaggio di programmazione elaborato nel 1972 nell’ambito dell’università di Aix-Marseille sulla base dell’impostazione [...] è una regola e l’ultima è il goal che si vuole dedurre. Essa è in pratica la negazione della conclusione che si vuole dedurre.
Le istruzioni di un programma in prolog sono clausole di Horn con variabili. Un programma in prolog non indica, quindi, le ...
Leggi Tutto
SIRIANNI, Giuseppe
Marco Gemignani
– Nacque a Genova il 18 aprile 1874 da Gaetano e da Maria Merlano.
Dal 20 ottobre 1888 fu allievo della Regia Accademia navale di Livorno e, completati i periodi di [...] imbarchi addestrativi e di istruzioni a terra, il 16 giugno 1894 fu promosso guardiamarina nel corpo dello stato maggiore generale. Sirianni fu destinato inizialmente alla corazzata Andrea Doria e negli anni successivi si imbarcò su altre navi della ...
Leggi Tutto
La municipalità democratica
Giovanni Scarabello
I preliminari di Leoben
Fu con l'inizio del 1797 che lo scontro bellico tra gli eserciti francesi e quelli austriaci, in corso sul territorio della [...] e per le ricusazioni dei giudici; norme per altri accidenti ancora. Non si può non notare che nella fase di prima istruzione del processo era data posizione di forza alla pubblica accusa e allo svolgimento per iscritto, mentre solo nelle sue fasi ...
Leggi Tutto
Vela
Fabio Colivicchi
La storia
Caravelle, galeoni, vascelli, brigantini e clipper
Nonostante gli sforzi degli storici, è arduo stabilire un preciso momento nel quale gli antichi naviganti scoprirono [...] nell'asse del vento con lati di bolina-poppa, da eseguire due-tre volte secondo il numero di giri previsto dalle istruzioni di regata ‒ e segnalato dal comitato con apposita bandiera ‒, e arrivo in poppa o di bolina) oppure un trapezio (con lati ...
Leggi Tutto
Maestro di scherma (n. Milano 1833 - m. 1882), uno dei più autorevoli esponenti della scuola dell'Ottocento. Sostenne l'importanza della scherma di sciabola, impostandola sul principio del maneggio dell'arma [...] con perno al gomito, escludendo qualsiasi concorso di pugno. È autore dell'opera Istruzioni per la scherma di sciabola e spada (2 voll., post., 1885). ...
Leggi Tutto
ALGOL
ALGOL 〈àlgol〉 [ELT] [INF] Sigla dell'ingl. ALGOrythmic Language "linguaggio algoritmico" con cui s'indica un linguaggio di programmazione simbolico di tipo numerico per calcolatori elettronici, [...] atto alla trattazione di problemi matematici e scientifici in genere, basato sull'uso di insiemi compiuti di istruzioni (algoritmi). ...
Leggi Tutto
NUMERICI CALCOLI (XXV, p. 29)
Enzo APARO
Generalità. - Il concetto di calcolo numerico si può introdurre da un punto di vista generale, come segue. Un insieme finito di oggetti, un insieme finito di [...] finito di passi da una disposizione iniziale degli oggetti nelle celle ad una finale, definiscono un calcolo. La successione delle istruzioni da seguire si dirà un programma. Si ha un calcolo numerico allorché gli oggetti sui quali si opera sono ...
Leggi Tutto
Fisica
In fisica delle particelle elementari, teoria in cui nessuna particella è fondamentale, poiché l’esistenza di ogni particella contribuisce alle forze tra esse e, d’altra parte, i sistemi legati [...] in alcune operazioni manuali che istruiscono la macchina a leggere le istruzioni successive e a eseguirle; queste ulteriori istruzioni prevedono, in particolare, anche le istruzioni di lettura ed esecuzione dei comandi successivi e così via fino ...
Leggi Tutto
L’art. 2094 c.c. definisce il lavoratore subordinato come colui che «si obbliga mediante retribuzione a collaborare nell’impresa, prestando il proprio lavoro intellettuale o manuale alle dipendenze e sotto [...] per tale l’assoggettamento del lavoratore al potere del datore di lavoro di impartire continue e dettagliate istruzioni per l’esecuzione dell’attività lavorativa. Va sottolineato come tale assoggettamento sia tollerato dal nostro ordinamento solo ...
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 [...] iterativa è invece la seguente:
for i=a. .b do
S
end do;
Questa struttura di controllo specifica l'iterazione dell'istruzione S per i che assume tutti i valori nell'intervallo chiuso a. .b.
Le astrazioni sul controllo che abbiamo illustrato in ...
Leggi Tutto
istruzione
istruzióne (ant. instruzióne) s. f. [dal lat. instructio -onis, der. di instruĕre: v. istruire]. – 1. a. L’attività, l’opera svolta per istruire attraverso l’insegnamento (o anche, in qualche caso, solo mediante l’addestramento),...
memòria s. f. [dal lat. memoria, der. di memor -ŏris «memore»]. – 1. a. In generale, la capacità, comune a molti organismi, di conservare traccia più o meno completa e duratura degli stimoli esterni sperimentati e delle relative risposte. In...