Logistica
Giuseppe Confessore
Il significato del termine logistica si è evoluto nel tempo, ma ha mantenuto comunque una congruenza tale da permettere l’individuazione di una definizione generale che [...] attraverso l’infrastruttura (sia fisici come le merci, sia logici come le informazioni) per i quali si definiscono una vendita dove scaricare parte del carico, per facilitare le operazioni la merce dovrebbe essere stata caricata secondo una corretta ...
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
Il Contributo italiano alla storia del Pensiero: Diritto (2012)
Lo ius civile: glossatori e commentatori
Giovanni Chiodi
Antefatto
A leggere alcuni atti giudiziari della fine dell’11° sec., si rimane colpiti dal cambio di strategia intervenuto nell'impostazione [...] della dialettica (la divisione dei generi nelle specie è l’asse portante della logica vetus) viene impiegata anche a ulteriori fini: per operare interpretazioni restrittive delle parole, per elaborare definizioni di un concetto, per fornire notizie ...
Leggi Tutto
Informatica: salto nel vuoto?
Corrado Böhm
Il titolo del saggio è solo in apparenza fantasioso e, pertanto, occorre in qualche modo chiarirlo. Il salto nel vuoto si riferisce al senso di spaesamento [...] . Tutti i nodi saranno etichettati da S o da K quali unici generatori della logica combinatoria. Le radici saranno rappresentate dall’operatore delega ^ talvolta con @ sovrastante, ma solo come etichetta (superflua), mentre tutti gli altri vertici ...
Leggi Tutto
L'Eta dei Lumi: matematica. Gli sviluppi del calcolo in Gran Bretagna
Niccolò Guicciardini
Gli sviluppi del calcolo in Gran Bretagna
Un declino della matematica britannica?
Il metodo delle flussioni [...] della polemica fu quello d'indurre Newton a pubblicare le sue opere matematiche. Nel 1704 comparve il Tractatus de quadratura curvarum e nel (1685-1753) accusò i matematici di commettere errori logici. L'obiettivo polemico di Berkeley erano proprio le ...
Leggi Tutto
Informazione e computazione quantistica: applicazioni
Mario Rasetti
Schemi diversi di computazione quantistica
La computazione e la teoria dell’informazione quantistiche sono ormai entrate nel complesso [...] degli altri punti quantici. Si ottiene così un sistema con cui è possibile effettuare operazioni di manipolazione controllata dell’informazione (per es. la porta logica cNOT che entra nell’algoritmo di Deutsch): uno dei punti quantici codifica l ...
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
FROLA, Eugenio
Francesco Lerda
Nato a Montanaro, frazione di Torino, il 28 sett. 1906 da Mario e da Maria Pons, si laureò in ingegneria civile presso il politecnico di Torino nel 1929 e in matematica [...] studi metodologici di Torino, ispirato alle idee del neopositivismo logico del circolo di Vienna, anche se, specie verso lunghi, I-II, Bari 1960-61).
Per un elenco completo delle opere cfr. Scritti metodologici di E. Frola, Torino 1964, con introd. ...
Leggi Tutto
logica combinatoria
logica combinatoria locuzione utilizzata in due diverse accezioni:
• per indicare un modello di calcolo logico introdotto nel 1920 dal matematico ucraino M.I. Schönfinkel (combinatory [...] il suo status passando da variabile libera a variabile legata. Questo problema viene evitato nella logica combinatoria perché non esistono operatori (come l’astrazione λ) che leghino le variabili presenti nel termine. Nonostante tale differenza, il ...
Leggi Tutto
logica lineare
logica lineare area di ricerca della logica matematica nata nel 1986 e diffusasi in seguito alla pubblicazione, nel 1987, dell’articolo Linear logic del logico francese Jean-Yves Girard [...] , che lo rendono più ricco. In particolare, la logica lineare prevede l’utilizzo di costanti moltiplicative, costanti additive, connettivi moltiplicativi, connettivi additivi e operatori esponenziali.
Le costanti moltiplicative sono:
• il vero ...
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,...