L’accordo di programma rientra nella tipologia degli accordi tra amministrazioni pubbliche (su cui si fa rinvio alla voce Accordi amministrativi). Esso ha disciplina propria, descritta in modo dettagliato [...] e di contratti in quanto compatibili (con l’interesse pubblico che l’accordo è sempre tenuto a perseguire).
Gli accordi di programma, ex art. 34, co. 1, TUEL, possono avere a oggetto «la definizione e l’attuazione di opere, di interventi o di ...
Leggi Tutto
automa a programma
automa a programma automa universale che opera secondo un programma di calcolo, cioè secondo una successione di istruzioni espresse in un linguaggio di programmazione. Il suo operare, [...] confrontarli con 0;
• un particolare registro P che memorizza soltanto numeri interi positivi e ha una funzione di contatore di programma; esso contiene il numero dell’istruzione che deve essere eseguita e il suo valore iniziale è 1.
Il registro P è ...
Leggi Tutto
traduzione, programma di
traduzione, programma di programma che traduce un programma di calcolo, scritto in un linguaggio di programmazione evoluto, in un insieme di istruzioni comprensibili all’automa [...] esecutore, cioè in un codice interpretabile funzionalmente. Negli elaboratori elettronici tale funzione di traduzione è gestita dal → compilatore, che è responsabile sia del controllo formale della sintassi ...
Leggi Tutto
Hilbert, programma di
Hilbert, programma di locuzione con cui si indica il programma di ricerca attribuito a D. Hilbert, volto a dare un assetto sicuro all’edificio matematico, privo cioè di contraddizioni [...] possibile la dimostrazione di qualunque affermazione (di qualunque proposizione si dimostrerebbe anche la sua negazione). Il programma di Hilbert, che comunque fu propulsivo nell’individuare importanti problemi fondazionali (→ Hilbert, problemi di) e ...
Leggi Tutto
Erlangen, programma di
Erlangen, programma di sorta di manifesto programmatico relativo a una diversa impostazione e classificazione della geometria, basata sui gruppi di trasformazione, dovuto a F. [...] proprietà invarianti in una trasformazione proiettiva e quindi indifferenti al gruppo delle proiettività. Le idee esposte nel programma di Erlangen, oltre ad aver modificato notevolmente la direzione degli studi geometrici e contribuito a dare una ...
Leggi Tutto
Holder, programma di
Hölder, programma di programma di classificazione dei gruppi finiti tramite serie di composizione (→ gruppo, serie di composizione di un) proposto da Hölder alla fine del secolo [...] xix. Ogni gruppo finito possiede una serie di composizione, unica a meno di isomorfismi (→ Jordan-Hölder, teorema di). Pertanto, una volta nota la classificazione dei gruppi semplici finiti (ultimata, ...
Leggi Tutto
programma, file di
programma, file di in un elaboratore, file che contiene le istruzioni del programma. Esso è distinto dall’eventuale file di record che contiene i dati registrati, ma è predisposto [...] per comunicare, con apposite istruzioni, con tale file esterno in modo che quest’ultimo possa costituire, per il programma stesso, un particolare input, per la lettura dei dati, o un particolare output, per la scrittura o la modifica dei dati stessi ...
Leggi Tutto
programma, contatore di
programma, contatore di in un → automa a programma, particolare registro di memoria che contiene il numero dell’istruzione che deve essere eseguita; il valore iniziale di tale [...] numero è uguale a 1 ...
Leggi Tutto
programma
s. m. [dal lat. tardo programma -mătis, gr. πρόγραμμα -ματος, der. di προγράϕω, propr. «scrivere prima»] (pl. -i). – 1. Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, d’una linea di condotta da seguire,...
programmabile
programmàbile agg. [der. di programmare]. – Che si può programmare, ossia prevedere, predisporre: ormai si sa tutto ... tutto in termini esatti, già programmato o programmabile (Volponi). Anche con riferimento alla programmazione...