BELLAVITIS, Giusto
Nicola Virgopia
Nacque il 22 nov. 1803 a Bassano (Vicenza) dal conte Ernesto e da Giovanna Navarini.Ricevette la prima istruzione dal padre, funzionario nel municipio di Bassano, [...] di introdurre in geometria un algoritmo capace di rappresentare contemporaneamente sia la grandezza sia la posizione delle diverse parti di calcolo baricentrico di Mobius e il già citato metodo dei quaternioni di Hamilton.
Altri campi diricerca del B ...
Leggi Tutto
dati, struttura di
dati, struttura di modalità di organizzazione delle informazioni all’interno di un insieme di dati. Un tipico esempio elementare di struttura di dati è costituito da un dizionario, [...] : la ricerca in esso di un vocabolo sarebbe risolubile anche senza tale ordinamento perché l’appartenenza di un elemento di calcolo da compiere e, quindi, riduce la complessità dell’algoritmodi risoluzione.
Una relazione definita all’interno di ...
Leggi Tutto
nodo
nodo termine che assume diversi significati a seconda del contesto.
□ In geometria è un punto doppio di una curva algebrica nel quale la curva ha due tangenti distinte; se la curva ha equazioni [...] per dimostrare che due nodi non sono equivalenti. Non costituendo perciò tali mosse un algoritmodi decisione, la ricerca si è sviluppata nella direzione di determinare invarianti aritmetici e algebrici. È del 1928 l’idea, dovuta al matematico e ...
Leggi Tutto
Turing
Turing Alan Mathison (Londra 1912 - Wilmslow, Cheshire, 1954) logico e matematico inglese. È uno dei fondatori della teoria della → calcolabilità e quindi dell’informatica, e un pioniere dell’intelligenza [...] 1936 si trasferì alla Princeton University per conseguire il dottorato diricerca in logica, algebra e teoria dei numeri. Nel 1937 decisione) in cui, formalizzando l’idea intuitiva dialgoritmo a partire dalle più elementari operazioni del calcolo, ...
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 [...] ), il quale prova che non esiste un algoritmo in grado di stabilire quando un polinomio a coefficienti interi ha di Gödel – non sono che gli esempi più sorprendenti di tutta un’area diricerca che riguarda tanto le teorie formalizzate che problemi di ...
Leggi Tutto
elementi finiti, metodo degli
elementi finiti, metodo degli procedimento numerico utilizzato per la risoluzione di problemi rappresentabili in forma variazionale (→ variazioni, calcolo delle), ossia [...] causa della propagazione degli errori generata dall’algoritmodi calcolo.
Il metodo degli elementi finiti l’approssimazione, ma più onerosa è, in termini di costo di calcolo, la ricerca numerica della soluzione. Il metodo degli elementi finiti ...
Leggi Tutto
Church, Alonzo
Logico e matematico statunitense (Washington 1903 - Hudson, Ohio, 1995). Prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, insegnò dal 1967 matematica [...] . L’evidenza della tesi deriva dal fatto che altre classi di funzioni calcolabili (funzione λ-definibile, funzione calcolabile da una macchina di Turing, da un algoritmodi Markov, ecc.) sono coestensive alla classe delle funzioni ricorsive. Tuttavia ...
Leggi Tutto
In matematica applicata, e in particolare nella teoria delle decisioni, problemi di o., le questioni attinenti alla ricerca dei criteri di scelta tra diverse opzioni o di determinazione del valore di particolari [...] per la programmazione lineare e il metodo del gradiente per l’o. differenziabile sono casi dialgoritmidiricerca locale. Gli algoritmidiricerca globale sono basati sull’idea di controllare sempre l’intera regione ammissibile del problema ...
Leggi Tutto
Informatica
Termine riferito a un sistema, processo, programma ecc., che si evolve reagendo a sollecitazioni esterne oppure adattandosi a mutate condizioni al contorno. Allocazione d. della memoria Metodo, [...] o completato dal programma stesso allo scopo di soddisfare la richiesta di elaborazione di dati. Routine diricerca d. degli errori Modulo di programma che viene eseguito contemporaneamente al programma di cui deve diagnosticare gli errori e che ...
Leggi Tutto
SERVOSISTEMA (fr. système asservi; ingl. servosystem; ted. Regelsystem; russo sistema avtomatičeskogo upravlenia)
Goffredo RUBINO
Generalità. - Servosistema è un sistema fisico a controreazione, nel [...] metodi è attualmente ristretta ai soli casi di estremo interesse generale, e limitatamente al procedimento di Phillips.
Servosistemi a segnali campionati. - Un algoritmodi feconda applicazione nello studio dei s. a segnali campionati è il metodo ...
Leggi Tutto
pregiudizio algoritmico loc. s.le m. (spec. al pl.) Contenuto etico o ideologico distorto o discriminatorio (per es. verso le fasce più fragili della popolazione) processato dall’algoritmo nella fase di raccolta massiva dei dati e poi generato...
modello linguistico di grandi dimensioni (LLM, Llm) loc. s.le m. Algoritmo di intelligenza artificiale che, processando massivamente una grande quantità di dati, utilizza tecniche di deep learning in vari àmbiti dell’elaborazione del linguaggio...