schema
schèma [Lat. schema, der. del gr. schèma -atos "aspetto"] [FAF] Modello convenzionale, semplificato rispetto alla realtà, di un problema, un fenomeno, un processo, un dispositivo, ecc. Gli s. [...] ] S. di assiomi: nella logica matematica, un insieme finito di assiomi che viene rappresentato con un'unica formula, in cui compaiono uno o più simboli la cui precisazione porta a identificare ognuno degli assiomi. ◆ [FTC] S. funzionale: rappresenta ...
Leggi Tutto
genere
gènere [Der. del lat. genus -neris, affine al gr. g✄énos "stirpe"] [LSF] (a) Ogni qualità caratterizzante un ente. (b) Anche, l'insieme degli enti che hanno quella particolare qualità. ◆ [ALG] [...] le curve di g. zero sono le curve razionali, mentre quelle di g. uno si dicono curve ellittiche (per es., sono razionali le rette, le coniche, ; per i poliedri ordinari si ha p=0 e la formula precedente si riduce alla formula di Eulero dei poliedri. ...
Leggi Tutto
teorema di compattezza
Silvio Bozzi
Nella logica matematica, è tale un qualsiasi teorema che stabilisce che – fissato un linguaggio formale L – una teoria T ha come conseguenza logica la formula A, [...] solo se esiste una parte T′di T per cui T′⊩A. Equivalentemente, una teoria T ha un modello se ne ha uno ogni sua parte finita. Il teorema vale per i linguaggi elementari di qualunque cardinalità dei linguaggi elementari ma non vale in generale nelle ...
Leggi Tutto
verifica
verìfica [Der. del lat. verificare, comp. di verus "vero" e del tema di facere "fare, rendere"] [LSF] (a) Procedimento di controllo della funzionalità di un dispositivo: v. di uno strumento, [...] v. della stabilità di una struttura, ecc.); (c) nella matematica, il controllo dell'esattezza di un procedimento o di una formula risolutiva. ◆ [MTR] V. degli strumenti di misurazione: l'accertamento che le indicazioni fornite siano entro i limiti di ...
Leggi Tutto
risolutivo
risolutivo [agg. Der. del part. pass. resolutus del lat. resolvere "sciogliere di nuovo"] [LSF] Che serve per rendere risolto, cioè per risolvere. ◆ [ALG] [ANM] Formula r.: formula che fornisce [...] ), di un'equazione (di certi tipi, per es. algebriche di grado non superiore al quarto) e simili. ◆ [MTR] Potere r.: di uno strumento di misurazione (per es., un microamperometro) o di osservazione (per es., un microscopio o un telescopio) o di un ...
Leggi Tutto
Joachimstahl Ferdinand
Joachimstahl 〈ióakimstaal〉 Ferdinand (Goldberg 1818 - Breslavia 1861) Prof. di matematica nell'univ. di Berlino (1846) e di Breslavia (1856). ◆ [ALG] Formula, o metodo, di J.: [...] le intersezioni di una retta con una conica ed è stato poi generalizzato alle intersezioni di una retta con una curva algebrica o una superficie qualunque nello spazio ordinario o con un'ipersuperficie in uno spazio di dimensione superiore. ...
Leggi Tutto
pace s. f. [lat. pax pacis, dalla stessa radice *pak-, *pag- che si ritrova in pangere «fissare, pattuire» e pactum «patto»]. – 1. a. Condizione di normalità di rapporti, di assenza di guerre e conflitti, sia all’interno di un popolo, di uno...
nome
nóme s. m. [lat. nōmen, da una radice comune a molte altre lingue indoeuropee (sanscr. nā̆ma, armeno anum, ittita lāman, gr. ὄνομα, got. namo, paleoslavo imę, albanese emër, ecc., forme certamente affini ma il cui rapporto non è sempre...