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 [...] sbagliato perché c’è stato un errore di calcolo; per p. euristico e p. iterativo, v. i singoli aggettivi. In logicamatematica, p. di decisione, metodo sistematico mediante il quale, dato un qualsiasi enunciato, si può decidere in un numero finito di ...
Leggi Tutto
freccia
fréccia s. f. [dal fr. ant. fleche (in fr. mod. flèche), voce di origine germ.] (pl. -ce). – 1. a. Arma da getto, in uso dalla più remota antichità a tutto il medioevo, sino all’introduzione [...] rinvio; in formule chimiche per indicare il senso di una reazione; e altri sign. specifici ha in analisi vettoriale, in analisi e logicamatematica. c. In passato, nelle calze da donna, nome dato talvolta alla baghetta. 3. Con usi più partic.: a. In ...
Leggi Tutto
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 [...] sezionarlo al microtomo. c. Nella terminologia della retorica latina, sinon. di anadiplosi. d. Nella teoria degli insiemi e in logicamatematica, relazione d’i. tra due insiemi, relazione in base alla quale uno dei due insiemi contiene l’altro come ...
Leggi Tutto
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, [...] la frontiera; anche l’operazione che permette il passaggio al nuovo insieme a partire da quello dato. b. In logicamatematica, ch. universale di un’espressione contenente certe variabili libere è la nuova espressione che si ottiene da quella ...
Leggi Tutto
NAND
‹nänd› [acronimo di N(ot) «non» e AND]. – Termine ingl. talora usato, con valore di sost. e in funzione appositiva, in logicamatematica per indicare l’operazione di negazione del prodotto logico [...] (AND) tra due o più variabili binarie (operazione NAND), e più spesso nell’elettronica digitale per indicare il dispositivo che attua tale operazione (circuito NAND) ...
Leggi Tutto
incompletezza
incompletézza s. f. [der. di incompleto]. – Condizione di ciò che è incompleto: i. di una serie, di un elenco, di una reazione chimica; non sono in grado di giudicare, per i. dei dati (o [...] per i. d’informazione). In logicamatematica, teorema d’i. sintattica, quello con il quale K. Gödel (1909-1978) dimostrò che qualsiasi sistema formale coerente in grado di rappresentare l’aritmetica è sintatticamente incompleto (v. incompleto). ...
Leggi Tutto
incompleto
incomplèto agg. [dal lat. tardo incompletus, comp. di in-2 e completus: v. completo]. – 1. Non completo, che manca di qualche parte o elemento: serie i.; dati i.; opera i. (quando sia formata [...] queste ultime e i prodotti di reazione sussistono in determinate proporzioni le une in presenza degli altri. c. In logicamatematica, una teoria formalizzata si dice sintatticamente i. quando esiste una formula del suo linguaggio di cui non si può ...
Leggi Tutto
metalinguaggio
metalinguàggio s. m. [comp. di meta- e linguaggio]. – 1. Termine, introdotto dapprima in logicamatematica (per analogia con quello di metamatematica) per indicare in generale un linguaggio, [...] o sistema di segni, naturale o artificiale, adottato per la descrizione della struttura formale di dati linguaggi (che, in quanto oggetto di investigazione, vengono definiti linguaggi-oggetto). In partic., ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti...