insieme

Dizionario delle Scienze Fisiche (1996)

insieme insième [Der. del lat. insemel, forma corrotta di insimul, comp. di in- e simul "insieme"] [ALG] Secondo la definizione di G. Cantor, ogni raccolta (aggregato, famiglia) di enti distinti, detti [...] ◆ I. perfetto: ogni i. chiuso privo di punti isolati. ◆ I. raggiungibile: v. controllo, teoria del: I 752 c. ◆ I. ricorsivo e ricorsivamente numerabile: v. automi, teoria degli: I 332 c. ◆ I. risolvente: v. algebre di operatori: I 93 c. ◆ I. standard ... Leggi Tutto

CATEGORIA: ALGEBRA

teoria dei semigruppi

Enciclopedia della Scienza e della Tecnica (2008)

teoria dei semigruppi Luca Tomassini Un semigruppo è un insieme con una operazione binaria * (comunemente detta moltiplicazione) che soddisfi la proprietà associativa: a*(b*c)=(a*b)*c. Un semigruppo [...] di operatori su spazi di Banach), della geometria differenziale (semigruppi di trasformazioni) e anche della teoria algebrica degli automi (semigruppi di automi). Un fatto, questo, che appare naturale a causa dell’enorme varietà di esempi di ... Leggi Tutto

CATEGORIA: ALGEBRA – ANALISI MATEMATICA

punto

Dizionario delle Scienze Fisiche (1996)

punto punto [Der. del lat. punctum "puntura, forellino", dal part. pass. punctus di pungere "pungere"] [LSF] (a) Ente geometrico che non ha estensione in nessuna delle dimensioni dello spazio e che pertanto [...] dinamica del p., v. dinamica: II 176 d; per la dinamica impulsiva del p., v. dinamica impulsiva: II 192 b; per l'equilibrio relativo del p. materiale, v. meccanica relativa: III 721 b. ◆ [INF] Teorema del p. fisso: v. automi, teoria degli: I 333 a. ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – GEOFISICA – MECCANICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA

TAGS: CALCOLATORI ELETTRONICI – ATMOSFERA TERRESTRE – GEOMETRIA EUCLIDEA – MECCANICA CELESTE – DOPPIO FATTORIALE

linguaggio

Dizionario delle Scienze Fisiche (1996)

linguaggio linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] di programmazione. ◆ [ELT] [INF] L. algebrico: v. base di dati: I 343 a. ◆ [ELT] [INF] L. contestuale, acontestuale, regolare: v. automi, teoria degli: I 331 f, c. ◆ [ALG] [FAF] L. deduttivo: v. logica: III 486 a. ◆ [ELT] [INF] L. di definizione e ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

universale

Dizionario delle Scienze Fisiche (1996)

universale universale [agg. e s.m. Der. del lat. universalis, da universus "tutto intero"] [FTC] Qualifica di dispositivi o apparecchi che: (a) possono essere usati in condizioni diverse di alimentazione [...] II 571 d. ◆ [ASF] Funzione u. (di luminosità): v. galassie: II 810 e. ◆ [INF] Macchina di Turing u.: v. automi, teoria degli: I 330 e. ◆ [OTT] Obiettivo u.: nella tecnica fotografica, obiettivo dotato di un attacco che gli consente di essere usato su ... Leggi Tutto

CATEGORIA: ASTROFISICA E FISICA SPAZIALE – ELETTROLOGIA – FISICA MATEMATICA – FISICA TECNICA – GEOFISICA – METROLOGIA – OTTICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA

lettera

Dizionario delle Scienze Fisiche (1996)

lettera léttera [Der. del lat. littera] [INF] Ciascuno dei segni di un alfabeto. ◆ [ALG] [ANM] Simb. di un numero indeterminato (ma talora anche determinato: per es., e=exp1) o di una funzione o di una [...] grandezza (→ anche letterale: calcolo l.). ◆ [ALG] L. funzionali, predicative, proposizionali: v. logica: III 484 c, 483 c. ◆ [INF] L. terminale: v. automi, teoria degli: I 331 e. ... Leggi Tutto

CATEGORIA: ALGEBRA – ANALISI MATEMATICA – TEMI GENERALI

Post Emil Leon

Dizionario delle Scienze Fisiche (1996)

Post Emil Leon Post 〈póst〉 Emil Leon [STF] (Augistow, Polonia, 1897 - New York 1954) Prof. di matematica nel City College di New York (1944). ◆ [INF] Macchina di P.: v. automi, teoria degli: I 330 a. [...] ◆ [ALG] [FAF] Teoria di P.: nella logica matematica, riguarda i sistemi formali e gli insiemi ricorsivamente numerabili. ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA

TAGS: LOGICA MATEMATICA – NEW YORK – POLONIA

enumerabile

Dizionario delle Scienze Fisiche (1996)

enumerabile enumeràbile [agg. Der. del lat. numerus "numero"] [ALG] Insieme e.: insieme per cui esiste un procedimento effettivo per stabilire una corrispondenza biunivoca tra i suoi elementi e i numeri [...] naturali. ◆ [ALG] [INF] Insieme ricorsivamente e.: v. automi, teoria degli: I 332 c. ... Leggi Tutto

CATEGORIA: ALGEBRA – TEMI GENERALI

generabile

Dizionario delle Scienze Fisiche (1996)

generabile generàbile [agg. Der. del lat. generabilis "che può essere generato"] [ALG] [INF] Sottoinsieme g.: v. automi, teoria degli: I 331 b. ... Leggi Tutto

CATEGORIA: ALGEBRA – TEMI GENERALI

monoide

Enciclopedia della Scienza e della Tecnica (2008)

monoide Luca Tomassini Termine utilizzato come sinonimo di semigruppo con identità. Un monoide è pertanto un insieme M con un’operazione binaria associativa (ossia a(bc)=(ab)c per ogni a,b,c∈M), usualmente [...] . Viceversa, ogni monoide può essere rappresentato come monoide degli automorfismi di un opportuno insieme S′. Ogni gruppo, xy è posto uguale a yx in Mοπ. Lo sviluppo della teoria dei monoidi e dei funtori aggiunti ha mostrato infine l’utilità di ... Leggi Tutto

CATEGORIA: ALGEBRA