Ottimizzazione
Agostino La Bella
L'o. costituisce un insieme di metodologie utilizzate nell'analisi e nella soluzione di molti complessi problemi di decisione, progettazione e allocazione di risorse. [...] .
Lo studio teorico delle proprietà strutturali di queste formulazioni viene indicato in generale come programmazione matematica, espressione usata ormai come sinonimo di ottimizzazione, anche se quest'ultimo termine è evidentemente più generale. La ...
Leggi Tutto
In logica matematica è uno dei connettivi logico-proposizionali; si interpreta come l’«o» alternativo oppure «o» debole, per cui l’espressione «p o q» è vera quando almeno uno dei due enunciati p, q è [...] vero (non si esclude però che lo siano entrambi). In questo caso si usa il simbolo logico «⋁» o altro segno equivalente. La d. esclusiva che si indica per es. con «v̇» corrisponde invece all’«o» disgiuntivo, ...
Leggi Tutto
godelizzazione
gödelizzazióne 〈g✄ödël-〉 [Dal cognome di K. Gödel] [ALG] [FAF] Tecnica in uso nella logica matematica, consistente nell'associare un numero intero (numero di Gödel) a ogni espressione [...] numeri interi a, b, c, d, ..., da farsi corrispondere ordinatamente ai vari segni del sistema formale, T; ciò fatto, si consideri un'espressione qualsiasi A di T; essa è costituita da una certa successione di segni di T e perciò dà luogo a una nuova ...
Leggi Tutto
binomio
binòmio [agg. e s.m. Der. del lat. binomium, comp. di bi- e nomen -inis "nome" e quindi "che consta di due cose"] [ALG] Espressione costituita dalla somma algebrica di due monomi. ◆ [ALG] Formula [...] n intero positivo: (a+b)n=Σk=0k=n(kn) an-k bk, dove (kn)=n!/[k!(n-k)!] rappresenta i coefficienti binomiali (tale espressione dà il numero di sottinsiemi non ordinati di k elementi che si possono estrarre da un insieme di n elementi). La formula può ...
Leggi Tutto
In riferimento alla linguistica matematica, e in genere all’informatica, gli elementi f. del linguaggio, sono quelli più concreti e più facilmente analizzabili dell’espressione linguistica, quelli cioè [...] rappresentati dai segni dell’alfabeto o da altri codici, la posizione delle parole nella frase, la loro frequenza ecc., in opposizione a quelli più astratti e perciò meno facilmente traducibili in codici, ...
Leggi Tutto
radicale
radicale [agg. e s.m. Der. del lat. radicalis, da radix -icis "radice"] [ALG] Ogni radice, di indice qualsiasi, di una qualsivoglia espressione (detta radicando). ◆ [CHF] Termine che indicava [...] in origine i gruppi di atomi con funzione acida o basica (per es., NO₃-, NO₄+), oggi detti ioni; attualmente indica quei gruppi di atomi elettricamente neutri (che si formano di solito per scissione di ...
Leggi Tutto
linearizzazione
linearizzazióne [Der. di linearizzare "rendere lineare", da lineare] [LSF] L'atto e l'effetto del linearizzare, cioè del rendere lineare un dispositivo, un'espressione matematica o, astraendo, [...] o i risultati di una teoria matematica o di un problema particolare effettuando trasformazioni che permettano di ridurre determinate espressioni a polinomi di 1° grado (lineari) o comunque alla forma più semplice; tale semplificazione non è sempre ...
Leggi Tutto
segno Fatto, manifestazione, fenomeno da cui si possono trarre indizi, deduzioni, conoscenze ecc. Qualsiasi oggetto o più spesso figura che sia convenzionalmente assunta come espressione e rappresentazione [...] di un’altra cosa, più astratta, con cui abbia una connessione ontologica o semplicemente analogica.
Astronomia
I s. dello Zodiaco, o zodiacali (anche s. dell’eclittica, s. celesti), sono le 12 parti in ...
Leggi Tutto
Biologia
In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone).
Filosofia
In filosofia analitica, un’espressione [...] o. descrittivi e quelli del terzo o. di astrazione.
Forma enunciativa (o funzione proposizionale o enunciato aperto) è un’espressione del linguaggio della logica dei predicati contenente qualche variabile individuale libera; tali sono, per es., le ...
Leggi Tutto
Lowenheim Leopold
Löwenheim 〈lö´vënhàim〉 Leopold [STF] (Krefeld 1878 - Berlino 1940) Prof. di matematica nel liceo di Berlino-Lichtenberg. ◆ [ALG] [FAF] Teorema di L.: un'espressione in cui non occorrono [...] variabili predicative poliadiche, ma solo k monadiche, ammette un modello se e solo se ne ammette uno di cardinalità 2k. ◆ [ALG] [FAF] Teoremi di L.-Skolem: v. logica: III 485 e ...
Leggi Tutto
espressione
espressióne s. f. [dal lat. expressio -onis, der. di exprimĕre «esprimere», part. pass. expressus]. – 1. L’atto e il modo di esprimere, di comunicare ad altri quanto si sente, si pensa o si vuole: e. di un sentimento; l’e. della...
espressionismo
s. m. [der. di espressione]. – 1. Movimento artistico nato e affermatosi in Germania al principio del sec. 20°, con l’intento di contrapporsi sia all’impressionismo francese sia al naturalismo conformista dell’epoca guglielmina;...