convergente
convergènte [agg. e s.m. Der. del part. pres. convergens -entis del lat. convergere "tendere insieme verso un medesimo luogo", comp. di cum "insieme" e vergere "volgersi", e quindi "che si [...] le due distanze focali positive e, se immerso in un mezzo otticamente omogeneo, uguali: v. sistemi ottici: V 310 e. ◆ [ANM] Successione c., variabile c., funzione c.: successione, variabile ordinata e una funzione di essa, che ammetta limite finito. ...
Leggi Tutto
computabile
computàbile [agg. Der. dell'ingl. computable, che è dal lat. computabilis "che si può calcolare", "di cui si può o si deve tenere conto", già reso con l'it. calcolabile] [ALG] [FAF] [INF] [...] Di una variabile (per es., l'insieme dei numeri naturali) che si può calcolare effettivamente, cioè per la la quale è possibile trovare un procedimento per calcolarne, con un numero finito di passi, il valore per ogni n-upla di valori delle variabili ...
Leggi Tutto
proprio
pròprio [Der. del lat. proprius, probab. dalla locuz. pro privo "a titolo privato"] [LSF] Conserva il signif. di proprietà e quindi con signif. affine a quello di peculiare, specifico e simili. [...] a improprio (per es., punto p. cioè non improprio e quindi punto al finito; analogamente per retta p., piano p., ecc.) o a generico, in senso Classe p.: ogni insieme che non possa essere considerato come facente parte di un altro insieme. ◆ [ALG] ...
Leggi Tutto
Bolzano Bernhard
Bolzano 〈bolzàano〉 Bernhard [STF] (Praga 1781 - ivi 1848) Sacerdote, prof. (1805) di storia delle religioni nell'univ. di Praga, grande cultore di matematica. ◆ [ANM] Teorema di B.: [...] almeno un valore compreso fra a e b. ◆ [ANM] Teorema di B.-Weierstrass: in uno spazio euclideo finito-dimensionale, ogni insieme chiuso e limitato che contenga infiniti punti ammette almeno un punto di accumulazione: v. equazioni integrali: II 478 b ...
Leggi Tutto
compattezza
compattézza [Der. di compatto "l'essere compatto" nei vari signif. del termine (→ compatto)] [FAF] Teorema di c.: uno dei più importanti risultati della teoria dei modelli: un insieme di [...] formule non contraddittorio ha un modello se, e solo se, ogni suo sottoinsieme finito ha un modello: v. logica: III 485 d. ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
finito
agg. [part. pass. di finire]. – 1. a. Giunto o condotto a termine, compiuto: arrivare a spettacolo f.; sono ormai due anni f. che ha lasciato il paese. Frequente nell’uso fam. la locuz. farla finita (con la indeterminato), smettere...