formaliżżazióne

Vocabolario on line

formalizzazione formaliżżazióne s. f. [der. di formalizzare]. – L’atto, l’operazione, il procedimento di formalizzare, nelle varie accezioni: f. di un’istruttoria, in procedura penale; f. del linguaggio, [...] dei dati di un messaggio, in logica e nell’informatica; f. di una teoria, in matematica, l’operazione di formalizzare la teoria, e anche il sistema formale ottenuto formalizzando la teoria. ... Leggi Tutto

chiusura

Vocabolario on line

chiusura s. f. [lat. tardo clusūra, per clausūra, der. di cludĕre, claudĕre «chiudere»]. – 1. a. L’atto del chiudere o del venir chiuso, il fatto di essere chiuso, anche nel sign. fig. di cessazione, [...] insieme, l’insieme che se ne ottiene aggiungendovi la frontiera; anche l’operazione che permette il passaggio al nuovo insieme a partire da quello dato. b. In logica matematica, ch. universale di un’espressione contenente certe variabili libere è la ... Leggi Tutto

unióne

Vocabolario on line

unione unióne s. f. [dal lat. tardo unio -onis, der. di unus «uno»]. – 1. L’azione e l’operazione di unire, il fatto di unirsi o di essere uniti con uno o più altri individui, enti, oggetti, parti o [...] teoria degli insiemi, u. (o congiunzione o, meno com., somma logica) di due insiemi, l’insieme formato da tutti gli elementi che primo, o al secondo, o ad entrambi), e l’operazione stessa che ha come risultato tale insieme. 5. In grammatica ... Leggi Tutto

CATEGORIA: DIRITTO CIVILE

funzióne

Vocabolario on line

funzione funzióne s. f. [dal lat. functio -onis, der. di fungi «adempiere»]. – 1. Attività svolta abitualmente o temporaneamente in vista di un determinato fine, per lo più considerata nel complesso [...] di, in relazione con, in dipendenza da: il ritmo di produzione è in f. del tempo disponibile. 6. In logica matematica, operazione che, applicata a elementi (detti argomenti) di un certo insieme, dà come risultato un elemento (valore) dello stesso o ... Leggi Tutto

CATEGORIA: ANTROPOLOGIA FISICA

AND

Vocabolario on line

AND ‹änd› cong., ingl. – Voce corrispondente alla cong. ital. e, talora usata, con valore di sost. e in funzione appositiva, in logica matematica per indicare l’operazione di congiunzione, o prodotto [...] logico, di due o più variabili binarie (operazione AND), e più spesso nell’elettronica digitale per indicare il dispositivo che attua la congiunzione (circuito o elemento AND). ... Leggi Tutto

NOT

Vocabolario on line

NOT ‹nòt› avv., ingl. – Voce corrispondente all’italiano non, talora usata, con valore di sost. e in funzione appositiva, in logica matematica per indicare l’operazione di negazione di una variabile [...] binaria (operazione NOT), e più spesso nell’elettronica digitale per indicare il dispositivo che attua la negazione (circuito NOT). ... Leggi Tutto

congiunzióne

Vocabolario on line

congiunzione congiunzióne s. f. [dal lat. coniunctio -onis, der. di coniungĕre «congiungere»]. – 1. a. Atto, effetto del congiungere o del congiungersi: la c. dei due eserciti; punto di c.; c. carnale, [...] di I che si trovano sia in A sia in B; tale sottoinsieme (così come l’operazione che lo produce) prende anche il nome di intersezione o prodotto logico. b. In logica matematica, funzione di verità binaria che risulta vera solo se il valore delle due ... Leggi Tutto

dïèreṡi

Vocabolario on line

dieresi dïèreṡi s. f. [dal lat. tardo diaerĕsis, gr. διαίρεσις, propr. «divisione, separazione», der. di διαιρέω «disgiungere»]. – 1. a. In fonetica, la divisione di un gruppo vocalico nel corpo di una [...] e il 5°, sempre preceduta da una cesura. 3. In filosofia, secondo l’originario sign. greco del termine, l’operazione logica mediante la quale si divide un concetto generale in quelli più particolari che ne costituiscono l’estensione; in partic., nel ... Leggi Tutto

CATEGORIA: CHIRURGIA

procediménto

Vocabolario on line

procedimento procediménto s. m. [der. di procedere]. – 1. ant. o poco com. Il fatto e il modo di procedere, cioè di svolgersi, di progredire: il p. delle indagini, o nelle indagini; spiegare, illustrare [...] euristico e p. iterativo, v. i singoli aggettivi. In logica matematica, p. di decisione, metodo sistematico mediante il quale, in quanto, più che la serie di operazioni, indica il metodo che nelle successive operazioni si segue (si dice, per es., ... Leggi Tutto

incluṡióne

Vocabolario on line

inclusione incluṡióne s. f. [dal lat. inclusio -onis]. – 1. a. L’atto, il fatto di includere, cioè di inserire, di comprendere in una serie, in un tutto (spesso contrapp. a esclusione): i. di un nome [...] certe clausole nel contratto ha suscitato molto malumore. b. Operazione della tecnica istologica che consiste nell’imbibire l’oggetto, di anadiplosi. d. Nella teoria degli insiemi e in logica matematica, relazione d’i. tra due insiemi, relazione in ... Leggi Tutto