problema
problèma [Der. del lat. problema -atis, dal gr. próblema -atos, a sua volta da probállo "proporre"] [ALG] [ANM] Nella matematica e nelle sue applicazioni, quesito che richiede la determinazione [...] derivate totali o parziali del primo, secondo, ecc., ordine, p. integrale, ecc.; p. determinato, indeterminato, [MCF] P. differenziale: v. fluidodinamica viscosa: II 663 c. ◆ [MCC] P. piano: v. elasticità, teoria dell': II 255 c. ◆ [STF] [ALG] [ANM] ...
Leggi Tutto
teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] o anche al secondo ordine debole, la teoria elementare dei reali con la funzione sen, la teoria dei gruppi e così via. Ma la tecnica si può generalizzare e applicare a teorie molto varie e matematicamente interessanti. Su un piano diverso si pongono ...
Leggi Tutto
albero
àlbero [Der del lat. arbor -oris] [ALG] Nella teoria dei grafi, particolare grafo in cui due nodi qualsiasi sono connessi da una, e una sola, successione di lati, per cui esso non contiene cammini [...] un dato insieme, proposizioni logiche), oppure la relazione d'ordine tra gli elementi di un insieme (tipico l'a estremo una coppia che, applicata all'altro estremo, agisce in un piano normale all'asse dell'albero (a. di trasmissione). Tipi particolari ...
Leggi Tutto
notazione
notazióne [Der. del lat. notatio -onis, dal part. pass. notatus di notare, a sua volta da nota] [LSF] L'atto e l'effetto dell'apporre o dell'usare note, insieme di segni e simboli adottati [...] cristallografica: quella che indica una direzione o un piano cristallografico per mezzo di indici (indici di Miller) si ottiene moltiplicando la cifra medesima per la potenza 10n, con n ordine della cifra; precis., per la parte intera n=0 (unità) per ...
Leggi Tutto
sequenza
sequènza [Der. del lat. sequentia, dal part. pres. sequens -entis di sequi "seguire"] [LSF] Generic., successione di enti, cose e operazioni disposti uno di seguito all'altro in un certo ordine. [...] luminosità-tipo spettrale (piano di Hertzsprung-Russell) nella quale cadono i punti rappresentativi della maggior parte dei tipi di stelle: v. stella: V 626 d. ◆ [ELT] [INF] Costrutto di s.: il costrutto ordinato delle operazioni di un programma ...
Leggi Tutto
cubica
cùbica [s.f. dall'agg. cubico] [ALG] Curva algebrica del 3° ordine. Si distinguono in c. piane e c. gobbe (o spaziali). (a) Le c. piane sono rappresentate in coodinate cartesiane da un'equazione [...] 1 o ellittica (si può rappresentare parametricamente mediante funzioni ellittiche). (b) C. gobba: curva algebrica spaziale del 3° ordine (ogni piano la incontra in tre punti); la si può sempre pensare come l'intersezione residua di due coni aventi ...
Leggi Tutto
concetto
concètto [Der. del part. pass. conceptus del lat. concipere, comp. di cum "insieme" e capere "prendere", complessivamente "accogliere in sé", e quindi "pensiero, in quanto concepito dalla mente"] [...] VI 133 f. ◆ [FAF] C. metrico: si ha quando l'ordine seriale tipico del c. comparativo risulti metrizzabile: è il caso di una es., nella geometria ordinaria sono c. primitivi il punto, la retta, il piano). ◆ [FAF] C. T-teorico: v. teoria: VI 134 f. ...
Leggi Tutto
Steiner Jakob
Steiner (o Stainer) 〈stàinër〉 Jakob [STF] (Utzensdorf 1796 - Berna 1863) Prof. di geometria nell'univ. di Berlino (1834). ◆ [ALG] Curva di S. (o, assolut., steineriana s.f.): di una curva [...] S. (così detta perché scoperta durante un suo soggiorno a Roma): superficie razionale del 4° ordine irriducibile, con la particolarità che le sue sezioni con piani tangenti sono tutte curve spezzate in coppie di coniche. ◆ [ALG] Teorema di S. sulla ...
Leggi Tutto
Cartesio
Cartèsio [STF] Italianizz. del nome latino Cartesius del matematico e filosofo René Descartes (La Haye, Turenna, 1596 - Stoccolma 1650). ◆ [ALG] Folium di C.: → folium. ◆ [ALG] Ovale di C.: [...] a=0 oppure b=0 si ha una circonferenza, mentre se a=b si ha un'ellisse); si tratta di una curva piana algebrica del quarto ordine; la fig. mostra un procedimento per tracciarla. ◆ [OTT] Leggi di C., o di Snell-C.: sono le due leggi della riflessione ...
Leggi Tutto
toroide
toròide [Der. di toro con il suff. -oide] [ALG] (a) Curva piana algebrica dell'ottavo ordine, parallela a un'ellisse (cioè formata da due rami, uno interno e uno esterno all'ellisse, costituiti [...] da un punto di proiezione all'infinito. (b) La superficie generata dalla rotazione di una curva piana chiusa non intrecciata (ma non una circonferenza): di solito si tratta di una curva quasi circolare o quasi ellittica intorno a una retta del suo ...
Leggi Tutto
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
piano
pïano agg. – Che si riferisce a un pontefice di nome Pio: abito piano, altra denominazione dell’abito talare, reso obbligatorio da Pio IX (1792-1878) in tutte le circostanze; Ordine Piano, ordine equestre pontificio, istituito da Pio...