algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] Questo non esaurisce però l’orizzonte della teoria delle algebre di Boole che continua a svilupparsi in molteplici direzioni che vanno dalla teoria della misura, all’algebra universale, alla topologia generale.
→ Computer. Hardware; Logica matematica ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] cui permette lo scambio di dati tra le varie componenti del computer, come file, programmi utente e dispositivi di input e output. applicazioni (di-spositivi elettroottici, monitor dei computer, componenti automobilistici, ecc.).
Il primo grave ...
Leggi Tutto
Modelli matematici in immunologia
Ulrich Behn
(Institut für Theoretische Physik, Universitat Leipzig Lipsia, Germania)
Franco Celada
(Cattedra di Immunologia, Università di Genova Genova, Italia)
Philip [...] Functions, Choices, a c. di Celada F., Pemis B., New Y ork, Plenum Press.
CELADA, F., SEIDEN, P.E. (1992b) A computer model of cellular interactions in the immune system. ImmunoI. Today, 13, 56-62.
CELADA, F., SEIDEN, P.E. (1996) Affinity maturation ...
Leggi Tutto
L'Eta dei Lumi: matematica. I metodi numerici
Peter Schreiber
I metodi numerici
Il XVII sec. è stato in generale un 'secolo geometrico'. A parte alcune considerazioni di carattere puramente numerico, [...] Attualmente non c'è differenza tra l'elaborazione algoritmica delle successioni di cifre e quella di altre serie di simboli (un computer elabora soltanto serie di 0 e 1; non sa se queste codificano numeri, formule o poesie d'amore). Una presentazione ...
Leggi Tutto
Simulazione
Luigi Accardi
Mario Lucertini
Una delle maggiori innovazioni concettuali della scienza contemporanea, che coinvolge in ugual misura tutte le discipline scientifiche, è la transizione dalla [...] zone, si simulano al calcolatore tali condizioni utilizzando le equazioni dell'idrodinamica e della termodinamica classica (solo un computer molto potente è in grado di gestire l'immensa mole d'informazioni da elaborare per arrivare a un risultato ...
Leggi Tutto
logica matematica
Walter Maraschini
Simboli per ragionare correttamente
Quando due amici discutono non sempre sono d’accordo: possono avere intenzioni e gusti diversi, oppure opinioni contrastanti sul [...] 0 per indicare vero e falso, anticipando così il sistema binario che sta alla base del funzionamento dei moderni computer (linguaggi di programmazione).
La logica dei proverbi
I proverbi sono sentenze popolari che spesso assumono la forma logica «se ...
Leggi Tutto
OTTIMIZZAZIONE. -1. Generalità e sviluppo storico
Giorgio Szegö
Con o. s'intende l'operazione di ottenere il valore ottimo di una qualche grandezza.
Per la risoluzione dei problemi di o. occorre innanzitutto [...] , Non-linear programming, New York 1968; J. Céa, Optimisation: théorie et algoritmes, Parigi 1971; Minimization algorithms: mathematical theory and computer results, a cura di G.P. Szegö, New York 1972; D.G. Luenberger, Introduction to linear and non ...
Leggi Tutto
Sondaggio
Renato Mannheimer
Il crescente ruolo dei sondaggi nella politica italiana
I s. e, in generale, le ricerche sulle opinioni e sui comportamenti dei cittadini hanno da sempre ricoperto un ruolo [...] assenza di un confronto personale con l'intervistatore. Si sono diffuse anche le interviste telematiche, che utilizzano il computer per la somministrazione dei quesiti.
L'analisi dei risultati
La prima fase dell'analisi consiste nella 'pulizia' dei ...
Leggi Tutto
La t. del c. studia i metodi per capire, governare e modificare il comportamento di sistemi dinamici, naturali o artificiali, al fine di guidarli a raggiungere finalità assegnate. Per sistema dinamico [...] verso tecniche numeriche efficienti e accurate per la progettazione assistita da calcolatore dei sistemi di controllo (CACSD, Computer-Aided Control System Design).
Sempre a partire dagli anni Ottanta del 20° sec., la possibilità offerta dai ...
Leggi Tutto
MATRICE (XXII, p. 572)
Guido Zappa
Teoria delle matrici. - I principali elementi della teoria delle m. sono già stati dati. Qui vogliamo, anzitutto, giustificare le regole del calcolo delle m. (alcune [...] of numerical matrix inversion and solutions of non-linear equations, New York 1968; L. A. Pipes, S. A. Hovanessian, Matrix-computer methods in Engineering, ivi 1969; S. Barnett, Matrices in control theory, Londra 1971; J. R. Bunch, D. J. Rose, Sparse ...
Leggi Tutto
computer
‹këmpi̯ùtë› s. ingl. [der. di (to) compute «calcolare»] (pl. computers ‹këmpi̯ùtë∫›), usato in ital. al masch. (e pronunciato comunem. ‹kompi̯ùter›). – Denominazione inglese, largamente nota nell’uso internazionale, del calcolatore...
computer indossabile
loc. s.le m. Personal computer di dimensioni molto ridotte, tascabile, indossabile. ◆ Vestirsi di tecnologia o di bellezza? Un convegno sul tema del corpo. Due giorni di convegno, alla Triennale, analizzano il tema del...