Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] ed esprime il fatto che, se l'esecuzione del programma p termina, ci si trova in uno stato che soddisfa la proprietà φ. Gli assiomi e le regole di inferenza delle teorie logiche della programmazione contengono, oltre agli assiomi e alle regole di ...
Leggi Tutto
globale
globale [Dal fr. global, der. di globe "il globo"] [LSF] In contrapp. a parziale e talora a locale, preso in blocco, considerato nell'insieme. ◆ [ALG] [ANM] Proprietà g.: locuz. per denotare [...] una proprietà valida per tutto l'ente considerato e non soltanto per una sua parte, equivalente all'espressione proprietà in grande; si contrapp. a proprietà locale o in piccolo. ...
Leggi Tutto
Matematica
Ogni superficie del 2° ordine (quadrica), priva di punti doppi e tangente al piano all’infinito. La prima delle due proprietà esclude tutte le cosiddette quadriche degeneri che comprendono i [...] coni, i cilindri e le quadriche costituite da una coppia di piani distinti o coincidenti; la seconda proprietà mette in luce una stretta analogia (che spiega il termine stesso di paraboloide) esistente tra il paraboloide e la parabola: come la ...
Leggi Tutto
campo
campo [Der. del lat. campus "estensione di terreno"] [LSF] Termine per indicare, con aderenza al signif. letterale, un'estensione di spazio caratterizzata da ben definite proprietà fisiche, sia [...] di C, s'indica di solito con C- e si dice esso stesso c. algebricamente chiuso. Il c. C- gode della notevole proprietà che un qualunque ampliamento algebrico di C è contenuto, a meno di isomorfismi, in C-; per quanto riguarda i secondi, si dimostra ...
Leggi Tutto
ideale
ideale [agg. e s.m. Der. di idea] [LSF] Di ente, dispositivo, ecc. che s'adegua a schematizzazioni cui corrispondono proprietà non sempre realizzabili in pratica, e quindi contrapp. a reale, effettivo, [...] oppure che gode di proprietà partic. significative rispetto a enti di natura simile. ◆ [ALG] I. di una struttura algebrica: un sottoinsieme di una struttura data A, tale che il prodotto ai di un qualsiasi elemento a di A per un qualsiasi elemento i ...
Leggi Tutto
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] . È questo il cosiddetto principio di i. completa. Molto spesso tale principio si incontra in forme diverse, come per es.: «se una proprietà A è vera per il numero 1, e se supponendola vera per un intero n qualsiasi, si deduce che essa è vera anche ...
Leggi Tutto
vetro
vétro [Der. del lat. vitrum] [FTC] [FSD] Lo stato di aggregazione della materia che si produce quando un liquido viene raffreddato e diventa rigido senza cristallizzarsi: v. vetro. Per le proprietà [...] ] V. di silice: hanno, rispetto ai v. di quarzo (v. sopra), minore tenore di silice (94÷95 %) e presentano proprietà fisiche simili; sono usati in bulbi di lampade per radiazioni ultraviolette, per isolatori elettrici per alte frequenze e per oggetti ...
Leggi Tutto
tracciante
tracciante [s.m. e agg. Part. pres. di tracciare (→ traccia) "che costituisce una traccia"] [CHF] T. chimico: sostanza avente proprietà chimiche simili a quelle di un'altra sostanza da studiare [...] ma riconoscibile da questa (per es., perché sensibile a un colorante diverso nell'analisi microscopica), per cui, prendendo parte in maniera identica a una reazione della sostanza in esame, consente di ...
Leggi Tutto
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 [...] è dunque una generalizzazione del concetto di gruppo, del quale si abbandona la richiesta di invertibilità degli elementi. Un semigruppo con identità è detto monoide. La teoria dei semigruppi è relativamente ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] esiste un intervallo di lunghezza 2-n che contiene almeno m elementi di S.
Se Q è una specie limitata di numeri reali con la proprietà che per ogni numero reale x si può trovare un numero naturale N(x) tale che l'intervallo (x - 2-~(z>, x + 2~N ...
Leggi Tutto
proprieta
proprietà (pop. propietà) s. f. [dal lat. propriĕtas -atis, der. di proprius «proprio»]. – 1. a. Qualità propria e particolare che un essere, un corpo, una sostanza (o anche una specie) ha per sua natura e per cui si distingue da...
catasto (ant. anche catastro e, a Venezia, catàstico) s. m. [dal gr. biz. κατάστιχον «registro», da κατά στίχον «riga per riga»]. – In origine, qualsiasi rassegna di beni, anche mobili, e di possessori, allo scopo di ripartire il carico fiscale;...