foliazione
Luca Tomassini
Decomposizione di un oggetto geometrico n-dimensionale (una varietà) in termini di altri oggetti (sottovarietà) di dimensione più bassa, detti foglie. Più precisamente, si [...] foliazioni. D’altro canto, la creazione della stessa nozione di foliazione fu in parte stimolata dagli sviluppi della teoriadeisistemi dinamici, nel qual caso la varietà M{[ è lo spazio delle fasi e la sua decomposizione in traiettorie distinte ...
Leggi Tutto
automazione
automazióne [Der. dell'ingl. automation, da automatic "automatico"] [FTC] [INF] (a) Impiego di un insieme di mezzi e procedimenti tecnici che, agendo opportunamente su particolari congegni [...] , detta anche automatica. L'a. è l'aspetto tecnico e applicativo della cibernetica (v.) e della teoriadeisistemi (v. sistemi, teoriadei), e riguarda l'impiego di macchine e procedure complesse, capaci di regolare il proprio funzionamento e di ...
Leggi Tutto
bioingegneria
bioingegnerìa [Comp. di bio- e ingegneria] [BFS] [FTC] Disciplina che tratta le questioni di ingegneria riguardanti organismi viventi e che può essere divisa nei seguenti campi principali: [...] (a) la tecnica deisistemi biologici, che, con i metodi della teoriadeisistemi, s'occupa della descrizione e dell'interpretazione tecnica degli esseri viventi, dei loro organi e del modo di funzionare di questi; (b) la bionica (←); (c) la ...
Leggi Tutto
Matematico e ingegnere elettronico ungherese (n. Budapest 1930 - m. 2016), prof. in varie univ. degli USA e al Politecnico Federale di Zurigo. Prof. alla Stanford Univ. dal 1964 al 1971, dal 1971 al 1992 [...] theory della University of Florida di Gainesville. Ha dato contributi di grande rilevanza nel campo della teoriadeisistemi di controllo e di calcolo. Molto note le sue teorie sul filtraggio statistico e in particolare il cosiddetto filtro di K ...
Leggi Tutto
In matematica, il termine è usato con diversi significati.
In algebra la c. di un corpo K sia lo zero oppure un numero primo, p, a seconda che il sottocorpo fondamentale di K sia il campo razionale, o [...] , e anche il massimo ordine dei minori con determinante diverso da zero che dalla matrice si possono estrarre. La considerazione della c. ha importanza nella teoria delle matrici, nella teoriadeisistemi di equazioni algebriche lineari (➔ Capelli ...
Leggi Tutto
Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale [...] problema della riducibilità e di problemi di decisione, sviluppando la nozione di gradi di insolubilità. Importante la sua teoriadeisistemi formali e degli insiemi ricorsivamente numerabili, di quegli insiemi, cioè, che o sono vuoti o sono codominî ...
Leggi Tutto
Ulam, Stanisław Marcin
Luca Dell'Aglio
Matematico polacco, naturalizzato statunitense, nato a Leopoli il 13 aprile 1909 e morto a Santa Fe (New Mexico) il 13 maggio 1984. Dopo gli studi all'Istituto [...] diffusione con l'avvento dei moderni elaboratori elettronici. Infatti U. è uno dei pionieri dell'introduzione sistemica degli elaboratori nella ricerca scientifica, in particolare nell'ambito della teoriadeisistemi dinamici.
Opere principali: A ...
Leggi Tutto
MORSE, Marston
Matematico americano, nato il 24 marzo 1892 a Waterville, Maine. Professore alla Harvard University e poi, dal 1935, all'Institute for Advanced Study (Princeton, N. J.). Presidente dell'American [...] di ricerca matematica a cui è maggiormente legato il nome di M. sono la teoria delle funzioni, il calcolo delle variazioni in grande, la teoriadeisistemi dinamici. Le ricerche del M. sono peraltro sempre ispirate a un profondo senso dell'unità ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] complessità descrittiva, teoriadei protocolli crittografici, teorie logiche della programmazione, semantica dei programmi, teoria delle basi di dati e della rappresentazione della conoscenza, teoriadeisistemi distribuiti e dei processi concorrenti ...
Leggi Tutto
Previsione
Italo Scardovi
di Italo Scardovi
Previsione
La previsione nella scienza
Da sempre l'uomo s'interroga sul futuro. Da sempre cerca nei dati del mondo i segni di ciò che l'aspetta. Tra intuizioni [...] due gravi che si attraggono secondo la legge di gravitazione universale.
È il "problema dei tre corpi" (Poincaré), all'origine della teoriadeisistemi dinamici non lineari, da cui è venuta la consapevolezza della imprevedibilità a distanza del più ...
Leggi Tutto
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...
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...