Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] includono il costo del capitale e il costo di mantenimento dell’opera progettata, ma anche l’eventuale perdita di benefici o l’aggravio , da Cartesio in poi, metodo di dimostrazione. La Logica di Port Royal attribuendo all’a. o ‘metodo d ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] otterrà la medaglia Fields nel 1962.
Automi finiti. Il logico americano Stephen Kleene rielabora il concetto di rete neurale di terrestri di quota) nelle quali rimangono intappolate, a opera del campo magnetico terrestre, le particelle di alta energia ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] .
1996
Dimostrata la congettura di Mordell-Lang. Il logico israeliano Ehud Hrushovski dimostra la congettura di Mordell-Lang, km, nel periodo dal 29 dicembre 1998 al 9 gennaio 1999, operando sulle quattro frequenze di 90, 150, 240 e 400 GHz, intorno ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] cuore artificiale in un uomo di 62 anni con un'operazione perfettamente riuscita. A differenza di altri interventi di questo una molecola d'acqua. Tale idea consente di rivisitare la logica e la teoria della dimostrazione da un punto di vista ...
Leggi Tutto
operatore
operatóre s. m. [dal lat. tardo operator -oris]. – 1. (f. -trice) a. Chi opera, chi compie determinate azioni o operazioni, per lo più abitualmente. Raro in usi generici: o. del male; o. di incantesimi; o. d’inganni; e ant. con il...
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...