LOGICA MATEMATICA
Aldo Marruccelli
Alberto Pasquinelli
(XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999).
Princìpi di logica matematica.
È opportuno premettere all'articolo che dà notizia dei progressi [...] " di H. Fissato un insieme M di espressioni privilegiate del linguaggio, dette "premesse", si definisce l'operazione di "conseguenza": una fbf H si dice conseguenza logica delle premesse M se e solo se ogni interpretazione che è modello di tutte le ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] logica dei programmi.
La macchina a registri illimitati. − Nell'ambito del suo programma fondazionale, D. Hilbert aveva ripetutamente ribadito la convinzione che ogni problema matematico potesse essere risolto mediante un numero finito di operazioni ...
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 [...] e la teoria delle equazioni di 3° e 4° grado per opera di algebristi italiani (S. Dal Ferro, N. Tartaglia, G. assetto della m. più soddisfacente dal punto di vista puramente logico.
Il nuovo atteggiamento di critica degli studi matematici, che ...
Leggi Tutto
Biologia
In biologia molecolare, u. trascrizionale, la distanza fra i siti di inizio e di terminazione riconosciuti dalla RNA polimerasi (➔ trascrizione); può includere più di un gene. In genetica, u. [...] combinarsi, secondo criteri adeguati (di natura contenutistica, logica o psicopedagogica), in un più organico percorso di elemento u. o brevemente u. un elemento u indifferente rispetto a questa operazione, e cioè tale che: u∙a=a∙u=a qualunque sia l’ ...
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
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] Ottocento come nella matematica pura non vi sia alcuna necessità logica che obblighi a pensare soltanto uno s. a tre , si dice che S è uno s. a base numerabile.
Un’operazione generale, che prende il nome di prodotto topologico, consente di associare a ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] naturali (per le variabili individuali di T), dalla costante ‘zero’ (per il simbolo non logico 0), dalla funzione ‘successore’ (per il simbolo non logico s), dalle operazioni di addizione e moltiplicazione ordinarie (rispettivamente per i simboli non ...
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
Insieme di linee, reali o ideali, che si intrecciano formando incroci e nodi e dando luogo a una struttura complessa. Più in particolare, infrastruttura tecnica per la distribuzione di un segnale (tipicamente [...] di montaggio e i nodi or alla scelta fra diverse modalità realizzative di un’operazione.
Gli alberi di decisione sono r. logiche simili a grafi and-or con struttura ad albero, in cui si rappresentano alternativamente le scelte a disposizione ...
Leggi Tutto
Botanica
F. biologica Insieme di piante che, anche se sistematicamente lontane, hanno in comune caratteri ecologici e di adattamento. Tra i vari sistemi di classificazione delle f. biologiche, il più noto [...] che deriva direttamente dalla f. di Platone).
Logica formale si dice la logica classica, in quanto studia le f. dei corrispondono alla parte esterna di un getto, sia l’insieme delle operazioni con cui si fabbricano tali parti e le anime, per poi ...
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...
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...