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. [...] principi e metodi di varie discipline: logica matematica, assiomatica, semantica, teoria degl'insiemi, possibile individuare una soprateoria di C che formalizzi la teoria elementare dei campi finiti.
Definibilità e teoria dei modelli. - Sia S un ...
Leggi Tutto
Parte della logica matematica che studia le relazioni tra insiemi di espressioni di un linguaggio formale e insiemi di strutture in cui quelle espressioni sono valide.
Cenni storici
Sebbene l’espressione teoria dei m. sia stata usata per la prima volta da Tarski all’inizio degli anni Cinquanta, molti ... ...
Leggi Tutto
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più significativi dell'indagine logica contemporanea, per le sue interessanti applicazioni all'algebra, alla geometria algebrica, ... ...
Leggi Tutto
Giulio SUPINO
Gino SACERDOTE
Guido OBERTI
Vittorio PEGORARO
La parola "modello" (v. anche modello, vol. XXIII, p. 511) indica generalmente la riproduzione, con dimensioni ridotte, di un "prototipo", cioè di una struttura, una macchina, un corso d'acqua, ecc., o anche soltanto di una parte limitata ... ...
Leggi Tutto
RESISTENZA dei materiali (XXIX, p. 89; App. II, 11, p. 691)
Domenico GENTILONI SILVERJ
Nel continuo sforzo per approfondire lo studio dei materiali (s'intende parlare di materiali da costruzione in senso [...] superfici ai fini degli inneschi della rottura. di colate, saldature, pezzi finiti.
La gammagrafia è efficace ) a 2000 m/sec. Il metodo viene parimenti utilizzato in controlli di per esempio il conglomerato contiene elementi magnetici (pozzolane) si ...
Leggi Tutto
numerico
numèrico agg. [der. di numero] (pl. m. -ci). – 1. a. Di numero, di numeri, costituito da numeri: segni n., i numeri stessi; caratteri n., i caratteri tipografici che rappresentano numeri, e, in informatica, i simboli (diversi da quelli...
paradosso1
paradòsso1 agg. e s. m. [dal gr. παράδοξος, comp. di παρα- nel sign. di «contro» e δόξα «opinione»; come sost., dal gr. παράδοξον (neutro sostantivato), lat. paradoxum]. – 1. agg. Che va contro l’opinione o contro il modo di pensare...