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
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] spaziale. Nell'uso linguistico ordinario il vocabolo ‛tecnica' è visto soprattutto in connessione con gli artefatti, con gli hardware, ma anche con processi di produzione e con vari software.
b) Le due dimensioni della giustificazione di una regola ...
Leggi Tutto
Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] gli autori presentano tali risultati come sperimentali, non escludendo la possibilità che errori nella programmazione o di hardware possano inficiare la loro conclusione, ma spiegando anche perché ritengono che la probabilità che esista un piano ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] .000 pagine di sillogismi matematici per la classificazione dei gruppi semplici finiti; si aggiunga inoltre la consapevolezza che sia l’hardware sia il software dell’elaboratore sono soggetti a errori.
A partire dagli ultimi decenni del 20° sec. la m ...
Leggi Tutto
Matematica
Ente geometrico che si estende nel senso della sola lunghezza; è tale, per es., la traiettoria d’un punto in moto, l’intersezione di due superfici (per es., di una sfera con un piano) ecc.; [...] vasti settori dell’elettrotecnica, dell’elettronica e delle comunicazioni elettriche, ma riveste importanza anche nel campo del hardware dei calcolatori per caratterizzare i collegamenti interni veloci o i sistemi per la trasmissione di dati fra ...
Leggi Tutto
La condizione degli organismi dotati di una forma specifica, di una costituzione chimica determinata, capaci di mantenersi in una situazione di equilibrio dinamico, cioè di avere un ambiente interno costante [...] (realizzazione e studio all’elaboratore di sistemi viventi spesso indicata con la locuzione v. digitale) e quella hardware (realizzazione di sistemi concreti funzionanti). Poiché i sistemi studiati dalla v. artificiale sono creati dal ricercatore, si ...
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 [...] delle dimensioni, dei tempi e dei costi, valutazione delle diverse architetture utilizzabili;
c) scelta dell'ambiente hardware e software (elaboratore, software esistente, da sviluppare o da acquisire per le varie fasi, scelta del linguaggio ...
Leggi Tutto
Numeri, calcoli, misure
Anna Parisi
L'invenzione dei numeri
Fin da tempi antichissimi gli esseri umani sapevano contare. L'uso dei numeri rendeva possibile la risoluzione di molti problemi legati alla [...] solo obbedire a pochi e semplici ordini dati dal programmatore.
Ciò significa che il calcolatore è una macchina, o hardware come è chiamato in inglese, che per funzionare deve essere programmata, cioè le si devono fornire istruzioni da eseguire ...
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 [...] automatici di verifica e nel loro impiego per analizzare la correttezza di sistemi complessi (protocolli di comunicazione, componenti hardware, ecc.).
Per quanto riguarda le algebre dei processi, con tale locuzione si fa oggi riferimento a una ...
Leggi Tutto
hardware
〈hàadueë〉 s. ingl. [propr. «ferramenta», comp. di hard «duro, rigido» e ware «merce»], usato in ital. al masch. – Termine (che non ha avuto una soddisfacente traduz. ital.) usato nella tecnica elettronica per indicare, in contrapp....
iperconvergenza s. f. Proprietà di particolari infrastrutture informatiche che permettono l’integrazione avanzata di differenti sistemi nel convergere su un’unica architettura software, con pieno controllo anche da remoto di tutti i flussi....