Sistemi, scienza e ingegneria dei
AArnaldo M. Angelini
di Arnaldo M. Angelini
SOMMARIO: 1. Premessa. □ 2. Considerazioni generali: a) applicazione della scienza dei sistemi agli esseri viventi; b) applicazione [...] di valore delle variabili che hanno influenza non trascurabile sui processi decisionali. Se esse sono in numero finito e possono assumere i valori presi da un insiemefinito (per esempio x1 possa valere 0, 1, 2, 3, ... 10), il numero di alternative è ...
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 [...] , con varia fortuna, a essere utilizzate fino a oggi. Nella sua versione più elementare, una è costituita da un insiemefinito di posti (che rappresentano condizioni per l'attivazione di processi) e di transizioni (che rappresentano processi) e da ...
Leggi Tutto
Discreto e continuo
Paolo Zellini
Matematica e intuizione
La matematica ha sempre cercato di stabilire un nesso tra il continuo e il discreto, il primo esemplificato, tipicamente, nelle figure dello [...] continuo di Cantor, si evince una prima e chiara propensione ad associare la definibilità di un ente matematico non tanto a un insiemefinito e coerente di parole (come può essere, per es., per π il fatto di essere il rapporto tra la circonferenza e ...
Leggi Tutto
Ottimizzazione
Claudio Arbib
Nel senso comune, ottimizzare significa determinare e attuare soluzioni che contemperino al meglio esigenze discordanti, per es. coniugare robustezza e leggerezza in un [...] catastrofe). Nell’altro, il comportamento è informato da regole di scelta che vengono codificate da una famiglia ℑ di insiemifiniti, detti budget set, che corrispondono a una lista esaustiva delle combinazioni di scelta ammissibili; e da una regola ...
Leggi Tutto
Informazione e computazione quantistica: teoria
Mario Rasetti
Al crocevia tra scienza e tecnologia
La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] rappresentati nello spazio di Hilbert degli stati da matrici unitarie. Gli automi quantistici hanno un insiemefinito di stati, un alfabeto di input finito e una funzione di transizione che specifica le modalità con cui lo stato dell’automa evolve ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] la maggior parte delle proprietà delle operazioni tra numeri cessa di valere. La macchina opera infatti con un insiemefinito di numeri finiti e introduce quindi errori di arrotondamento sui dati e sui risultati delle singole operazioni. Le leggi di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] asserzione matematica ancora non dimostrata, come l'ipotesi di Riemann. X è un sottoinsieme dell'insiemefinito {1, 2}, ma non possiamo provare che X è finito, poiché ciò ci costringerebbe a decidere se X abbia uno oppure due elementi e per questo ...
Leggi Tutto
logica
logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] ricorsiva (→ ricorsività) di tutte le possibili forme di enunciati da un insieme di simboli semplici, mediante applicazione reiterata di un insiemefinito di operazioni; per esempio, applicando la congiunzione a enunciati atomici si ottengono ...
Leggi Tutto
POMPILJ, Giuseppe
Enrico Rogora
POMPILJ, Giuseppe. – Nacque a Roma il 17 luglio 1913.
Nel 1918 perse il padre, morto in guerra. Si laureò con lode in matematica nel 1935 con una tesi di geometria algebrica [...] delle variabili casuali, in L’industria, X (1956), p. 143). Formulato in tal modo, lo studio delle proprietà di un insiemefinito di variabili casuali rientra nel famoso programma di Erlangen di Felix Klein. È questo il legame più evidente tra i ...
Leggi Tutto
logica intuizionista
logica intuizionista teoria logica nata nel contesto dell’→ intuizionismo, filosofia della matematica elaborata da L.E.J. Brouwer nel 1907. Secondo Brouwer in matematica sono da [...] l’affermazione P: «ogni numero naturale minore di 5 è dispari» riguarda l’insiemefinito di numeri {1, 2, 3, 4} e può essere solo vera o verità o falsità di un certo enunciato A in un numero finito di passi) ha avuto il merito di creare un terreno ...
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...
finito
agg. [part. pass. di finire]. – 1. a. Giunto o condotto a termine, compiuto: arrivare a spettacolo f.; sono ormai due anni f. che ha lasciato il paese. Frequente nell’uso fam. la locuz. farla finita (con la indeterminato), smettere...