Diritto
D. nel diritto dell'Unione Europea È una delle fonti derivate del diritto dell’Unione Europea (UE), insieme alle direttive e ai regolamenti (art. 288 del Trattato sul funzionamento dell’UE). [...] un procedimento effettivo per stabilire se il predicato conviene o no a ciascun individuo, oppure gruppo di individui. Per i sistemiformali deduttivi della logica matematica il problema della d. può essere posto sotto due diversi aspetti: a) se sia ...
Leggi Tutto
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, [...] dall'intero programma.
L'approccio assiomatico alla semantica dei programmi ha portato allo sviluppo di una serie di sistemiformali (logiche della programmazione), per lo più estensioni modali di logiche del prim'ordine. Esempi di tali logiche sono ...
Leggi Tutto
Modello
Silvano Petrarca
Il termine modello è diffusamente utilizzato per indicare un ampio insieme di costruzioni formali ottenute mediante schematizzazioni di processi, comportamenti, situazioni ecc., [...] All'inizio del 21° sec. si può simulare il comportamento di un sistema prevedendo il suo stato futuro a partire dalla situazione iniziale, e si in modo da condurre a una struttura formale che sia utilizzabile nella pratica con proprietà facilmente ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] introdotte da Zelig Harris negli anni Quaranta del Novecento, i cui precedenti si possono riconoscere nei lavori sui sistemiformali condotti da logici, in particolare Alan Turing, Axel Thue e Emil Post. Parallelamente, e in modo apparentemente ...
Leggi Tutto
macchina
màcchina [Der. del lat. machina, dal gr. machaná o mechané] [LSF] Dispositivo costituito da un complesso di parti collegate in modo da ottenere un certo scopo, che spesso è la produzione di [...] L'uso più astratto del termine ricorre, nell'informatica, in varie locuz., quali, per es.: (a) m. formali (o automi), sistemiformali che costituiscono modelli discreti del comportamento di m. o dispositivi automatici reali o realizzabili; in partic ...
Leggi Tutto
Post Emil Leon
Post 〈póst〉 Emil Leon [STF] (Augistow, Polonia, 1897 - New York 1954) Prof. di matematica nel City College di New York (1944). ◆ [INF] Macchina di P.: v. automi, teoria degli: I 330 a. [...] ◆ [ALG] [FAF] Teoria di P.: nella logica matematica, riguarda i sistemiformali e gli insiemi ricorsivamente numerabili. ...
Leggi Tutto
ISTRUZIONE E SISTEMI SCOLASTICI
Norberto Bottani e Sherwin Rosen
Sociologia
di Norberto Bottani
Introduzione
Oggigiorno la possibilità di ricevere un'istruzione è ormai ampiamente diffusa: una rete [...] esistono non nella natura, ma solo nella mente degli uomini" (v. Bernard, 1865). I sistemi scolastici sono per l'appunto ricostruzioni formali che rappresentano modelli teorici di organizzazione e di funzionamento dell'istruzione.L'espansione della ...
Leggi Tutto
Sistemi, scienza e ingegneria dei
Salvatore Monaco
Con il termine sistema si intende qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti [...] a descrivere processi o fenomeni con il fine di modificarne il comportamento in funzione di obiettivi di utilità. In termini formali, un sistema astratto ∑ si dice orientato quando W=U×Y, dove U indica l’insieme dei valori delle grandezze di ingresso ...
Leggi Tutto
In senso lato, qualsiasi esplicazione di energia volta a un fine determinato. In senso più ristretto, attività umana rivolta alla produzione di un bene, di una ricchezza, o comunque a ottenere un prodotto [...] organica. Quest’ultima risolve i conflitti d’interesse, in unità produttive e tra unità produttive, tramite sistemi di regole sia formali che comportamentali. Le due scuole di pensiero confluiscono nelle teorie moderne dell’organizzazione del l. nell ...
Leggi Tutto
In senso generico, l’attività umana diretta alla produzione di beni e servizi, anche nelle sue forme più semplici e non organizzate. In senso specifico, ogni attività produttiva del settore secondario [...] investimento (indispensabili per accrescere le capacità produttive del sistema). È da osservare che l’industrializzazione si è l’edilizia industriale fu stimolata a raggiungere qualità formali e standard igienico-ambientali per le maestranze e per ...
Leggi Tutto
macchina
màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...