commutatore
commutatóre [s.m. e agg. (f. -trice) Der. di commutare (→ commutante) "che commuta, che effettua una commutazione"] [ELT] [OTT] C. a quattro vie optoelettronico: circuito optoelettronico [...] III 509 c. ◆ [ALG] C. di operatori lineari: per due operatori lineari A e B è l'operatore AB-BA, che s'indica spesso con il simb : dispositivo elettronico, in genere costituito da circuiti logici opportunamente connessi, che serve per avviare, su ...
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 [...] è dunque un obiettivo basilare dell'informatica teorica. Esso costituisce di fatto una prosecuzione e un arricchimento dell'opera dei logici (quali Kurt Gödel, Stephen Kleene, Alan Turing e Alonzo Church), che negli anni Trenta hanno affrontato e ...
Leggi Tutto
Programmazione, linguaggi di
Gian Marco Todesco
I computer «possono fare tutto quello che gli sappiamo ordinare» scriveva nel 1842 Ada Augusta Byron Lovelace, considerata la prima programmatrice della [...] esseri umani. Ogni programma descrive le strutture dati su cui operare, le operazioni da eseguire, i dati in ingresso e in uscita. Linguaggi senza conoscenze informatiche. È uno dei primi linguaggi logici e probabilmente il più noto. La famiglia di ...
Leggi Tutto
Automazione
Alessandro Agnetis
Alberto Bemporad
Nell’automazione si fondono contenuti e metodologie che si sono sviluppate nella scienza dell’automatica e nella ricerca operativa grazie all’impiego [...] dalle diverse esigenze di impiego. Infatti si parte da molte macchine operatrici per ogni settore di impiego, con impiego prevalente di controllori logici programmabili incorporati negli impianti stessi, per giungere alle macchine utensili per ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica (1920-1945). L'elettronica e il calcolo
Jon Agar
L'elettronica e il calcolo
L'elettronica
Nel secondo decennio del XX sec., il termine 'elettronico' [...] che il Colossus è stato il primo calcolatore, l'esempio di una macchina logica elettronica in grado di seguire una serie di istruzioni operando a grande velocità su simboli memorizzati internamente. Tuttavia, il Colossus non era una macchina ...
Leggi Tutto
prodotto
prodótto [Part. pass. sostantivato di produrre, der. del lat. producere "portare avanti", comp. di pro- "davanti" e ducere "condurre"] [LSF] Generic., il risultato di qualcosa, spec. di un'attività, [...] che p. scalare di vettori. ◆ [ALG] P. interno globale: v. varietà riemanniane: VI 505 c. ◆ P. logico: (a) [INF] l'operazione AND (v. circuiti logici: I 618 Tab. 1.1); (b) [ALG] espressione, quasi desueta, per indicare l'intersezione nella teoria ...
Leggi Tutto
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...