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
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
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] ), i corrispondenti insiemi strutturali vengono detti "modelli" (semantici); questi costituiscono particolari interpretazioni delle teorie o sistemiformali dati.
Con simile significato, la denominazione stessa di "t. dei m." appare introdotta da A ...
Leggi Tutto
Lindenbaum Adolf
Lindenbaum 〈lìndënbaum〉 Adolf [STF] (Varsavia 1904 - m. in un campo di concentramento nazista, forse nel 1942). ◆ [ALG] Algebre di L.: algebre associabili a vari tipi di sistemiformali. [...] ◆ [ALG] Teorema, o lemma, di L.: afferma che ogni teoria non contraddittoria ammette un'estensione nello stesso linguaggio non contraddittoria e completa ...
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
Uno dei continenti, congiunto con l’Eurasia mediante l’istmo di Suez fino all’anno 1869, quando l’istmo fu tagliato per la costruzione del canale omonimo.
Originariamente detta Libye (lat. Libya), l’A. [...] attraverso il continente: diversi paesi africani si orientano verso un sistema a partito unico ed economia di piano.
1966: indipendenza radicata nella coscienza motoria della comunità; la costruzione formale dell’insieme è ciclica, e non sempre le ...
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
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] è stato talvolta concepito come un insieme articolato di programmi, norme e relazioni formali all’interno di una comunità educante. Ormai, però, l’approccio sistemico non si limita a considerare la struttura dei corsi di studio, i programmi ...
Leggi Tutto
Parte della fisica che studia i fenomeni relativi alla propagazione della luce (nel vuoto e nei mezzi materiali) e gli effetti della sua interazione con i corpi, nonché le proprietà e la costituzione degli [...] più semplici, come nel caso delle approssimazioni di Gauss (➔ sistema).
O. ondulatoria
Come detto in precedenza, esiste tutta È quella parte della fisica che, partendo dall’analogia formale fra il movimento di elettroni in campi elettrici e ...
Leggi Tutto
Parte della elettrologia che ha per oggetto lo studio delle mutue azioni fra circuiti percorsi da corrente ( azioni elettrodinamiche) e, più in generale, delle interazioni fra cariche in moto e campi elettromagnetici. [...] teoria su basi estremamente rigorose dal punto di vista formale.
Aspetti teorici
- Poiché l’e. quantistica è (s=1, 2, ...) le regole di commutazione già ammesse per gli ordinari sistemi dinamici a n gradi di libertà; in particolare, per una qs e il ...
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,...