Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] , reticoli, strutture algebriche ordinate (aspetti algebrici degliinsiemi parzialmente ordinati), alla teoria dei numeri (successioni e insiemi, geometria dei numeri, partizioni, campi finiti e anelli), alla teoria dei gruppi e sue generalizzazioni ...
Leggi Tutto
Nella teoria dei sistemi, tipo di rappresentazione ideato verso la fine degli anni 1970 da L.A. Zadeh, della University of California a Berkeley, ma affermatosi solo a partire dagli anni 1990, che ha l’obiettivo [...] il processo di deduzione di una o più conseguenze a partire da un insieme di premesse; d) un’interfaccia che provvede a trasformare le uscite degliinsiemi f. in valori numerici interni agli intervalli delle grandezze di uscita del controllore ...
Leggi Tutto
Matematico (Cuneo 1858 - Torino 1932), prof. di calcolo infinitesimale alla univ. (dal 1890) e all'Accademia militare di Torino, socio nazionale dei Lincei (1929); uno dei maggiori matematici italiani [...] -formale dei fondamenti dell'aritmetica, della geometria proiettiva, della teoria generale degliinsiemi; il primo esempio d'integrazione per approssimazioni successive nella teoria delle equazioni differenziali ordinarie (il metodo sarà ripreso e ...
Leggi Tutto
Diritto
M. cautelari
Provvedimenti provvisori e immediatamente esecutivi miranti a evitare che il trascorrere del tempo possa provocare un pericolo per l’accertamento del reato, per l’esecuzione della [...] , o di due angoli ecc. è la somma a+b delle m. degli addendi. La suddetta proprietà consente di trattare con i metodi dell’algebra le , teoria dell’informazione ecc.). Ricordiamo dunque alcuni elementi fondamentali di questa teoria. Dato un insieme E ...
Leggi Tutto
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] metodi matematici delle possibilità e dei limiti teorici degli elaboratori si riduce all’indagine di che cosa si possa e che cosa non si possa fare con metodi algoritmici.
Gli insiemi considerati nella teoria sono costituiti da numeri naturali o da n ...
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, [...] App. IV: v. informatica: Informatica matematica, teoria dei linguaggi) è costituito dalla teoriadegli automi e dei linguaggi formali, che si occupa delle proprietà sintattiche dei linguaggi, intesi come insiemi di sequenze di simboli definite su un ...
Leggi Tutto
Progettazione
Livio Sacchi e Roberto de Rubertis
Parte introduttiva
di Livio Sacchi
Si intende per progettazione l'ideazione di qualcosa e lo studio delle effettive possibilità e modalità di realizzazione [...] ideazione, proposito, piano, è costituito dall'insiemedegli elaborati tecnici relativi all'opera da realizzare: A. Feigenbaum, J. Feldman, New York 1963.
R. Franchini, Teoria della previsione, Napoli 1964.
G.K. Koenig, Analisi del linguaggio ...
Leggi Tutto
Elettronica
FFrancesco Carassa e Emilio Gatti
di Francesco Carassa e Emilio Gatti
Elettronica
Sommario: 1. Introduzione. 2. Sviluppo storico. 3. Lo spettro delle onde elettromagnetiche. 4. Generalità [...] ora in modo scientifico nella teoria dell'informazione di Wiener e dove Dn e Dp rappresentano i coefficienti di diffusione degli elettroni e delle lacune, μn e μp le dell'altra di due tensioni standard su un insieme di n fili), o di ‛tipo serie' ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] . La matematica non può fondarsi sulla filosofia.
8. La teoriadegliinsiemi
La teoria classica degliinsiemi pretende di descrivere un universo di insiemi che esistono indipendentemente dalla nostra mente. Nella matematica intuizionista la ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] e la determinazione di assiomi di antifondazione che sono ora considerati i più appropriati per le applicazioni della teoriadegliinsiemi alla semantica e all’informatica (cfr. BUMI, p. 20). Dal 1984, De Giorgi e la sua ‘scuola fondazionale ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...