AND
AND 〈èn〉 [La congiunzione ingl. "e"] [ALG] [FAF] Operatorelogico (o insiemistico) di congiunzione di due enunciati (o di intersezione di due insiemi); la congiunzione di due enunciati risulta vera [...] se e solo se entrambi gli enunciati sono veri. ◆ [ELT] Nell'algebra booleana: (a) il prodotto logico; (b) il circuito elettronico che realizza il prodotto logico: v. circuiti logici: I 618 c, anche per il simb. grafico e la relativa tavola di verità. ...
Leggi Tutto
Biologia
In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone).
Filosofia
In filosofia analitica, un’espressione [...] struttura di semigruppo con unità; l’o. ω1 ω2 si dice prodotto degli operatori ω1 e ω2 nell’ordine; questi si dicono permutabili qualora ω1 ω2=ω2 ω1 far uso di trasformazioni integrali.
O. logico
In logica matematica è un simbolo che trasforma una ...
Leggi Tutto
fìsica matemàtica Disciplina scientifica che si propone di descrivere in termini matematici rigorosi i fenomeni fisici.
Abstract di approfondimento da Fisica matematica di Gianfausto Dell’Antonio (Enciclopedia [...] dalla fisica matematica la struttura matematica logico-deduttiva della seconda fase lascia spesso il , che soddisfa l’equazione (;21m2)f(x)50, dove ;2 è l’operatore di Laplace. Il campo f(x) soddisfa inoltre le relazioni di commutazione (canoniche ...
Leggi Tutto
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: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] .M. Singer scoprono l'uguaglianza tra l'indice di un operatore ellittico su una varietà differenziabile compatta, il suo indice analitico base di dati relazionale è simile a un modello per la logica del primo ordine: c'è un insieme di individui e un ...
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. Fisica matematica: recenti sviluppi
Gianfausto Dell'Antonio
Fisica matematica: recenti sviluppi
La fisica matematica si può definire come la disciplina scientifica che si propone [...] matematica nella seconda fase la struttura matematica logico-deduttiva lascia spesso il posto a νAμ+ +[Aμ,Aν], e Fμν=gμσgνϱFσϱ, dove il simbolo Tr indica l'operatore di traccia. Ne segue che la lagrangiana dell'intero sistema dev'essere Tr ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Dalla prospettiva dei pittori alla prospettiva dei matematici
Pietro Roccasecca
Il progressivo abbandono nei dipinti su tavola dei fondi oro in favore di paesaggi e vedute urbane, l’attenzione al naturale [...] là di quanto fosse possibile sostenere in termini logici, storici e scientifici. Nondimeno, dalla descrizione delle 261). Il velo e il vetro servono ad Alberti per dimostrare operativamente l’innovativo modo di intendere la pittura come un piano che ...
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...