{{{1}}}
è detto segno della s.). ◆ [FAF] S. logica: quell'argomentazione nella quale, avendo stabilito una certa classe o un certo concetto universale e dimostrato che una singola realtà ne è totalmente [...] che essa non appartiene a quella classe o non è includibile in quel concetto. ◆ [ALG] S. tra due insiemi: l'operazione con cui si forma l'insieme (insieme differenza) costituito da tutti gli elementi di un insieme dato (insieme minuendo) che non ...
Leggi Tutto
distributivita
distributività [Der. di distribuito] [ALG] Il carattere, proprio di una certa operazione, di godere della proprietà distributiva rispetto a un'altra operazione: così, in un anello si ha [...] d. del prodotto rispetto alla somma (ma non viceversa). ◆ [FAF] Nella logica enunciativa vale la d. della congiunzione (simb. ⌃) rispetto alla disgiunzione (simb. ⌄), e viceversa; si hanno cioè le due leggi: p⌃(q⌃r)=(p⌃q)⌄(p⌃r), p⌄(q⌃r)=(p⌄q)⌃(p⌄r). ...
Leggi Tutto
Economia
In scienza della gestione, gestione delle o., l’insieme dei processi e delle attività che utilizzano risorse (umane e finanziarie, macchinari, informazioni, tecnologie ecc.) per trasformare ingressi [...] , procedimento che, a partire da uno o più enti matematici o logici, detti operandi, permette di costruire un altro ente, detto risultato dell’operazione. In particolare, le o. aritmetiche comprendono, oltre le quattro o. elementari (addizione ...
Leggi Tutto
Diritto
Istituto del diritto civile che prevede, ove le cose restino separabili, ancorché unite, il diritto per ciascun proprietario a conservare il diritto di proprietà e la possibilità di chiedere la [...] u. o la mescolanza è avvenuta senza il suo consenso a opera del proprietario della cosa accessoria, non è obbligato a corrispondere che A e B, si chiama u. (o, meno comunemente, somma logica) di A e B l’insieme formato da tutti gli elementi che ...
Leggi Tutto
Filosofia
Ciascuno dei principi logici od ontologici alla base di un sistema filosofico, o degli assiomi su cui è costruita una scienza e che ne sanciscono la validità.
Critica dei f. Processo iniziato [...] assiomatizzazione delle sue diverse branche, dell’analisi logica dei procedimenti dimostrativi usati ( critica dei f insiemi, quando si introducono via via relazioni, strutture, operazioni, corrispondenze ecc. Un problema tipico della critica dei f ...
Leggi Tutto
In informatica ed elettronica, denominazione internazionale, composta dalla N di NOT e da OR, dell’operazione di inversione (o negazione) della somma logica OR fra variabili booleane, della funzione corrispondente, [...] e anche del circuito che la realizza ...
Leggi Tutto
OPERATORI; OPERAZIONALE, CALCOLO (od operatorio, calcolo)
Tullio Viola
Riteniamo opportuno aggiungere alle considerazioni svolte nelle voci: operatori (App. III, 11, p. 317) e simbolico, calcolo (App. [...] ... pensare a una funzione (quale, per es., y = 1/x) od operatore (lo stesso: 1/x) come a una nozione unica" (B. de Finetti), è indubbia la distinzione rigorosamente logica dai due concetti.
4. - I funzionali vennero chiamati dapprima, da Volterra ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] cultura del suo tempo, quando, sia pure richiamandosi a modelli tradizionali, prepose all'edizione delle sue operelogiche (Operalogica, 1600) un importante excursus riguardo alla distinzione delle varie scienze e i loro rapporti, che chiarisce ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Kalam e filosofia naturale
Marwan Rashed
Kalām e filosofia naturale
Il rapporto tra Kalām e filosofia naturale è assai complesso e articolato; [...] soltanto di una questione di periodizzazione: è la logica sotterranea delle alleanze tra neoarchimedismo e teorie dell Al-Kindī ha detto che questa macchia era l'eclisse del Sole ad opera di Venere e che questa adesione al Sole era durata per il tempo ...
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
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...